TL;DR – Tóm tắt
Fraud Proof là cơ chế bảo mật của Optimistic Rollup: giả định mọi thứ đúng, cho phép bất kỳ ai challenge trong cửa sổ 7 ngày nếu phát hiện sai. Challenge dùng bisection protocol thu hẹp tranh chấp xuống một opcode đơn, chỉ opcode đó được thực thi on-chain. Chỉ cần một verifier trung thực trong mạng là đủ để bảo mật.
IVấn đề cần giải quyết
Layer 2 Rollup thực thi giao dịch off-chain để giảm tải cho L1, nhưng cần đảm bảo L1 có thể xác minh kết quả. Câu hỏi cốt lõi: làm thế nào để Ethereum (L1) tin tưởng rằng Arbitrum hoặc Optimism (L2) đang xử lý giao dịch đúng, mà không cần tự chạy lại tất cả giao dịch đó?
Có hai hướng tiếp cận:
- Optimistic (Fraud Proof): Tin tưởng trước, chứng minh sai nếu có gian lận
- ZK (Validity Proof): Chứng minh đúng ngay khi submit, không cần tin tưởng
Fraud Proof là cách tiếp cận của Optimistic Rollup — đơn giản hơn để implement nhưng có độ trễ finality (~7 ngày). Xem so sánh đầy đủ tại Optimistic vs ZK Rollup.
IIFraud Proof là gì
Fraud Proof (bằng chứng gian lận) là dữ liệu cryptographic chứng minh rằng một state transition cụ thể trong Rollup là không hợp lệ — sequencer đã tính toán sai kết quả.
Các thành phần của một fraud proof:
- State root trước transaction — trạng thái hợp lệ trước khi thực thi
- Transaction data — input của giao dịch bị tranh chấp
- State root sau transaction (của sequencer) — kết quả sequencer claim
- Chứng minh sai — re-execution on-chain cho thấy kết quả khác
Contract trên L1 nhận fraud proof, tự chạy lại transaction (hoặc một phần nhỏ), so sánh kết quả với claim của sequencer. Nếu khác nhau → sequencer gian lận → mất bond, state rollback.
IIIOptimistic Assumption
"Optimistic" không có nghĩa là ngây thơ — nó là chiến lược kinh tế game theory. Hệ thống hoạt động trên giả định rằng sequencer sẽ hành xử trung thực vì:
- Sequencer phải deposit bond lớn — mất bond nếu bị slash
- Bất kỳ ai cũng có thể verify và challenge — không thể trốn thoát
- Chi phí gian lận (mất bond + reputation) > lợi ích tiềm năng
IVChallenge Window
Khi sequencer submit state root lên L1, một đồng hồ đếm ngược bắt đầu — challenge window. Trong thời gian này, bất kỳ watcher nào cũng có thể submit fraud proof để challenge.
| Chain | Challenge Window | Ghi chú |
|---|---|---|
| Arbitrum One | 7 ngày | BoLD protocol |
| Optimism | 7 ngày | Fault Proof (mainnet 2024) |
| Base | 7 ngày | Dùng OP Stack |
7 ngày là số được chọn cẩn thận: đủ dài để challenger có thời gian phát hiện và submit proof dù mạng Ethereum có congestion; đủ ngắn để người dùng không phải chờ quá lâu khi rút tiền về L1.
Đây chính là lý do rút tiền từ Optimistic Rollup về L1 mất 7 ngày, trong khi nạp tiền lên L2 gần như tức thì. Layer 2 và bridge giải quyết vấn đề này bằng liquidity provider.
VBisection Protocol
Vấn đề: một batch L2 có thể chứa hàng nghìn giao dịch với hàng triệu opcode. Không thể re-execute toàn bộ on-chain — quá tốn gas. Bisection protocol giải quyết điều này bằng cách thu hẹp dần phạm vi tranh chấp.
Quy trình Bisection
- Challenger chỉ ra: "Tôi không đồng ý với state root sau bước thực thi N"
- Sequencer chia computation thành 2 nửa, cung cấp intermediate state root ở giữa
- Challenger chỉ ra nửa nào sai: "Nửa đầu đúng, nửa sau sai"
- Tiếp tục chia đôi nửa sai...
- Sau O(log N) vòng, thu hẹp xuống một opcode đơn lẻ
- L1 contract thực thi opcode đó, so sánh kết quả
Kết quả: thay vì verify hàng triệu opcode, L1 chỉ cần verify một opcode. Phần lớn logic diễn ra off-chain giữa challenger và sequencer; L1 chỉ là trọng tài cho bước cuối.
VIArbitrum vs Optimism: Hai cách implement
| Tiêu chí | Arbitrum (BoLD) | Optimism (Fault Proof) |
|---|---|---|
| Dispute protocol | Multi-round bisection | Single-step execution |
| VM tranh chấp | WASM (ArbOS) | MIPS (Cannon) |
| Số round | O(log N) | 1 (single instruction) |
| Permissionless challenger | Có (từ BoLD) | Có (từ 2024) |
| Mainnet fraud proof | Từ 2022 | Từ mid-2024 |
Cả hai đều dùng Ethereum làm DA layer — transaction data được post lên Ethereum để đảm bảo bất kỳ ai cũng có thể reconstruct L2 state và tạo fraud proof nếu cần. Xem Data Availability để hiểu tại sao điều này quan trọng.
VIIGiả định bảo mật
Fraud Proof an toàn khi ba điều kiện được thỏa mãn:
1. Data Availability
Transaction data phải có sẵn on-chain (hoặc ít nhất là có thể truy cập) để challenger download và reconstruct state. Nếu sequencer withhold data, challenger không thể tạo fraud proof → hệ thống không an toàn. Đây là lý do Optimistic Rollup đăng transaction data lên Ethereum L1 (hoặc EIP-4844 blob sau 2024).
2. Có ít nhất một verifier trung thực
Phải có ai đó đang chạy full L2 node, verify từng transaction, và sẵn sàng submit fraud proof. Nếu toàn bộ ecosystem "ngủ" hoặc bị censored, sequencer có thể gian lận qua challenge window mà không bị phát hiện.
3. Challenger không bị censored
Challenger phải có thể submit fraud proof transaction lên L1. Nếu L1 bị censored (dù rất khó với Ethereum), fraud proof không thể submit trong thời hạn.
VIIIFraud Proof vs Validity Proof (ZK)
| Tiêu chí | Fraud Proof (Optimistic) | Validity Proof (ZK) |
|---|---|---|
| Khi nào chứng minh | Khi bị tố (lazy) | Mọi lúc (eager) |
| Finality | 7 ngày | Vài giờ |
| Chi phí tính toán | Thấp (normal case) | Cao (ZK proving) |
| Trust model | 1 of N honest verifier | Toán học (trustless) |
| EVM compatibility | Dễ (Arbitrum, Optimism) | Khó (zkEVM còn phát triển) |
| Ví dụ | Arbitrum, Optimism, Base | zkSync Era, Starknet, Scroll |
Không có cách tiếp cận nào hoàn toàn tốt hơn. Fraud Proof đơn giản hơn và EVM-compatible hoàn toàn; Validity Proof an toàn hơn về mặt toán học và finality nhanh hơn. Tìm hiểu sâu hơn tại ZK Proof là gì.
IXHạn chế thực tế
Withdrawal delay 7 ngày
Người dùng muốn rút tiền từ Optimistic Rollup về Ethereum phải chờ 7 ngày. Trong thực tế, liquidity protocol như Hop, Across, Connext cho phép rút ngay với phí nhỏ — LP chịu 7 ngày thay người dùng.
Sequencer là điểm tập trung
Hiện tại cả Arbitrum và Optimism đều có sequencer tập trung do team quản lý. Sequencer không thể steal fund nhờ fraud proof, nhưng có thể censore giao dịch hoặc tạm thời gây downtime. Phân cấp sequencer là roadmap dài hạn của cả hai. Xem vai trò sequencer tại Sequencer là gì.
Griefing attack
Ai đó có thể liên tục submit invalid challenges để buộc sequencer tốn gas bảo vệ. BoLD (Arbitrum) giải quyết bằng cách yêu cầu challenger deposit bond, mất bond nếu challenge thất bại.
XTương lai của Fraud Proof
Fraud Proof đang tiến hóa theo hướng mạnh mẽ hơn và phi tập trung hơn:
- Permissionless challenge: Ai cũng có thể challenge, không cần whitelist — đã live trên Arbitrum (BoLD) và Optimism (2024)
- Faster finality: Nghiên cứu giảm challenge window xuống dưới 24 giờ mà vẫn an toàn
- Hybrid ZK/Fraud Proof: Dùng ZK để accelerate fraud proof resolution, kết hợp ưu điểm cả hai
- Decentralized sequencer: Nhiều sequencer cùng propose block, challenge nhau — không còn single point of failure
Trong bức tranh lớn hơn, fraud proof là một phần của hạ tầng Layer 2 và kiến trúc modular blockchain — nơi L1 làm settlement và DA, L2 làm execution.
❓Câu Hỏi Thường Gặp
Giống như hệ thống tòa án: rollup gửi kết quả lên Ethereum, ai nghĩ kết quả sai có thể "kiện" trong 7 ngày. Nếu kiện thắng (chứng minh được sai), sequencer mất cọc. Nếu 7 ngày không ai kiện, kết quả được chấp nhận. Toà án (Ethereum) chỉ phải xử lý case nếu có tranh chấp.
7 ngày là challenge window — thời gian cho phép bất kỳ ai chứng minh gian lận trước khi withdrawal được finalized. Không thể rút ngay vì L1 cần chắc chắn state L2 là hợp lệ. Giải pháp thực tế: dùng bridge protocol (Hop, Across) rút ngay với phí nhỏ, LP chịu 7 ngày thay bạn.
Bisection chia tranh chấp thành hai nửa liên tục cho đến khi thu hẹp xuống một opcode đơn. Ví dụ: batch 1 triệu opcode → chia đôi → 500K → chia đôi → 250K → ... → 1 opcode. Chỉ opcode cuối cùng được L1 thực thi on-chain. Từ O(N) xuống O(log N) round, từ hàng triệu gas xuống vài nghìn gas.
Không hoàn toàn tuyệt đối. Bảo mật phụ thuộc vào: (1) transaction data có sẵn, (2) có ít nhất một watcher trung thực đang theo dõi, (3) watcher không bị censored khi submit fraud proof. Trong thực tế, các rollup lớn có nhiều watcher độc lập, làm cho tấn công phối hợp cực kỳ khó.
📚Tài liệu tham khảo
- Kalodner, H. et al. (2018). Arbitrum: Scalable, private smart contracts. USENIX Security 2018.
- Arbitrum Foundation. BoLD: Bounded Liquidity Delay. docs.arbitrum.io/bold
- Optimism. Fault Proof System. docs.optimism.io/stack/fault-proofs
- Buterin, V. (2021). An Incomplete Guide to Rollups. vitalik.ca/general/2021/01/05/rollup.html
- L2Beat. Optimistic Rollup Risk Analysis. l2beat.com