Zero Knowledge Summit 2024: 实地报告

2024年4月10日，第11届零知识峰会在雅典举行。本次峰会汇聚了约500名与会者，同时进行了四场演讲。以下是对本次峰会重点内容的概述，涵盖了零知识硬件、SNARK性能和去中心化证明网络设计等最新进展。

零知识硬件发展

硬件支持一直是零知识证明社区的重要目标。本次峰会上，多位专家就该领域的最新进展进行了探讨：

• 一位研究员对零知识硬件领域进行了全面概述，将相关公司分为三类：使用通用硬件、制造定制硬件以及运行去中心化证明网络的公司。他预测，硬件优化的SNARK验证系统等技术可能实现1000倍的性能提升，并可能影响以太坊的未来发展。此外，他还提到将举办一项正式验证竞赛，奖金高达2000万美元。

• 某硬件公司联合创始人介绍了他们正在开发的验证系统，该系统同时优化证明系统和硬件设计。初步测试显示，在某些应用中，Groestl哈希函数的性能优于Keccak。

去中心化证明网络

多位专家探讨了未来大规模证明生成可能由去中心化的专业证明者市场完成的设想：

• 某公司联合创始人介绍了他们即将推出的证明者网络。她分析了不同的网络设计机制，认为基于竞赛或挖矿的设计可能效果不佳。她提出，设计目标应依次为：最小成本、最大延迟和抗审查性。她预测拍卖模式最有可能成功，并透露他们正在构建一个支持多种zkVM的通用拍卖网络。

• 一位博士生介绍了一篇关于证明者网络经济学的新论文。他们提出了一种名为Proo-phi的新机制，以应对双边拍卖中可能出现的勾结问题。

• 某公司技术总监讨论了支持多方计算的证明市场，特别是如何在保护隐私的同时实现小型客户和大型证明者之间的去信任交互。

零知识凭证

会议还探讨了基于现有身份系统构建零知识凭证的多种方案：

• 基于电子邮件DKIM签名的地址所有权证明，可用于匿名汇款和举报等应用。

• 利用OpenID connect与传统web2身份交互，实现向社交媒体账户汇款等功能。

• 从现有电子护照构建匿名凭证，允许用户证明特定身份信息而无需披露具体细节。

本次峰会展示了零知识证明领域的多项前沿进展，为该技术的广泛应用奠定了基础。随着硬件支持的不断优化和去中心化网络的逐步完善，我们有理由期待零知识证明在未来将发挥更加重要的作用。