What is a Validity Proof?
A validity proof is a cryptographic proof demonstrating that a batch of transactions was executed correctly and the resulting state is valid according to the rollup's rules. ZK rollups use validity proofs to provide mathematical certainty of correctness without requiring trust in the sequencer or lengthy challenge periods. Every batch is proven correct before being accepted on Ethereum. There's no optimistic assumption.
How Validity Proofs Work
When a ZK rollup processes transactions, it generates a proof alongside the state update. This proof is a compact cryptographic object (typically tens to hundreds of kilobytes) that can be verified quickly on-chain regardless of how many transactions it covers. A proof covering 10,000 transactions verifies as quickly as one covering 100 transactions.
The Ethereum smart contract receiving batches verifies validity proofs before accepting state updates. Invalid proofs are mathematically impossible to generate for incorrect states and would be rejected. This provides stronger guarantees than optimistic rollups' fraud proof system. There's no window for invalid states to exist.
ZK Proof Systems
Different validity proof systems offer various tradeoffs. ZK-SNARKs (used by zkSync, Scroll, Polygon zkEVM) are small and fast to verify but traditionally required trusted setup ceremonies. ZK-STARKs (used by StarkNet) need no trusted setup and are quantum-resistant but produce larger proofs. Modern systems like PLONK and Halo provide universal setups, reducing ceremony concerns.
Proof generation is computationally intensive, requiring significant specialized hardware (GPUs, FPGAs, or custom ASICs). This is the main operational cost for ZK rollups, though costs are amortized across all transactions in a batch. Prover technology and hardware continue improving rapidly.
Advantages of Validity Proofs
Validity proofs enable faster finality than optimistic rollups. No 7-day challenge periods. Once proofs are verified on L1 (which can take minutes to hours depending on prover speed and batch frequency), withdrawals can process. Security does not depend on external watchers; the mathematics guarantees correctness.
The proof system cannot be "tricked" or overcome by collusion or economic attacks. Even if all ZK rollup operators are malicious, they cannot produce valid proofs for invalid states.
Current Limitations
Proof generation introduces latency and cost. ZkEVM implementations face compatibility challenges achieving full EVM equivalence. These limitations are actively being addressed through faster provers and improved zkEVM designs.