Provable security and zero-knowledge proofs: how Goldwasser reframed cryptography

In 1985, Goldwasser, Silvio Micali, and Charles Rackoff introduced zero-knowledge proofs, which became a fundamental cryptographic primitive used to probabilistically and interactively demonstrate the validity of an assertion without conveying any additional knowledge.