Stack memory storage

Bài toán

Muốn hiểu EVM thực thi logic và kiểm soát state thế nào, thay vì chỉ gọi Solidity như một Java method.

Vấn đề

Nếu hiểu sai execution context, gas hoặc ABI, backend và contract có thể trả kết quả sai, mất phí hoặc có lỗ hổng.

Giải pháp và lý thuyết

Stack holds small operands; memory is transient per call; storage persists on-chain and is comparatively expensive; calldata is read-only transaction input.

So sánh với Java

Java bytecode chạy trên JVM trong tiến trình của ứng dụng; EVM bytecode được các node thực thi theo quy tắc đồng thuận, có gas metering và trạng thái blockchain.

Lab — Stack memory storage

Prerequisites

Foundry (forge/cast/anvil)
Không cần ví mainnet hoặc token thật

Steps

cd solution
forge build
forge test -vvv
forge test --gas-report
Run forge test --gas-report; compare read vs write gas, then use cast storage <address> 0 --rpc-url http://127.0.0.1:8545 after deployment.

Expected output

forge build thành công
Các test functions trong test/Lab.t.sol đều PASS
Không có transaction mainnet

Troubleshooting

forge: command not found: cài Foundry theo tài liệu chính thức
solc download fails: kiểm tra kết nối, compiler 0.8.24
Assertion fails: dùng forge test -vvvv để đọc call trace

Exercises — Stack memory storage

Đọc solution/src/Lab.sol, tự viết lại contract vào starter/src/Lab.sol.
Tự viết test tương ứng, không copy solution; chạy forge test.
Thêm một negative test có require hoặc revert hợp lý và giải thích trace.
Run forge test --gas-report; compare read vs write gas, then use cast storage <address> 0 --rpc-url http://127.0.0.1:8545 after deployment.

Acceptance: Build thành công; tests pass; ghi chú vì sao EVM có hành vi như vậy.

Interview — Stack memory storage

Q1. EVM khác JVM thế nào? EVM thực thi deterministic smart-contract bytecode có gas accounting và state được đồng thuận; JVM chạy ứng dụng trong một runtime riêng.

Q2. Vì sao cần inspect trace? Trace cho thấy external calls, revert, gas và execution context để debug lỗi không thấy được chỉ từ source.

Q3. Điều gì xảy ra khi transaction revert? State changes trong reverted execution bị rollback, nhưng gas đã dùng vẫn tiêu thụ; nếu lỗi ở subcall được catch thì outer execution có thể tiếp tục.