Proofs, Arguments, and Zero-Knowledge [pdf]
people.cs.georgetown.edu