原文:Cambrian Explosion of Cryptographic Proofs 翻译及校对:「Starknet 中文」社区概要加密证明可验证计算并提高区块链网络中的交易完整性。L2 区块链使用加密证明生成聚合交易的可验证证明来实现可扩展性。零知识证明(ZKP)在不泄露额外信息的情况下进行验证,但在隐私方面的用途各不相同。加密证明涉及到算术化和低次数约束等技术方面。随着区块链技术成熟,加密证明可能会占据主导地位,从而促进可扩展性、透明度和隐私。注意:本文基于 StarkWare 联合创始人兼总裁 Eli Ben-Sasson 教授在第 13 届巴伊兰(BIU)密码学冬季学校的演讲。BIU 冬季学校专注于密码学和区块链技术的最新进展。在这里可以找到 Eli Ben-Sasson 教授的讲座。 C.S.Lewis 将完整性定义为「即使没人盯着,也会做正确的事情」。在区块链中,加密证明正是用于确保一些计算过程在没有人看着的情况下,也能正确完成。 在本文中,将探讨什么是加密证明,它们在区块链中的使用方式,以及实现之间的一些关键差异。先从定义开始。什么是加密证明?加密证明是一组数...