# ABI and calldata

## 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
Function calldata consists of a 4-byte selector followed by ABI-encoded arguments. Indexed event parameters live in log topics; non-indexed values in log data.

## 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 — ABI and calldata

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

## Steps
1. `cd solution`
2. `forge build`
3. `forge test -vvv`
4. `forge test --gas-report`
5. Run `cast sig "record(uint256)"` and `cast calldata "record(uint256)" 10`; compare first four bytes with selector and inspect 32-byte padded argument.

## 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 — ABI and calldata

1. Đọc `solution/src/Lab.sol`, tự viết lại contract vào `starter/src/Lab.sol`.
2. Tự viết test tương ứng, không copy solution; chạy `forge test`.
3. Thêm một negative test có `require` hoặc revert hợp lý và giải thích trace.
4. Run `cast sig "record(uint256)"` and `cast calldata "record(uint256)" 10`; compare first four bytes with selector and inspect 32-byte padded argument.

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

# Interview — ABI and calldata

**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.