Understanding Zero-Knowledge Proofs: Proving Knowledge Without Revealing Secrets

In zero-knowledge proofs, one can prove to know a secret, without revealing absolutely anything about the secret! We give three examples: Where is Waldo?, the color blind problem, and hamiltonian circuits. We show to what degree these are zero-knowledge, and how we can generally prove that a protocol is zero knowledge.