Overview
A ZK-rollup is a rollup that uses zero-knowledge proofs to validate off-chain transactions, offering fast finality and strong security guarantees. Instead of relying on challenge periods like optimistic rollups, a ZK-rollup generates a cryptographic validity proof that every batch of transactions was executed correctly, and the main chain verifies that proof. Projects like zkSync and Starknet are leading ZK-rollups.
How It Works
Sequencers collect transactions, execute them, and produce a succinct proof, typically a STARK or SNARK, attesting that the resulting state transition is correct. The proof, along with compressed state data, is posted to Ethereum, where the verifier contract checks it. Because the proof mathematically certifies correctness, funds cannot be stolen by a dishonest operator, and withdrawals are available once the proof settles, without a long fraud-proof window.
Why It Matters
ZK-rollups combine the throughput of off-chain execution with immediate and trust-minimized settlement. Their proof systems, however, are computationally expensive to generate, which raises operator costs and, historically, per-user fees. As proving technology improves, ZK-rollups are increasingly seen as the endgame for scaling while preserving security.
Related Concepts
ZK-rollups are the validity-proof counterpart to Optimistic Rollups, and they rely on Zero-Knowledge Proofs as their cryptographic core. They fit within the Rollup family of Layer 2 scaling and interact with Bridges for asset movement.