撰文：Lambda Class

编译：白丁、Faust、Nickqiao

英文原文发布于 2024 年 2 月 17 日

零知识证明 (ZK Proofs) 是功能强大的密码学原语，允许一方（证明者）在不透露任何私密信息的情况下，使另一方（验证者）相信某个给定的声明是真实有效的。近年来 ZK 在可验证私密计算、为计算机程序提供有效性证明以及区块链领域获得了广泛关注，并且对世界的发展产生了重大的积极作用。

虽然 ZK 是新兴技术，但其基本思想和概念可以追溯到上世纪 80 年代。在与比特币和以太坊等区块链结合后，ZK 技术的发展显著加速，因为区块链可以通过 SNARK 和 STARK 进行有效性证明，极大程度的增强可扩展性，这使 ZK 在区块链领域中炙手可热。

正如 Starkware 创始人 Eli Ben-Sasson 所言，近年来我们见证了密码学证明系统的「寒武纪大爆发」，每种证明系统各有独特的优势和劣势，并且在设计时进行了权衡。硬件的进步、更好的算法、新的论点和周边工具，都刺激了 ZK 系统的性能提升及新式系统的诞生。许多证明系已经在实际应用中被采用，而人们仍在不断扩展 ZK 的边界。

这也促使人们深入思考一个问题：是否有一个适用于所有应用的通用 ZK 证明系统？对此我们认为这种可能性不大，原因有三点：

1. 应用程序的多样性；

2. 不同的约束类型（包括内存、验证时间、证明时间）；

3. 对鲁棒性的需求（如果一种证明系统被黑客攻破，我们仍然可以切换到其他系统作为保险）。

   
   

   本文地址： - 蜂鸟财经
   
   免责声明：本文仅代表作者本人观点，与蜂鸟财经立场无关。本站所有内容不构成投资建议，币市有风险、投资请慎重。