Zero Knowledge Summit 2024: 现场报告

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

ZK硬件发展

零知识证明的硬件支持一直是业界关注的焦点。本次峰会上，多位专家就ZK硬件的现状和未来进行了探讨：

• 某研究员对ZK硬件领域进行了全面概述，涉及使用通用硬件、制造定制硬件以及运行去中心化证明网络的多家公司。他预测，结合硬件优化的SNARK验证系统和其他即将推出的优化，可能实现1000倍的计算效率提升，这将对以太坊的未来发展产生重大影响。他还提到，某机构计划举办一项证明者和验证者正式验证竞赛，奖金高达2000万美元。

• 某硬件公司联合创始人介绍了他们正在开发的SNARK验证系统，该系统基于二进制塔场和sumcheck协议。他指出，在某些应用中，哈希函数Groestl的性能明显优于Keccak，这一发现可能会影响未来的系统设计选择。

去中心化证明者网络

多位专家探讨了去中心化证明者网络的未来发展方向：

• 某公司联合创始人介绍了他们即将推出的证明者网络。她分析了不同的网络设计机制，认为基于竞赛或挖矿的模式可能效果不佳。她建议设计目标应依次为：最小成本、最大延迟和抗审查性。她预测拍卖模式最有可能成为主流，未来可能类似于当前的区块构建过程。

• 一位博士生介绍了一篇关于证明者网络经济学的新论文。他指出双边拍卖容易受到勾结影响，提出了一种名为Proo-phi的替代机制，引入了新的匹配交易和证明机制。

• 某公司技术负责人讨论了支持多方计算（MPC）的证明市场，特别是如何在保护小型客户隐私的同时实现去信任的大型证明者。他探讨了如何选择证明系统组合来优化MPC中的线性运算成本。

ZK凭证创新

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

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

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

• 从现有电子护照构建匿名凭证，允许用户证明特定信息而无需透露详细个人资料。

这些创新方案展示了零知识证明技术在身份验证和隐私保护方面的广阔应用前景。