西尔维奥·米卡利（Silvio Micali）

西尔维奥·米卡利（Silvio Micali）是麻省理工学院教授、密码学家，因将密码学从技巧变为严谨科学而与沙菲·戈德瓦塞尔共获2012年图灵奖。

概述

米卡利1954年生于意大利巴勒莫，在加州大学伯克利分校获博士学位。上世纪八十年代，他和合作者建立了现代密码学的理论框架，用严格的数学定义刻画安全性，使加密方案的安全性可以被证明而非仅凭直觉。他后来还创立了区块链项目，将理论应用于分布式系统。

核心贡献

• 零知识证明：证明者能让验证者相信某命题为真，却不泄露任何额外信息。
• 概率加密与语义安全：提出可证明安全的加密定义，奠定公钥加密的理论基础。
• 伪随机函数：给出从随机种子生成不可区分序列的构造方法。
• 可验证随机函数与共识协议，用于其创立的区块链系统。

应用场景

零知识证明如今是隐私保护和区块链扩容的关键技术，用于匿名交易、身份验证和数据合规证明。语义安全的加密思想是TLS等现代安全通信协议的理论支柱。伪随机函数广泛用于密钥派生与认证。他的共识协议被用于高性能公链设计。

常见问题

问：零知识证明有什么实际用途？答：它能在不透露密码或隐私数据的情况下证明你知道某信息或满足某条件，常用于隐私交易、匿名认证和跨链验证，是当前区块链领域的热点。

问：可证明安全是什么意思？答：指用数学方法把破解方案的难度归约到某个公认的困难问题上，从而在明确假设下证明方案安全，而不是靠尚未被攻破就认为安全。