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]