Optimistic Rollup

How optimistic rollups work

The mechanic:

1. Sequencer collects transactions from users on the L2.
2. Sequencer executes transactions off-chain and computes new state.
3. Sequencer posts compressed transaction data to L1 (Ethereum).
4. State changes are assumed valid by default.
5. Challenge period (typically 7 days) — anyone can submit a fraud proof if state is invalid.
6. If fraud proof succeeds — invalid state is reverted; faulty actor is slashed.
7. If no challenge in window — state finalizes.

The "optimistic" assumption is that most transactions are valid; verification happens only when challenged.

Why optimistic vs. ZK

Trade-offs vs. ZK-rollups:

Optimistic advantages:

• Simpler architecture and easier development.
• EVM-equivalent — existing Ethereum contracts work without modification.
• Lower computational overhead for normal operation.

Optimistic disadvantages:

• Long withdrawal periods (7 days for trustless withdrawal).
• Trust assumption that some honest party will challenge fraud.
• Higher data costs historically (improved by EIP-4844).

ZK rollups have stronger guarantees but harder development and current EVM compatibility.

Major optimistic rollups

A few:

• Arbitrum — largest L2 by TVL. Uses Arbitrum's specific implementation.
• Optimism — major L2; uses OP Stack architecture shared by other chains.
• Base — Coinbase's L2 built on OP Stack.
• Boba Network — smaller optimistic rollup.

These collectively handle the bulk of Ethereum L2 activity.

Fraud proofs

The trustless verification mechanism:

• Anyone can challenge an invalid state transition.
• Challenger submits proof showing the state is wrong.
• On-chain verification confirms or rejects the challenge.
• Successful challenge — invalid state reverted; bonds redistributed.

In practice, fraud proofs have rarely been needed because validators have generally behaved honestly, but the mechanism is what gives the optimistic system its security guarantees.

Withdrawal mechanics

A specific user-facing concern:

• Trustless withdrawal — 7-day delay during which fraud proofs are possible.
• Fast bridges — third parties front liquidity for immediate withdrawal, taking on the timing risk in exchange for a fee.
• Most users prefer fast bridges for typical amounts; canonical withdrawals for very large amounts.

The 7-day withdrawal is fundamental to optimistic rollups; reducing it would compromise security.

EIP-4844 impact

A major improvement:

• Pre-blobs — L2 data was posted as expensive Ethereum calldata.
• With blobs — separate cheap data lane for L2 data.
• L2 fees dropped 90%+ after Dencun upgrade in March 2024.

This brought optimistic rollups to economic viability for many use cases that were previously uneconomic.

Compared to validiums and other models

Different rollup variants:

• Optimistic rollups — fraud proofs; 7-day delay; data on Ethereum.
• ZK rollups — validity proofs; faster finality; data on Ethereum.
• Validiums — like ZK rollups but data off-chain (cheaper but weaker security).
• Optimiums — like optimistic rollups but data off-chain.
• Plasma — older variant; less common now.

Each makes different trade-offs around cost, security, and finality.

Risks specific to optimistic rollups

A few:

• Centralized sequencers can censor transactions or delay withdrawals.
• Fraud-proof system complexity — bugs could compromise security.
• Withdrawal delays create user-experience friction.
• Reliance on at least one honest validator to monitor and challenge.

These are mitigated by various design improvements but remain inherent to the model.

What individuals should know

For users:

• Major optimistic rollups are mature for everyday use.
• Use fast bridges for routine withdrawals to Ethereum mainnet.
• Understand 7-day delay for canonical withdrawals.
• EIP-4844 made fees competitive with alt-L1 chains.

For developers:

• EVM equivalence means existing Solidity skills transfer directly.
• OP Stack and Arbitrum Orbit provide frameworks for launching custom L2s.
• Multi-rollup deployments are increasingly common.

Optimistic rollups represent the dominant Ethereum scaling model in current usage. Their combination of EVM compatibility, lower fees, and reasonable security guarantees has produced widespread adoption. ZK rollups may eventually displace them as ZK technology matures, but optimistic rollups have produced the practical L2 ecosystem that exists today.