Creation revert atomicity

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

CREATE executes constructor and stores runtime bytecode if successful. Revert undoes state changes within the reverted call frame; caught subcall failures can let the outer transaction continue.

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 — Creation revert atomicity

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 -vvvv; trace CREATE and REVERT. Compare create(0) failure with attempt(0) catch behavior and transaction-wide rollback boundaries.

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 — Creation revert atomicity

Đọ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 -vvvv; trace CREATE and REVERT. Compare create(0) failure with attempt(0) catch behavior and transaction-wide rollback boundaries.

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

Interview — Creation revert atomicity

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.