Optimistic Rollups: Fraud Proofs & Withdrawal Windows

How Arbitrum BoLD and Optimism Cannon turn the 7-day challenge window into real security, the math behind the window length, and why the Superchain ate L2 mindshare from 2023 onward.

35 min · expert · part of Rollup Architecture & L2 Engineering

The Optimistic Assumption

Optimistic rollups make a deliberately simple bet: assume the sequencer is honest, but let anyone prove otherwise within a fixed window. When the proposer submits a claimed post-state root, the L1 contract does not verify it. Instead, the contract accepts it provisionally, opens a challenge window (7 days on Arbitrum and Optimism by default), and waits. If no one challenges, the state finalizes. If someone challenges, an interactive fraud-proof protocol runs onchain to determine who is correct. This is a fundamentally different security model from ZK rollups, which prove validity upfront. Optimistic rollups rely on at least one honest verifier being online during the challenge window — the "1-of-N honest" assumption. As long as one party runs a verifier node and is willing to post fraud proofs, the system is secure. As of 2026 the optimistic family dominates L2 TVL: Arbitrum One holds roughly $13-18 billion (the exact figure varies by month and DeFiLlama snapshot), Base holds several billion and has the largest L2 monthly active user count since launching in July 2023, and Optimism Mainnet plus the broader Superchain (Mode, Zora, Frax, Worldchain, Lisk, Soneium, Ink, and others) add several billion more. The optimistic model has won on liquidity even as ZK rollups close the technical gap.

Also in this lesson

Arbitrum BoLD: Permissionless Fraud Proofs
Optimism Cannon: The MIPS Fault-Proof VM
The 7-Day Window: Why That Number?
The Superchain and the Base Phenomenon

Key terms

Optimistic rollup: A rollup that accepts proposed state roots provisionally and allows challenges within a fixed window (typically 7 days). Security depends on at least one honest verifier being online during the window.
Fraud proof: A cryptographic proof that an L2 state transition was computed incorrectly. In Arbitrum BoLD and Optimism Cannon, fraud proofs are verified onchain through interactive bisection plus a final single-instruction execution.
Interactive bisection: The dispute protocol where two parties recursively narrow down to a single execution step where they disagree, allowing the L1 contract to verify only that one step rather than the entire batch.
7-day challenge window: The standard fraud-proof window across major optimistic rollups. Calibrated to survive sustained L1 censorship while keeping withdrawal UX bearable. Has become a Schelling point even though shorter windows might be feasible.
Superchain: The federation of OP Stack rollups (Optimism, Base, Mode, Zora, Frax, Worldchain, Lisk, Soneium, Ink, and many more) sharing a fault-proof system, sequencer protocol, and cross-chain messaging.
Base: Coinbase's OP Stack L2, launched July 13, 2023. The largest L2 by monthly active users since shortly after launch, driven by Coinbase's onboarding funnel and consumer positioning.
L2OutputOracle (legacy): Optimism's pre-Cannon bridge contract that simply trusted Output Proposers to submit correct state roots, with no onchain fraud proof. A Stage 0 design now superseded by the DisputeGameFactory + Cannon system.
DisputeGameFactory: The Optimism L1 contract that instantiates fault-proof disputes. Pairs with Cannon to provide permissionless fraud proofs on the OP Stack.

Continue this lesson — 4 more sections in the CryptoBipto app.

Open lesson

Educational only — not financial advice.