01 · A life in computing
The person behind the work
Silvio Micali helped replace informal cryptographic assurances with definitions and proofs grounded in computational complexity. With Shafi Goldwasser he introduced probabilistic encryption; with Goldwasser and Charles Rackoff he developed zero-knowledge proofs. His broader research includes pseudorandomness, secure protocols, and mechanism design. At MIT, he helped build a theory showing how mutually distrustful participants can compute and communicate while limiting what they reveal.
The contribution, explained
Shafi Goldwasser and Silvio Micali helped establish rigorous complexity-based foundations for cryptography. Their work included probabilistic encryption and interactive proofs, including zero knowledge. A verifier can gain confidence that a statement is true while learning no additional information from the proof beyond the statement’s validity.
Why it matters
Precise security definitions and proof techniques changed cryptography from a collection of clever schemes into a mathematical science.