零知识峰会 2024：现场笔记

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

ZK硬件发展

对证明生成的硬件支持一直是业界的重点关注领域。会议开场的两场演讲概述了当前的发展态势：

• 某研究员对ZK硬件进行了全面概述，包括该领域公司的分类。他提到了使用通用硬件的公司、制造定制硬件的公司，以及运行去中心化证明网络的公司。他预测，经过优化的zkVM结合专用硬件，有望实现1000倍的计算效率提升，这可能对未来以太坊的发展产生重大影响。他还透露，将举办一场证明者和验证者正式验证竞赛，奖金高达2000万美元。

• 某公司联合创始人介绍了Binius系统，以及同时设计证明系统和硬件的理念。Binius使用二进制塔场和sumcheck协议。早期测试显示，在某些应用中，Groestl哈希函数的性能明显优于Keccak。

去中心化证明者网络

业内人士普遍认为，未来大规模陈述的证明生成（如Rollup中一批交易的正确性验证）将由一个竞争激烈的、去中心化的专业证明者市场完成。

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

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

• 某公司技术总监讨论了支持多方计算（MPC）的证明市场，特别是如何利用MPC在小型客户和大型证明者之间维护隐私。他探讨了如何选择证明系统组合来进行线性运算，以在MPC中最小化成本。

ZK凭证创新

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

• 某项目联合创始人介绍了ZK电子邮件地址所有权证明。这些证明依赖于对发送到特定地址的电子邮件的DKIM签名的验证，可应用于匿名汇款和举报等场景。

• 某公司研究员讲解了利用OpenID connect与传统web2身份交互的技术，使得向Google或Facebook账户汇款等应用成为可能。

• 某项目代表讨论了如何从现有电子护照构建匿名凭证，例如证明持有特定国家护照并达到特定年龄，而无需透露具体个人信息。

这些创新为零知识证明技术在身份验证和隐私保护领域的应用开辟了新的可能性。