ZK rollups (Zero-Knowledge rollups) post cryptographic validity proofs to Layer 1 that mathematically guarantee all transactions in a batch are correct, eliminating the need for fraud proofs or challenge periods. The technology uses zero-knowledge proofs (SNARKs or STARKs) to create a compact proof that an arbitrary computation was performed correctly. Layer 1 verifies this proof on-chain, confirming the rollup's state without re-executing transactions. Proof verification is much cheaper than proof generation, making the economics work: expensive off-chain proving produces cheap on-chain verification. The advantages are significant: instant finality once the proof is posted (no 7-day wait), stronger security guarantees (cryptographic rather than economic), and potentially better scalability as proof technology improves. The challenges: ZK proof generation is computationally intensive and expensive; achieving full EVM compatibility in ZK circuits is technically difficult; and the technology is less mature. zkSync Era and StarkNet are leading general-purpose ZK rollups; Polygon zkEVM aims for full EVM equivalence. Specialized ZK rollups like those for trading (dYdX v3, Loopring) proved the concept before general-purpose versions. Many believe ZK rollups represent the long-term future of Ethereum scaling as the technology matures and proving costs decrease.
Back to Glossary