2012 · 密码与量子信息

证明，而不泄露秘密

现代密码学同时追问能保证什么、又能保密什么。

莎菲·戈德瓦瑟 · 西尔维奥·米卡利

2012图灵奖

视觉指南

奖项，化为图解

阅读图解文字

精确的安全定义与证明方法，推动密码学从巧妙方案的集合发展为数学科学。

零知识有精确的形式化定义和假设，并不意味着完全没有信息交换。

01 · 核心想法

莎菲·戈德瓦塞尔和西尔维奥·米卡利帮助建立了基于复杂性理论的密码学基础，包括概率加密和交互式证明，其中也包括零知识证明。验证者可以确信命题成立，而除了命题有效性之外，不从证明中获得额外信息。

精确的安全定义与证明方法，推动密码学从巧妙方案的集合发展为数学科学。

02 · 人物

莎菲·戈德瓦瑟通过精确安全定义和数学证明推动现代密码学。她与西尔维奥·米卡利共同提出概率加密，又与米卡利和查尔斯·拉科夫提出零知识证明。这些思想展示随机性如何保护信息，以及如何在不泄露秘密的情况下证明命题。获奖公布时，她同时任职于麻省理工学院和魏茨曼研究所。

西尔维奥·米卡利以计算复杂性为基础的定义和证明，推动密码安全从非形式化保证走向严格理论。他与莎菲·戈德瓦瑟提出概率加密，又与戈德瓦瑟、查尔斯·拉科夫发展零知识证明。他还研究伪随机性、安全协议和机制设计，在麻省理工学院探索互不信任的参与者如何在限制信息泄露的条件下计算与通信。

03 · 延伸阅读

本站原创讲解依据官方获奖记录。领域标签用于编辑导航。