01Goldwasser, Micali, Rackoff and Zero-Knowledge ProofsZero-knowledge proofs introduced the startling idea that one party can convince another that a statement is true without revealing the secret information that makes it true.↗