Optimistic Rollup

An optimistic rollup is a Layer-2 scaling solution that executes transactions off-chain on a separate chain while posting compressed transaction data to Ethereum mainnet for data availability. The "optimistic" designation reflects the core security assumption: all submitted state transitions are presumed valid unless an observer submits a fault proof demonstrating incorrect execution during a defined dispute window (typically 7 days).

How optimistic rollups work

The architecture separates execution from settlement across distinct components:

1. Sequencer — Orders user transactions and produces L2 blocks at faster intervals than L1 (e.g., 2 seconds on Base vs. 12 seconds on Ethereum).
2. Batcher — Compresses L2 transaction data and posts it to Ethereum L1 for data availability, using either calldata or EIP-4844 blobs.
3. Proposer — Submits output roots (cryptographic commitments to L2 state) to L1 at regular intervals.
4. Fault proof system — An on-chain dispute resolution mechanism that can replay any L2 state transition to verify correctness.

Users interact with the L2 as if it were a standalone EVM chain. Deposits from L1 are guaranteed inclusion on L2. Withdrawals from L2 to L1 require waiting for the dispute window to elapse, ensuring no one can challenge the underlying state root.

Security model

The optimistic model requires only one honest verifier to maintain security. If any observer detects an invalid state transition, they can submit a fault proof to challenge it on L1. This contrasts with ZK-rollups, which use validity proofs to demonstrate correctness proactively.

Key trust assumptions:

• At least one honest party monitors the chain and will challenge fraud
• The dispute window is long enough for challenges to be submitted
• L1 data availability ensures anyone can reconstruct and verify L2 state
• The fault proof system itself is correct and cannot be manipulated

Major implementations

• Optimism (OP Stack) — Uses the Cannon FPVM for fault proofs. Base, Zora, and other Superchain members share this architecture.
• Arbitrum — Uses a multi-round interactive fraud proof system with its own virtual machine (ArbOS).
• Metis — Fork of Optimism with a decentralized sequencer model.

Key security considerations

• 7-day withdrawal delay — Fundamental to the security model; cannot be shortened without compromising fraud proof guarantees.
• Sequencer centralization — Most optimistic rollups run a single sequencer, creating censorship and ordering risks.
• EVM divergences — Despite EVM equivalence claims, block timing, gas economics, and transaction origin semantics differ from L1.
• Forced inclusion — Users can bypass a censoring sequencer by submitting transactions directly to L1, though with additional latency.

Optimistic rollups vs. ZK-rollups

Optimistic rollups currently dominate L2 adoption due to simpler EVM compatibility and lower operational costs, while ZK-rollups offer faster finality at the cost of greater implementation complexity.