西尔维奥·米卡利（Silvio Micali）：不透露信息的证明
在西尔维奥·米卡利（Silvio Micali）及其合作者涉足之前，密码学是一门充满巧妙伎俩的手艺，其优劣取决于是否有人设法破解它们。米卡利的大部分职业生涯都致力于将这门手艺转变为一门背后有实际数学证明支撑的学科，并诞生了该领域中最奇特且最优雅的思想之一：一种在让人相信某项陈述为真的同时，却不透露任何关于为什么为真的额外信息的方法。
从罗马到伯克利
西尔维奥·米卡利于1954年10月13日出生于意大利。他于1978年在罗马大学（La Sapienza University of Rome）获得数学学位，随后跨越大西洋前往加利福尼亚大学伯克利分校攻读计算机科学博士学位，并于1982年在曼努埃尔·布卢姆（Manuel Blum）的指导下完成学业，布卢姆本人也是一位在密码学理论前沿工作的未来图灵奖得主。米卡利于1983年加入麻省理工学院（MIT）电气工程与计算机科学系担任教职并一直留校至今，通过麻省理工学院计算机科学与人工智能实验室开展工作，此外还曾在宾夕法尼亚大学、多伦多大学和清华大学担任教职。
让安全性可证明
米卡利的核心科学项目主要与沙菲·戈德瓦瑟（Shafi Goldwasser）合作开展，旨在用数学标准取代密码学传统的安全标准（即“目前尚无人破解”）：即证明破解该方案需要解决一个被认为在计算上难以解决的问题。他和戈德瓦瑟共同开发了概率加密，这是一种每次发送时都以不同方式加密相同消息的方法，从而杜绝了一类攻击者仅通过注意到两个密文匹配就能获取信息的攻击。美国计算机协会（ACM）对他们共同获得图灵奖的说明中，归功于他们确立了可证明安全领域，并将密码学安全性“必须是计算性的而非绝对的”这一理念形式化——这一重构为整个学科奠定了此前所缺乏的严谨基础。他们引入的交互式和概率证明系统也直接推动了远超密码学边界的计算复杂性理论的发展。
零知识证明
与米卡利相关的最著名的单一思想是零知识证明，这是他与戈德瓦瑟和查尔斯·拉克夫（Charles Rackoff）共同发明的：这是一种协议，其中“证明者”使“验证者”确信某个陈述是真实的——例如他们知道密码、交易有效、图表具有某种着色——而无需透露关于为什么它是真实的任何其他信息，甚至不透露能让验证者自己重建证明的信息。初听之下这似乎很矛盾，在引入时被视为一种数学奇观；但此后它已成为身份验证系统的实用组成部分，并在几十年后成为区块链隐私技术的一部分。米卡利更广泛的工作延伸到了伪随机函数生成、安全多方计算（允许多方共同计算结果而不向彼此透露其私密输入）以及不经意传输协议，每一项都成为了现代密码工程中使用的构建模块。
从理论到初创公司
许多理论家满足于将他们的想法留在纸面上，而米卡利并没有将他的工作局限于学术期刊。2001年，他共同创立了安全公司CoreStreet Ltd（后于2009年被ActivIdentity收购），并在2000年代初帮助创建了早期数字小额支付系统Peppercoin。2017年，他创立了Algorand，这是一个旨在将他数十年的密码学理论应用于公共去中心化账本的权益证明区块链平台——这一晚期职业生涯的转型将一位图灵奖得主直接带到了他曾在某种程度上花费三十年为其奠定数学基础的加密货币行业中心。
荣誉
米卡利与戈德瓦瑟共同荣获2012年ACM A.M.图灵奖（于2013年颁发），表彰他们“为密码学科学奠定复杂性理论基础的变革性工作”。米卡利此前曾于1993年因交互式证明系统理论荣获哥德尔奖（Gödel Prize），并于2004年荣获RSA数学卓越奖（RSA Award for Excellence in Mathematics）。他是美国国家科学院和美国国家工程院院士，并于2017年成为ACM会士。
为什么西尔维奥被称为天才
称米卡利为天才最有力的证据是概念上的而非轶事性的：零知识证明这类思想一旦你看到它，就会觉得显然是必要的，但在最初构思时却需要真正的想象力飞跃——一个除了自身之外什么也不证明的证明。将“安全性”从非正式的手艺转变为具有定理和归约的学科（这也是图灵奖引文特别赞誉的成就），不仅需要技术技能，还需要提出“秘密的数学定义究竟长什么样”这一概念上的胆识。这里必须诚实指出，所有这一切并非个人独力完成。图灵奖由米卡利和沙菲·戈德瓦瑟共同获得，而零知识证明的论文本身也列出了三位作者——戈德瓦瑟、米卡利和查尔斯·拉克夫，这使其成为通过持续合作而非某个人孤立灵感构建基础思想的教科书式案例。米卡利后来的个人创业项目CoreStreet和Algorand展现了他将自己的理论押注于商业和工业现实的个人意愿，但为他赢得“天才”标签的理论核心，根据包括奖项引文在内的所有记述，是一项共同的成就。
遗产
米卡利的工作重置了将密码系统称为安全的基准，尤其是零知识证明已经超越了其最初的晦涩，成为基础设施——被用于身份验证协议、隐私保护区块链系统以及他和戈德瓦瑟首次描述该想法时并不存在的验证方案。很少有密码学概念能从纯理论走向日常部署的技术走得这么远。一门曾被数学家当作工程学事后诸葛亮而不予理睬的学科，如今拥有了自己的复杂性理论基础，并在任何严肃的计算机科学课程中与可计算性和算法分析一起被教授，这在很大程度上是米卡利和戈德瓦瑟在20世纪80年代初推动的重构的直接结果——这一转变从询问某个方案是否已经被破解，转向了询问要让它可被破解，宇宙必须具备什么精确的真实情况。
