INTERACTIVE
ZERO-KNOWLEDGE
PROOFS
🏔️ Ali Baba's Cave 🏔️
Let's explore how this works, step by step!
The Cast and The Claim
1 / 7
Carol
(the Prover)
vs
Bob
(the Verifier)
Claim: Carol knows the password that opens the inner door
Bob wants high confidence that the claim is true without learning the password
🔬 Mathematical Translation:
Prover (Carol): Claims to know secret s
Verifier (Bob): Wants proof that P(s) = true without learning s