零知识峰会2024：现场纪实

2024年4月10日，第11届零知识峰会在雅典举行。本次峰会由Zero Knowledge播客主办，约有500名与会者参加，一天内同时进行了四场演讲。以下是对峰会重要议题的总结，涵盖了最新的零知识硬件、SNARK性能和证明网络设计等方面的进展。

ZK硬件发展

长期以来，对证明生成的硬件支持一直是业界关注的焦点。本次峰会的主舞台上，两场演讲概述了这一领域的最新进展。

某基金会研究员对ZK硬件进行了全面概述，包括该领域公司的分类。这些公司包括使用通用硬件的公司、制造定制硬件的公司以及运行去中心化证明网络的公司。他预测，zkVM的"终局"可能实现1000倍的计算效率提升，这将对未来的区块链技术产生深远影响。他还提到，某基金会将宣布一项对证明者和验证者进行正式验证的竞赛，奖金高达2000万美元。

某公司联合创始人讨论了同时设计证明系统和硬件的概念。他们的系统使用二进制塔场和sumcheck协议。从早期测试中得出的一个有趣结论是，哈希函数Groestl的性能明显优于Keccak，这意味着在某些应用中使用Groestl可能更有优势。

去中心化证明者网络

业内许多人设想了一个未来场景：大型陈述的证明生成（如Rollup中一批交易的正确性）将由一个竞争激烈的、去中心化的专业证明者市场完成。

某公司联合创始人介绍了他们即将推出的证明者网络。她讨论了去中心化证明者网络的各种潜在机制设计，并预测基于竞赛或挖矿的设计可能不会带来理想结果。她认为，设计目标应该依次是：最小化成本、最大化延迟和抗审查性。她预测，发行/质押模式可能会有效，但拍卖模式最有可能胜出，最终可能类似于当前的区块构建模式。

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

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

ZK凭证

峰会上还举行了三场关于从现有身份系统构建零知识凭证的讨论，每一个都依赖于不同的现有身份系统。

某项目联合创始人讨论了ZK电子邮件地址所有权证明。这些证明依赖于对发送到特定地址的电子邮件的DKIM签名的验证，DKIM已被主要电子邮件提供商广泛部署。这项技术可应用于多种场景，如匿名向电子邮件地址汇款或匿名举报。

某实验室研究科学家介绍了一个使用OpenID connect与传统web2身份交互的项目。该项目能够与现有的OpenID提供商交互，并证明用户控制给定地址，从而实现类似向社交媒体账户汇款的应用。

某项目团队成员讨论了如何从现有电子护照构建匿名凭证。例如，用户可以证明他们持有某国护照并且达到特定年龄，而无需透露具体的护照号码或确切年龄。

这些讨论展示了零知识证明技术在身份验证和隐私保护方面的广泛应用前景，为未来的数字身份管理提供了新的可能性。