Zero-Knowledge Proofs Explained: The Technology Behind ZK Rollups
Zero-knowledge proofs let you prove something is true without revealing the underlying data. They are the cryptographic foundation of ZK rollups, privacy coins, and identity protocols.
Zero-knowledge proofs (ZKPs) allow one party (the prover) to convince another party (the verifier) that a statement is true without revealing any information about why it is true. In blockchain, this enables computational verification without data disclosure — the foundation of ZK rollups.
How ZK Proofs Work (Simply)
Imagine proving you know the solution to a maze without showing your path: you just demonstrate the exit is reachable. In blockchain: a ZK rollup proves that 10,000 transactions were executed correctly without publishing the full transaction data, dramatically compressing what needs to go on-chain.
Types of ZK Proofs in Blockchain
- zk-SNARKs: small proofs, fast verification, trusted setup required (used in Zcash, ZKsync)
- zk-STARKs: larger proofs, quantum-resistant, no trusted setup (used in StarkNet)
- PLONK: universal trusted setup, most widely used in modern ZK rollups
- Nova/Halo2: newer schemes with recursive proof composition (Zcash, Scroll)
ZK Rollup vs. Optimistic Rollup
- ZK rollups: instant withdrawal to L1, cryptographic validity, no 7-day wait
- Optimistic rollups: 7-day challenge window for withdrawals, simpler to build
- ZK: technically superior long-term; Optimistic: battle-tested earlier, more TVL today
- Convergence: ZK rollups are catching up in TVL as ZKsync Era and StarkNet mature