Zero Knowledge Proofs
Prove without revealing. Verification decoupled from data.
Zero Knowledge Proofs answer: "Can I verify without seeing?"
A prover convinces a verifier that a statement is true—without revealing why it's true. The verifier learns nothing beyond the validity of the claim.
This unlocks privacy (hide inputs), compression (tiny proof for huge computation), and delegation (verify without re-executing).
| System | Setup | Size | Speed | Quantum |
|---|---|---|---|---|
| Groth16 | Circuit | Tiny | Fast | No |
| PLONK | Universal | Small | Fast | No |
| STARKs | None | Large | Medium | Yes |
| Bulletproofs | None | Medium | Slow | No |