01 · 计算人生
成果背后的人
西尔维奥·米卡利以计算复杂性为基础的定义和证明，推动密码安全从非形式化保证走向严格理论。他与莎菲·戈德瓦瑟提出概率加密，又与戈德瓦瑟、查尔斯·拉科夫发展零知识证明。他还研究伪随机性、安全协议和机制设计，在麻省理工学院探索互不信任的参与者如何在限制信息泄露的条件下计算与通信。
理解这项贡献
莎菲·戈德瓦塞尔和西尔维奥·米卡利帮助建立了基于复杂性理论的密码学基础，包括概率加密和交互式证明，其中也包括零知识证明。验证者可以确信命题成立，而除了命题有效性之外，不从证明中获得额外信息。
为什么重要
精确的安全定义与证明方法，推动密码学从巧妙方案的集合发展为数学科学。