What is a Fraud Proof?
A fraud proof is a cryptographic mechanism used in optimistic rollups to challenge invalid state transitions. Instead of proving every transaction is correct (like ZK-rollups), optimistic rollups assume transactions are valid and allow anyone to challenge them within a challenge window.
If a challenger finds an invalid transaction, they submit a fraud proof. If the proof is valid, the invalid block is reverted and the challenger receives a reward. The operator (sequencer) is penalized.
How Fraud Proofs Work
The Optimistic Model
- The sequencer processes transactions and posts the new state to Layer 1
- There’s a challenge window (typically 7 days for Optimism/Arbitrum)
- During this window, anyone can challenge any state transition
- If no challenge is raised, the state is finalized as valid
The Challenge Process
- A watcher (called a verifier) replays the transaction on Layer 1
- If the result differs from what the sequencer posted, the verifier submits a fraud proof
- The Layer 1 contract verifies the fraud proof
- If fraud is confirmed, the invalid state is reverted and the sequencer is slashed
- The challenger receives a reward (funded by the sequencer’s slashed bond)
Fraud Proofs vs. Validity Proofs
| Feature | Fraud Proof (Optimistic) | Validity Proof (ZK) |
|---|---|---|
| Assumption | Transactions are valid until proven fraudulent | Every transaction must be proven valid |
| Challenge needed? | Yes, by a third party | No, the proof is self-verifying |
| Withdrawal time | 7 days (challenge window) | Minutes to hours |
| Computation cost | Low (only on dispute) | High (every batch) |
| Security assumption | At least one honest watcher | Cryptographic soundness |
The 7-Day Withdrawal Window
The most user-visible consequence of fraud proofs is the 7-day withdrawal delay on optimistic rollups:
- When you withdraw from Arbitrum/Optimism to Ethereum, your funds are locked for 7 days
- This gives the network time to detect and challenge any fraudulent state
- After 7 days without a valid challenge, the withdrawal finalizes
Third-party bridges (like Across, Hop) can provide instant withdrawals by fronting the liquidity and taking on the 7-day risk.
What Happens If Nobody Challenges?
The security assumption of optimistic rollups is that at least one honest participant is watching. If no one challenges an invalid state transition during the window, the fraud goes undetected and the invalid state becomes final.
This is a weaker security model than ZK-rollups, where every batch is cryptographically proven valid.
Frequently Asked Questions
Q: Has a fraud proof ever been successfully submitted? A: On major optimistic rollups (Optimism, Arbitrum), no fraud proof has been needed because the sequencers have been honest. However, the mechanism is designed to work — it’s the security backstop.
Q: Can I speed up withdrawals from optimistic rollups? A: Yes, by using third-party bridges (Across, Hop Protocol, Stargate). These bridges front your withdrawal immediately and take on the 7-day settlement risk, usually charging a small fee.
Q: What happens if the sequencer goes offline? A: Optimistic rollups have a sequencer failure mode — if the sequencer stops posting batches, users can submit transactions directly to the Layer 1 inbox contract. This is slower but ensures the rollup can’t be held hostage.