シャフィ・ゴールドワッサー

MITとワイツマン科学研究所の教授を務めるイスラエル系アメリカ人の計算機科学者。1982年にシルヴィオ・ミカリとともに確率的暗号と意味論的安全性の定義を導入した。暗号文は、現実的な資源を持つどんな攻撃者に対しても、平文について1ビットですら何も明かしてはならない、というものだ。

1985年にはミカリ、チャールズ・ラコフとともにゼロ知識証明を定式化した。なぜ正しいのかを明かさずに、ある命題が真だと相手に納得させる方法である。この考え方は今や、匿名の暗号通貨からパスワードを送らない認証まで、あらゆるものの土台になっている。2012年にミカリとともにチューリング賞を受賞した。