Introduced in the 1980s by Shafi Goldwasser, Silvio Micali, and Charles Rackoff, zero-knowledge proofs are used to prove statements without revealing any underlying information.