1984年にシャフリラ・ゴールドワッサー（Shafrira Goldwasser）とシルビオ・ミカリ（Silvio Micali）によって導入された確率的暗号は、単一のメッセージを多くの異なる暗号文に暗号化できるようにすることで公開鍵暗号方式を変革しました。この革新は、選択平文攻撃に対する不可欠な耐性を提供し、計算機セキュリティにおける重要な進歩を記し、現代のプライバシープロトコルの数学的基盤を確立しました。
学術的基盤
ニューヨーク市で生まれたゴールドワッサーは、高等教育を受けるためにアメリカに戻るまで、テルアビブで多感な時期を過ごしました。1979年にカーネギーメロン大学で数学および科学の学士号を取得しました。大学院での研究はカリフォルニア大学バークレー校で行い、1981年に修士号、1984年にマヌエル・ブラム（Manuel Blum）の指導の下で博士号を取得しました。この時期に、ブルム・ゴールドワッサー暗号系（Blum-Goldwasser cryptosystem）の提案を含む、アルゴリズム数論および暗号学への基礎的な研究を開始しました。
複雑性と暗号学への貢献
ゴールドワッサーの研究ポートフォリオは、計算複雑性、数論、および安全な通信に焦点を当てています。1985年には、シルビオ・ミカリおよびチャールズ・ラコフ（Charles Rackoff）と共同でゼロ知識証明を導入しました。この概念により、基礎となるデータを明らかにすることなく、主張の妥当性を対話的に証明することが可能になりました。彼女の研究は、複雑性理論における近似の困難さにも対処しており、特にPCP定理への貢献が有名です。さらに、信頼できないサーバーに計算を委任するためのプロトコルを開発し、ジョー・キリアン（Joe Kilian）と共に楕円曲線を用いた素数判定テストを著しました。
機関での役割と商業化
ゴールドワッサーは1983年にマサチューセッツ工科大学（MIT）の教員に加わり、1997年には電気工学および計算機科学のRSA教授に任命されました。1993年からはワイツマン科学研究所（Weizmann Institute of Science）の教授職も兼務しています。学術職以外では、2016年に完全準同型暗号を推進するためにDuality Technologiesを共同設立しました。QED-itやAlgorandなどの組織で科学顧問を務める傍ら、マッコウクジラの通信の解読に焦点を当てた学際的な取り組みであるCETIプロジェクトを主導しました。2018年から2024年までシモンズ計算理論研究所（Simons Institute for the Theory of Computing）の所長を務めました。
評価と専門的地位
彼女の学術的貢献は世界的な評価を受けており、その筆頭がシルビオ・ミカリと共同受賞した2012年のチューリング賞です。ゲーデル賞を2度受賞しており、最初は2001年に、それ以前にも対話型証明システムに関する基礎的な研究でその栄誉を受けています。彼女は全米科学アカデミー、全米技術アカデミー、アメリカ芸術科学アカデミー、イスラエル科学人文アカデミーの会員です。さらに、2017年にBBVA財団知識の最前線賞（BBVA Foundation Frontiers of Knowledge Award）、2010年にベンジャミン・フランクリン・メダルを受賞しました。
基本情報
- 出生: 1958年、ニューヨーク市 - 学歴: カーネギーメロン大学、カリフォルニア大学バークレー校 - チューリング賞: 2012年 - 主要分野: 計算機科学、暗号学、数学 - 主要な革新: 確率的暗号 - 特筆すべき役割: RSA教授、MIT - ゲーデル賞受賞年: 2001年、（1993年にも） - 国籍: アメリカ合衆国、イスラエル
読者からの質問
### ゼロ知識証明に関するゴールドワッサーの研究の重要性は何ですか？
それは、声明自体の妥当性を超える情報を伝えることなく、主張の真実性を対話的かつ確率的に検証する方法を確立したことです。
### どの主要機関がゴールドワッサーを会員として認めていますか？
彼女は、全米科学アカデミー、全米技術アカデミー、アメリカ芸術科学アカデミー、およびイスラエル科学人文アカデミーの会員です。
