01 · 计算人生
成果背后的人
莎菲·戈德瓦瑟通过精确安全定义和数学证明推动现代密码学。她与西尔维奥·米卡利共同提出概率加密，又与米卡利和查尔斯·拉科夫提出零知识证明。这些思想展示随机性如何保护信息，以及如何在不泄露秘密的情况下证明命题。获奖公布时，她同时任职于麻省理工学院和魏茨曼研究所。
理解这项贡献
莎菲·戈德瓦塞尔和西尔维奥·米卡利帮助建立了基于复杂性理论的密码学基础，包括概率加密和交互式证明，其中也包括零知识证明。验证者可以确信命题成立，而除了命题有效性之外，不从证明中获得额外信息。
为什么重要
精确的安全定义与证明方法，推动密码学从巧妙方案的集合发展为数学科学。