Validity Proof Demo
Step through 4 progressively complex ZK proof scenarios — from a colored balls analogy to a real 1,000-transaction rollup proof. Each scenario walks through the 5-phase ZK pipeline with interactive diagrams.
Select a proof scenario to explore
From simple analogies to real ZK rollup proofs
Proof generation: expensive (1–10 min on GPUs). Verification: cheap (~milliseconds). This asymmetry powers ZK rollups.
Proof generation is expensive (1–10 min on GPUs). Verification is cheap (~milliseconds). This asymmetry is the key to ZK rollup economics.