Zero Knowledge Proofs, Waldo, Cryptography, Alice, Bob.
proposition is indeed valid.) The interactive proof system is zero-knowledge if the proofs, possibly in a convenient, polynomial-time, given by the Prover have the remarkable property of being both convincing and yielding nothing except that the assertions are indeed valid. Let’s give a simple