Zero Knowledge Proofs, Waldo, Cryptography, Alice, Bob.
Waldo peek from the hole. At the end, all these versions of the protocol are zero-knowledge since they satisfy three properties: Completeness: if the statement is true, Bob will be convinced of this fact by Alice. Soundness: if the statement is false, Alice cannot convince Bob that it is true,