What is a ZK rollup?
A ZK rollup (Zero-Knowledge rollup) is a Layer 2 scaling solution that batches Ethereum transactions and submits a cryptographic proof (validity proof) to L1 demonstrating the resulting state is correct. Unlike optimistic rollups, ZK rollups don’t rely on challenge windows: finality is achieved immediately once the proof is verified. Major ZK rollups: zkSync Era, StarkNet, Linea, Scroll (Polygon zkEVM Mainnet Beta was sunset on 1 July 2026).
How ZK rollups work
Four-step lifecycle. (1) Off-chain execution: sequencer executes transactions and computes resulting state. (2) Proof generation: prover generates a cryptographic proof (typically PLONK or STARK variants) that the state transition is correct. (3) L1 verification: Ethereum verifies the proof using a verifier smart contract. (4) Immediate finality: state is finalised once L1 verification passes.
ZK rollup advantages
Three structural benefits. (1) Fast withdrawals: no 7-day challenge window, withdrawals can complete in minutes-to-hours. (2) Stronger security: mathematical proofs rather than economic assumptions. (3) Privacy potential: ZK proofs can hide transaction details while proving validity. The tradeoff: higher computational complexity and currently limited EVM compatibility for some implementations.
Proof system variants
Two dominant proof systems. (1) SNARKs (Groth16, PLONK): smaller proof sizes but require trusted setup. (2) STARKs: larger proofs but no trusted setup needed, quantum-resistant. zkSync Era’s Boojum prover is STARK-based, with the final proof wrapped in a PLONK-type SNARK for on-chain verification; StarkNet uses STARKs.
EVM compatibility spectrum
Four levels of zkEVM compatibility (Vitalik Buterin’s classification). (1) Type 1: fully Ethereum-equivalent. (2) Type 2: EVM-equivalent. (3) Type 3: almost EVM-equivalent. (4) Type 4: high-level language equivalent. Lower types provide better compatibility; higher types provide better performance.
Türkiye context
For Turkish DeFi developers and traders, ZK rollups offer faster withdrawal experience compared to optimistic rollups: material for trading workflows requiring rapid L1 access. The mathematical security model also provides stronger guarantees for high-value applications. Turkish regulated entities may favour ZK rollups for the mathematical (vs. economic) security model.
Related: Optimistic Rollup, Validity Proof, Sequencer, PLONK.