A fraud proof is a cryptographic mechanism used in optimistic rollup blockchain scaling solutions that allows any observer to challenge and disprove a fraudulent state transition claim submitted by an operator or sequencer. Optimistic rollups (like Arbitrum and Optimism) work by assuming all transactions are valid (“optimistically”) and posting compressed transaction data to Ethereum without immediately computing every result. If an operator submits a fraudulent state root – claiming incorrect account balances or transaction outcomes – any watchful participant can submit a fraud proof during a challenge window (typically 7 days), providing the minimal on-chain computation necessary to prove the fraud. If the fraud proof is valid, the incorrect state root is rejected, the fraudulent operator’s bond is slashed, and the honest prover receives a reward. Fraud proofs are essential to the security of optimistic rollups, contrasting with validity proofs (ZK proofs) used by ZK-rollups, which prove correctness upfront rather than relying on post-hoc fraud detection.
Origin & History
| Date | Event |
| 2019 | Plasma framework (proposed 2017) introduces fraud proofs as a core exit game mechanism |
| 2019 | Optimistic Rollup concept formalized by Ethereum researcher John Adler and Mikerah Quintyne-Collins |
| 2019-2020 | Arbitrum and Optimism begin development using fraud proof / optimistic rollup architectures |
| Aug 2021 | Arbitrum One launches on Ethereum mainnet with fraud proof security |
| Dec 2021 | Optimism mainnet launches; fraud proof system initially limited; evolves over subsequent years |
| 2023 | Arbitrum announces BOLD interactive fraud proof protocol; testing begins |
| 2023 | Optimism deploys Cannon fault proof system on testnet; mainnet launch follows June 2024 |
| 2024 | Fraud proofs become fully permissionless on both Arbitrum and Optimism; Layer 2 security matures significantly |
“Fraud proofs are the immune system of optimistic rollups – they assume good behavior but provide a mathematical penalty for lying.”
How It Works
| Feature | Fraud Proof (Optimistic) | Validity Proof (ZK-Rollup) |
| Correctness Timing | Post-hoc (7-day window) | Immediate (proof submitted with batch) |
| On-chain Cost | Low (only when fraud occurs) | Higher (proof verification every batch) |
| Finality | 7 days for L1 withdrawals | Near-instant |
| Security Assumption | At least 1 honest verifier | ZK math |
| Computational Overhead | Minimal normally | High proof generation |
| Examples | Arbitrum, Optimism | zkSync, StarkNet |
In Simple Terms
- Assume Valid, Prove Invalid: Optimistic rollups assume every transaction batch is valid, but let anyone prove fraud during a challenge window.
- The Challenge: If a fraudulent state is submitted, any observer can submit a fraud proof – a mathematical argument showing exactly where the operator lied.
- Interactive Games: Modern fraud proofs use “interactive dispute games” where the fraud is narrowed to a single computation step, minimizing on-chain verification cost.
- Incentives: The fraudulent operator loses their bond; the honest prover earns a reward – creating strong financial incentives for honest behavior and vigilant monitoring.
- 7-Day Delay: The challenge window (typically 7 days) is why Arbitrum and Optimism withdrawals to Ethereum take 7 days unless bridges are used.
Real-World Examples
| Scenario | Implementation | Outcome |
| Arbitrum Fraud Proof | Verifier detects incorrect state root in Arbitrum batch; submits fraud proof using BOLD interactive protocol | Fraudulent state rejected; operator slashed; honest verifier rewarded |
| Optimism Cannon | Optimism’s Cannon fraud proof system accepts challenge on disputed OP batch | Interactive bisection narrows dispute to single EVM instruction; resolved on-chain |
| User Withdrawal | User wants to withdraw ETH from Arbitrum to Ethereum | Must wait 7 days (challenge period) unless using fast bridge; fraud proof window secures this delay |
Advantages
| Advantage | Description |
| Low Normal Cost | On-chain verification only occurs when fraud is actually detected, keeping regular costs low |
| Ethereum Security | Correctly implemented fraud proofs inherit Ethereum’s full security for L2 assets |
| Scalability | Optimistic rollups scale Ethereum 10–100x while maintaining fraud proof security |
| Open Participation | Any entity can monitor and submit fraud proofs – permissionless security |
Disadvantages & Risks
| Disadvantage | Description |
| 7-Day Withdrawal Delay | Challenge window requires long finality for L1 withdrawals |
| Requires Active Monitoring | Security depends on at least one honest verifier watching the chain |
| Griefing Attacks | Malicious challengers can file invalid fraud proofs to delay finality |
| Complexity | Interactive fraud proof protocols are highly complex to implement correctly |
| Bridge Risk | Fast bridges that bypass the 7-day delay reintroduce centralized trust |
Risk Management Tips:
- When withdrawing large amounts from optimistic rollups, use the native 7-day bridge for maximum security
- Fast bridges (Across, Hop) offer convenience but introduce bridge operator risk
- For developers: never disable fraud proofs in optimistic rollup deployments; they are the core security mechanism
FAQ
Q: What is the difference between a fraud proof and a ZK proof?
A: A ZK (validity) proof proves a computation is correct before submission. A fraud proof proves a submitted computation was wrong after the fact. Both achieve correctness guarantees through different mechanisms.
Q: Why does Arbitrum withdrawal take 7 days?
A: The 7-day challenge period is the fraud proof window – during this time, any observer can dispute the withdrawal state. After 7 days without a valid challenge, funds are considered finalized.
Q: Who can submit a fraud proof?
A: On fully permissionless systems (Arbitrum One, Optimism post-2024), any Ethereum account can monitor the rollup and submit fraud proofs. Earlier versions restricted this to whitelisted validators.
Q: What happens to my funds if fraud is detected in a rollup batch?
A: The fraudulent state is rolled back; your funds remain intact. The sequencer/operator who submitted the fraud has their bond slashed to compensate for the disruption.
Q: Are ZK-rollups safer than optimistic rollups with fraud proofs?
A: Neither is strictly “safer” – both can achieve equivalent security. ZK-rollups prove validity upfront; optimistic rollups rely on fraud proofs. ZK-rollups offer faster finality; optimistic rollups have lower computational overhead.
Related Terms
- Optimistic Rollup– Layer 2 scaling solution whose security relies on fraud proofs
- ZK-Rollup– Alternative rollup using validity proofs rather than fraud proofs
- Challenge Period– The 7-day window during which fraud proofs can be submitted
- Sequencer– The L2 operator who submits transaction batches and can be challenged via fraud proofs
- Arbitrum– The leading optimistic rollup using BOLD interactive fraud proof protocol
