Silvio Micali

Micali 于1954年10月13日出生在意大利西西里岛的巴勒莫，持有美国和意大利两国国籍。⁠[1][1]

1978年3月，Micali 以优等成绩获得罗马大学数学专业 Laurea 学位。他早期的研究涉及 λ演算：1978年在法国 La Châtre 的理论计算机科学春季学校发表关于 λ演算策略的论文，1980年3月与 C. Boehm 合作在《Journal of Symbolic Logic》发表《Minimal forms in λ-calculus computations》。⁠[1][1][1]

Micali 随后赴加州大学伯克利分校攻读计算机科学博士。1980年，他与同为研究生的 Shafi Goldwasser 开始合作，二人的博士导师都是后来获得1995年图灵奖的 Manuel Blum。⁠[2][2]

同年10月，他与 Vijay Vazirani 在 FOCS 会议上发表在一般图中求最大匹配的 O(E·V^1/2) 算法。⁠[1]

1982年5月，Goldwasser 与 Micali 在 STOC 会议上发表《Probabilistic Encryption and How to Play Mental Poker Keeping Secret All Partial Information》，期刊版《Probabilistic Encryption》1984年4月发表于《Journal of Computer and System Sciences》。这项工作源于二人设想如何通过电话安全地玩扑克：他们先设计出加密单个比特并保证其安全的方案，再证明它可以扩展到通信协议和互联网交易等复杂问题。⁠[1][1][2][2]

这篇论文提出了形式化的安全定义，并证明加密方案必须是随机化而非确定性的，即每条消息对应许多可能的密文；它还引入“模拟范式”，通过证明对手本可自行模拟其在使用密码系统期间获得的全部信息来论证系统安全。这些成果为密码学安全理论奠定了基础，模拟范式此后成为密码学中使用最广的安全证明方法。⁠[2][2][2][2][2]

1982年至1983年，Micali 在多伦多大学任博士后研究员；1983年12月，他获得加州大学伯克利分校计算机科学博士学位。同年他加入麻省理工学院电气工程与计算机科学系任助理教授，1986年升任副教授，1988年获终身教职。⁠[1][1][1][1][1][3]

1984年11月，他与 Manuel Blum 在《SIAM Journal on Computing》发表《How to generate Cryptographically Strong Sequences of Pseudo-Random Bits》，研究密码学意义上的强伪随机比特序列的生成；他还以伪随机序列生成器取得美国专利。⁠[1][1]

1985年，Goldwasser、Micali 与 Charles Rackoff 发表《The Knowledge Complexity of Interactive Proof Systems》，期刊版1989年2月刊于《SIAM Journal on Computing》。论文提出“知识复杂度”这一衡量能从交互中提取多少“有用信息”的概念，并开创了“零知识”证明：证明者与验证者来回交换消息、借助随机抛币，验证者确信某一事实成立，却得不到关于其为何成立的任何额外信息。⁠[2][1][2][2][2]

零知识证明通过控制知识泄露，为讨论密码协议的安全性提供了基本语言；论文同时把交互式证明确立为验证信息交换正确性的新方法，在密码学之外还可用于云计算等场景的正确性保证。⁠[2][2][2]

1985年10月的 FOCS 会议上，Micali 与 Paul Feldman 发表关于在常数期望时间内达成拜占庭协议的论文，并与 Benny Chor、Goldwasser、Baruch Awerbuch 合作发表关于可验证秘密共享的论文；1988年5月，他与 Feldman 又在 STOC 会议上发表拜占庭协议的最优算法。⁠[1][1][1]

1986年10月，Oded Goldreich、Goldwasser 与 Micali 在《Journal of the ACM》发表《How to Construct Random Functions》，给出伪随机函数的构造；此前三人已在 CRYPTO 84 会议上发表伪随机函数的密码学应用。⁠[1][1]

1988年4月，Goldwasser、Micali 与 Ronald Rivest 在《SIAM Journal on Computing》发表可抵御适应性选择消息攻击的数字签名方案。同年5月，Manuel Blum、Paul Feldman 与 Micali 在 STOC 会议上发表《Non-Interactive Zero-Knowledge And Its Applications》，提出非交互式零知识。⁠[1][1]

Micali 获得的其他荣誉还包括：意大利国家猞猁科学院院士、TCC 时间检验奖、“Palermitano nel Mondo”称号、萨莱诺大学与罗马大学（La Sapienza）荣誉博士、卡内基基金会“杰出移民：美国的骄傲”、意大利外交部科技创业奖、ISSNAF 终身成就奖、意大利之星勋章（Ufficiale 级）以及布鲁塞尔国际可信区块链应用协会（INATBA）奖。⁠[1][1][1][1][1][1][1][1][1][1]

他还担任清华大学讲席教授、北京大学访问讲席教授和浙江大学名誉教授，并是可信区块链推进计划战略指导委员会成员。⁠[1][1][1][1]

Micali 的研究兴趣涵盖密码学、安全协议、伪随机数生成、证明系统、分布式计算、零知识、机制设计、区块链和加密货币。在密码学之外，他还发表过机制设计与博弈论论文（刊于《Econometrica》《Journal of Economic Theory》等），以及关于艾滋病 T4 淋巴细胞减少机制和受神经生物学约束的稀疏矩阵的论文（刊于《美国国家科学院院刊》）。⁠[1][1][1][1][1]

他指导过的博士生包括 Bonnie Berger、Mihir Bellare、Phil Rogaway、Rafail Ostrovsky、Shai Halevi、Rosario Gennaro、Leo Reyzin、Chris Peikert、Rafael Pass、Alessandro Chiesa 和 Zeyuan Allen-Zhu 等；Oded Goldreich、Tal Rabin 和 Alon Rosen 曾在他名下做博士后研究。⁠[1][1][1][1][1][1][1][1][1][1][1][1]

Micali 持有的专利覆盖伪随机序列生成、身份识别、数字签名、加密、密钥托管、数字证书签发与吊销、同时电子交易、匿名交易等领域，最新一项是利用虚拟区块链协议实现公平电子交换的美国专利。他撰写的商业论文《Fair Electronic Exchange with Invisible Trusted Parties》提出以“隐形可信第三方”实现公平交换的协议，可用于公平的挂号电子邮件和合同签署。⁠[1][1][1][1][1][1][4][5][5]

个人网站：https://people.csail.mit.edu/silvio/（在新窗口打开）⁠[6]

MIT CSAIL：官网：https://www.csail.mit.edu/（在新窗口打开）。⁠[6]

Algorand：官网：https://algorand.co/（在新窗口打开）。⁠[7]