Zero-Knowledge Proofs. This page
has a link to an essay describing one simple example of a
Probabilistic Zero-Knowledge Proof. Here Alice can
convince Bob that she can identify a Hamiltonian cycle in
a given graph. She can convince Bob that she knows this with
probability as close to 1 as Bob wants. She does this without
revealing the actual cycle to Bob. The details follow: