A ZK-Rollup (Zero-Knowledge Rollup) is a Layer 2 scaling solution that bundles (rolls up) thousands of transactions off-chain and submits a cryptographic validity proof to Ethereum that mathematically proves all transactions were executed correctly — without requiring Ethereum to re-execute each transaction individually. This combination of off-chain execution with on-chain validity proofs delivers Ethereum-grade security at dramatically higher throughput and lower cost. HOW ZK-ROLLUPS WORK Transactions are submitted to a ZK-Rollup operator (sequencer). The sequencer batches thousands of transactions and executes them off-chain. A cryptographic ZK proof (ZK-SNARK or ZK-STARK) is generated proving the validity of all transactions in the batch. The proof and compressed transaction data are submitted to an Ethereum smart contract. Ethereum verifies the proof (a milliseconds-long computation) and updates the rollup's state root. The entire batch is finalised with Ethereum's security — if the proof is valid, no transactions can be fraudulent. ZK-ROLLUP VS. OPTIMISTIC ROLLUP ZK-Rollup: Cryptographically proves correctness. Near-instant finality (minutes). No withdrawal delay. Higher computational overhead for proof generation. No need for fraud provers. Optimistic Rollup (Arbitrum, Optimism): Assumes transactions are valid by default. 7-day challenge window for fraud proofs. Longer withdrawal delay to mainnet. Lower computational overhead. Both are valid Layer 2 approaches — optimistic rollups dominated early adoption due to easier EVM compatibility; ZK-Rollups are catching up rapidly with advances in ZK-EVM technology. MAJOR ZK-ROLLUP NETWORKS zkSync Era (Matter Labs): EVM-compatible ZK-Rollup. ZK token airdrop attracted millions of users. Strong developer ecosystem. Polygon zkEVM: Ethereum-equivalent bytecode compatibility. Lowest modification barrier for developers migrating from Ethereum. Starknet (StarkWare): Cairo language, account abstraction native, STRK governance token. Scroll: Fully open-source ZK-EVM focused on Ethereum equivalence. Linea (ConsenSys): ZK-Rollup with deep MetaMask integration.