沙菲·戈德瓦塞尔（Shafi Goldwasser）

沙菲·戈德瓦塞尔（Shafi Goldwasser）是密码学家、麻省理工学院与以色列魏茨曼研究所教授，因奠定现代密码学的理论基础而与西尔维奥·米卡利共获2012年图灵奖。

概述

戈德瓦塞尔1958年生于纽约，在以色列成长，后于加州大学伯克利分校获博士学位。她将复杂性理论的思想引入密码学，用严格的定义和证明取代经验式设计，使加密系统的安全性建立在可靠的数学基础上。她也是交互式证明系统研究的先驱。

核心贡献

• 概率加密：提出即使加密同一明文也能产生不同密文的方案，实现语义安全。
• 零知识证明：与合作者共同提出，可在不泄露信息的前提下证明命题。
• 交互式证明系统：定义证明者与验证者交互的模型，影响复杂性理论深远。
• 推动格密码等抗量子密码方向的发展。

应用场景

她奠定的语义安全概念是现代公钥加密和安全通信协议的标准要求。零知识证明用于隐私保护和区块链验证。交互式证明与其衍生的概率可检验证明理论，深刻影响了对近似算法难度的理解。作为女性科学家榜样，她也激励更多人投身计算机安全研究。

常见问题

问：为什么加密要用概率方法？答：若同一明文总是加出相同密文，攻击者可通过比对推断信息；概率加密让每次加密结果随机不同，从而达到语义安全，防止此类泄露。

问：交互式证明和普通证明有何不同？答：普通证明是静态可核对的文本，交互式证明允许验证者向证明者反复提问并借助随机性，在极高概率下确认结论，是现代复杂性理论的重要工具。