โ Master Fraud Proof Mechanics
Understand challenge periods, proof construction, and economic security
Understand how optimistic rollups stay secure
Your Progress
0 / 5 completed๐ Key Takeaways
Let's review the essential concepts of fraud proofs and optimistic rollup security.
๐ค
Optimistic Security
- โขAssume validity, verify only when challenged
- โข7-day challenge window for disputes
- โขLower costs than ZK proofs
- โขEVM compatibility maintained
๐จ
Proof Components
- โขPre-state root before transaction
- โขTransaction data being challenged
- โขClaimed vs. correct post-states
- โขL1 re-executes to verify fraud
๐ฐ
Economic Incentives
- โขLarge sequencer bonds ($10M-50M)
- โขValidator rewards from slashed bonds
- โขAttacks must be unprofitable
- โขGame theory ensures security
๐ก๏ธ
Security Guarantee
- โขRequires just 1 honest validator
- โขFraud detection is economically incentivized
- โขL1 provides final arbitration
- โขWithdrawal delays protect users
๐งช Knowledge Check
Test your understanding of fraud proofs and optimistic rollup security. Get 4 or more correct to complete the module!
1. What is the core assumption of optimistic rollups?
2. How long is the typical challenge period for optimistic rollups?
3. What are the required components of a fraud proof?
4. What happens to a sequencer's bond if fraud is proven?
5. What is the minimum number of honest validators needed for security?
โ Economic Security
Complete the quiz to finish this module