概率加密是一种由莎弗里拉·戈德瓦瑟（Shafrira Goldwasser）和西尔维奥·米卡利（Silvio Micali）于1984年引入的方法，它通过确保单个消息可以被加密成许多不同的密文，从而革新了公钥加密方案。这一创新为抵御选择明文攻击提供了必要的抗性，标志着计算安全领域的重大进步，并为现代隐私协议奠定了数学基础。
学术基础
戈德瓦瑟出生于纽约市，在特拉维夫度过了她的成长岁月，之后回到美国接受高等教育。她于1979年获得卡内基梅隆大学的数学和科学学士学位。她的研究生学习是在加州大学伯克利分校完成的，在那里她于1981年获得硕士学位，并在曼努埃尔·布卢姆（Manuel Blum）的指导下于1984年获得博士学位。在此期间，她开始了关于算法数论和密码学的开创性研究，包括提出了布卢姆-戈德瓦瑟（Blum-Goldwasser）密码系统。
对复杂性和密码学的贡献
戈德瓦瑟的研究组合侧重于计算复杂性、数论和安全通信。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年的图灵奖，该奖项由她与西尔维奥·米卡利共享。她是两届哥德尔奖得主，曾于2001年以及在此之前因在交互式证明系统方面的基础性工作而获得该荣誉。她是美国国家科学院、美国国家工程院、美国艺术与科学学院以及以色列科学与人文学院的成员。此外，她还获得了2017年的BBVA基金会知识前沿奖和2010年的本杰明·富兰克林奖章。
简要事实
- 出生：1958年，纽约市 - 教育：卡内基梅隆大学，加州大学伯克利分校 - 图灵奖：2012年 - 主要领域：计算机科学，密码学，数学 - 关键创新：概率加密 - 显著角色：RSA教授，麻省理工学院 - 哥德尔奖年份：2001年，（亦包括1993年） - 国籍：美国，以色列
读者提问
### 戈德瓦瑟关于零知识证明的工作有何意义？
它确立了一种交互式且概率性地验证断言真实性的方法，而无需传达除语句本身的有效性之外的任何信息。
### 哪些主要机构认可戈德瓦瑟为成员？
她是美国国家科学院、美国国家工程院、美国艺术与科学学院以及以色列科学与人文学院的成员。
