2024年零知识峰会(zkSummit)现场报告

2024年4月10日，第11届零知识峰会在雅典举行。约500名与会者参加了为期一天的活动，同时进行了四场演讲。以下是本次峰会的主要亮点，涵盖了零知识硬件、SNARK性能和证明网络设计等最新进展。

ZK硬件发展

硬件支持一直是零知识证明社区的重要目标。本次峰会的两场主题演讲概述了该领域的最新进展：

• 某研究员对ZK硬件进行了全面概述，包括使用通用硬件、制造定制硬件以及运行去中心化证明网络的公司。他预测，经过硬件优化的SNARK验证系统可能实现1000倍的计算效率提升，这将对以太坊的未来版本产生重大影响。他还提到，将宣布一项对证明者和验证者进行正式验证的竞赛，奖金高达2000万美元。

• 某公司联合创始人介绍了他们的硬件优化SNARK系统，该系统使用二进制塔场和sumcheck协议。早期测试显示，在某些应用中，Groestl哈希函数的性能明显优于Keccak。

去中心化证明者网络

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

• 某公司联合创始人介绍了他们即将推出的证明者网络。她分析了各种网络设计机制，认为基于竞赛或挖矿的设计可能效果不佳。她提出设计目标应该是：最小化成本、最大化延迟和抗审查性。她预测拍卖模式最有可能成功，可能类似于现今的区块构建。

• 某大学博士生介绍了一篇关于证明者网络经济学的新论文。他们提出了一种新的匹配交易和证明机制，以应对双边拍卖中可能出现的勾结问题。

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

ZK凭证创新

三场讨论聚焦于如何基于现有身份系统构建零知识凭证：

• 某项目联合创始人介绍了基于电子邮件DKIM签名的ZK电子邮件地址所有权证明。这可用于匿名汇款和举报等应用。

• 某公司研究员介绍了利用OpenID Connect与传统web2身份交互的方案，使得向Google或Facebook账户汇款等应用成为可能。

• 某项目成员讨论了如何从现有电子护照构建匿名凭证，例如证明持有某国护照且年满特定年龄，而无需透露具体信息。

这些创新为构建更安全、隐私保护的身份验证系统提供了新的思路和可能性。