

Shafi Goldwasser
Zero-Knowledge Proofs
Proving you know something without revealing it
Rating
93Impact score
Domains
CryptographyComplexity theoryZero-knowledge
Scouting report
With Silvio Micali and Charles Rackoff, introduced zero-knowledge interactive proofs, and with Micali the definition of semantic security that made modern encryption provable rather than merely unbroken. Two-time Godel Prize winner and Turing Award, 2012. Every zk-rollup and privacy protocol shipping today is standing on that 1985 paper.
Curator’s note
Formalised the idea of proving a thing without revealing it.
Portrait
Painted from a photograph of Shafi Goldwasser by Weizmann Institute of Science, licensed Public domain.
Sources
- 01Shafi Goldwasser en.wikipedia.org
- 02ACM A.M. Turing Award 2012 amturing.acm.org