零知识峰会 2024：现场记录

Joseph Bonneau，研究合作伙伴兼纽约大学助理教授，参加了4月10日在雅典举行的第11届零知识峰会。该活动吸引了约500名与会者，一天内同时举行了四场演讲。以下是Bonneau的报告摘要，涵盖了零知识硬件、SNARK性能和证明网络设计的最新进展。

ZK硬件

对证明生成的硬件支持一直是社区的长期目标。主舞台上的前两次演讲概述了该领域的最新发展。

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

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

去中心化证明者网络

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

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

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

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

ZK凭证

三场不同的演讲讨论了从现有身份系统构建零知识凭证的努力。

某公司联合创始人介绍了ZK电子邮件地址所有权证明。这些依赖于证明对发送到特定地址的电子邮件的DKIM签名的知识。许多应用可以通过ZK证明用户是否控制电子邮件地址，包括向电子邮件地址汇款和匿名举报等。

某实验室的研究科学家讨论了使用OpenID connect与传统web2身份交互的技术。该技术与现有的OpenID提供商交互，证明用户控制给定地址，使得向Google或Facebook账户汇款等应用成为可能。

某公司代表探讨了如何从现有电子护照构建匿名凭证。例如，用户可以证明他们持有特定国家护照并且达到特定年龄，而无需透露护照号码或确切年龄。