Computational cryptography › Live on mainnet today
Ethereum component

Optimistic rollups

In plain words

Layer 2 chains that post claims to Ethereum and rely on challengers to catch false ones.

The idea: The rollup posts its claimed results to Ethereum. If a claim is wrong, anyone can challenge it during the dispute window by narrowing the disagreement down, step by step, to a single instruction, which Ethereum then executes itself to settle who was right. One honest, watchful challenger is enough.

Why it matters: Arbitrum, OP Mainnet and Base work this way.

The details

On the map: fault proofs over L2 state roots

Rollups that post transaction data and state claims to Ethereum and rely on fault proofs: if someone posts a false claim, a challenger proves the error onchain during the dispute window[1].

Their security rests on Ethereum's state tries and hashes for the proofs, data availability, and at least one honest challenger, plus the L1 itself. Arbitrum, OP Mainnet and Base work this way[2].

Rests on

If any of these breaks, this breaks too.

If it falls

If this breaks, these break with it.

Nothing on the map depends on it: it is an end point, something people use directly.

References

  1. Harry Kalodner, Steven Goldfeder, Xiaoqi Chen et al. Arbitrum: Scalable, private smart contracts. USENIX Security 2018. usenix.org/conference/usenixsecurity18/presentation/kalodner
  2. L2BEAT. Rollup stages. 2023. l2beat.com/stages