零知识证明

零知识证明（Zero-Knowledge Proof, ZKP）是密码学中一类允许证明者（Prover）向验证者（Verifier）证明某个陈述为真，而不泄露任何超出该陈述本身有效性的额外信息。1985 年，Shafi Goldwasser、Silvio Micali 和 Charles Rackoff 在论文《The Knowledge Complexity of Interactive Proof-Systems》中首次形式化定义了零知识证明的概念与三大核心属性：完备性（Completeness）——若陈述为真，诚实的证明者总能使诚实的验证者信服；可靠性（Soundness）——若陈述为假，任何不诚实的证明者无法使验证者信服（概率极低）；零知识性（Zero-Knowledge）——验证者除了「陈述为真」这一事实外，无法从交互中学到任何额外信息。 2012 年，Goldwasser 和 Micali 因「在密码学和复杂性理论方面的开创性贡献，特别是零知识证明」获得图灵奖。ZKP 的发展经历了从理论构造（1985-1990s 交互式证明）到实用化（2010s zk-SNARK）再到大规模部署（2020s 区块链 L2 扩容和隐私保护），其应用场景已远超学术界的最初想象：区块链隐私交易（Zcash，2016）、以太坊 L2 Rollup 扩展（zkSync、StarkNet）、去中心化身份验证（匿名凭证，无需透露年龄即可证明「年满 18 岁」）、安全多方计算、电子投票等。 ZKP 的两个实用化方向：zk-SNARK（Zero-Knowledge Succinct Non-Interactive Argument of Knowledge）以极小证明体积（数百字节）和极速验证（毫秒级）见长，但需要可信设置（Trusted Setup）仪式产生公共参考字符串——2018 年 Zcash 的 Sapling 升级通过 BGM17 协议减少假设但仍未完全消除；zk-STARK（Zero-Knowledge Scalable Transparent ARgument of Knowledge，Eli Ben-Sasson 等 2018）消除了可信设置（透明性），且具有抗量子安全性（仅依赖哈希函数），但证明体积较大（数十至数百 KB）。截至 2025 年，两者在生产环境中互补共存。