Zero-knowledge proofs, simply
Prove you know the answer without revealing the answer.
Specialist · 8 min · Updated 2026-11-08
💡 Finding Waldo through a cardboard sheet
You want to prove you found Waldo without revealing where he is on the page. You place a huge sheet of cardboard with a tiny hole over the picture so only Waldo shows through. Your friend sees Waldo — proof you found him — but learns nothing about his location on the page. That's the spirit of a zero-knowledge proof.
Three properties
- Completeness — if the statement is true, an honest prover can convince the verifier.
- Soundness — if it's false, a cheater can't convince the verifier (except with negligible probability).
- Zero-knowledge — the verifier learns nothing beyond "the statement is true".
Where ZK shows up in crypto
| Use | What is proven |
|---|---|
| ZK rollups | "These thousands of transactions were executed correctly" — verified cheaply on Ethereum |
| Privacy payments | "I own valid unspent funds" without revealing which ones |
| Identity | "I am over 18" or "I am a citizen" without revealing my birthdate or ID number |
| Proof of reserves | "Our assets ≥ customer liabilities" without exposing every customer balance |
SNARKs vs STARKs (one line each)
SNARKs: tiny proofs, fast to verify, some need a trusted setup. STARKs: larger proofs, no trusted setup, rely on hash functions and are considered more resistant to future quantum attacks.
🧮 Practical example: age check without the ID
Key takeaways
- ZK proves truth without revealing secrets.
- Complete, sound, zero-knowledge.
- Used for scaling (rollups), privacy and identity.
- SNARKs: small; STARKs: no trusted setup.
Education only — not financial advice.