Rollup

L2 that bundles transactions into proofs posted on the L1.

Optimistic rollups (Arbitrum, Optimism, Base) assume transactions are valid by default and allow fraud proofs during a challenge window. ZK rollups (zkSync, Linea, Scroll, Starknet) post mathematical validity proofs that are verified instantly on the L1.