โœ… Master Fraud Proof Mechanics

Understand challenge periods, proof construction, and economic security

Understand how optimistic rollups stay secure

๐ŸŽ“ 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