ZK from Scratch #1: What is a Zero-Knowledge Proof?

TL;DR A ZK proof lets you prove you know something without revealing what you know Every ZK system must satisfy three properties: completeness, soundness, and zero-knowledge The Alibaba's Cave protocol is the simplest way to understand how this actually works One random check can replace a million checks — and that's why ZK proofs are tiny What is a Zero-Knowledge Proof? Imagine you're at airport security. A gate scans your passport behind a screen and shows the officer a single green light: "This person is over 18." The officer learns nothing else. Not your name, not your birthday, not your nationality. Just: over 18 — yes or no. That's a zero-knowledge proof. You proved a fact without revealing the underlying data. More precisely: a ZK proof is a cryptographic method where a prover convinces a verifier that a statement is true, without revealing anything beyond the truth of that statement. The verifier learns exactly one bit of information: true or false. Nothing else leaks. Why does