M09 — Oracle Manipulation and Stale Price

1. Bài toán

Xây smart contract xử lý tài sản trước rủi ro oracle manipulation and stale price.

2. Vấn đề

Các giao dịch công khai, external calls, quyền admin và state không nhất quán có thể dẫn tới mất tài sản.

3. Giải pháp

Thiết kế defense-in-depth: điều kiện trước, cập nhật state, hạn chế quyền, kiểm thử negative paths và invariants.

4. Lý thuyết

Đọc solution/src/GuardedOracle.sol, nhận diện trust boundary, state variables, call graph, revert semantics. Phân biệt mô hình giáo dục và triển khai production.

5. Lab chi tiết

1. Cài Foundry và chạy forge --version.
2. Mở starter/README.md và tự viết defensive contract.
3. So sánh solution/src/GuardedOracle.sol.
4. cd solution && forge test -vvv.
5. Thêm test cho caller không có quyền, giá trị biên, repeated transaction và invariant.
6. Ghi lại trace, lý do revert và threat model.

6. Expected output

[PASS] testScenario() và exit code 0 khi Foundry tests thành công. Đây là output mong đợi, chưa xác minh bằng forge tại môi trường tạo ZIP.

7. Exercises

• Viết ít nhất 3 negative tests và một fuzz/property test.
• Viết bảng threat → exploit precondition → mitigation → regression test.
• Nêu giới hạn của solution và cách dùng OpenZeppelin, audit, multisig khi production.

8. Interview

1. Tại sao bug này tồn tại?
2. Trust boundary nằm ở đâu?
3. Test nào phát hiện regression?
4. Vì sao chỉ kiểm tra require là chưa đủ?
5. Cơ chế phòng thủ có trade-off gì?