零知识峰会2024：现场报告

Joseph Bonneau于2024年4月13日发布了一篇关于第11届零知识峰会(zkSummit)的现场报告。该峰会于4月10日在雅典举行，约有500名与会者参加。会议同时进行了四场演讲，涵盖了零知识硬件、SNARK性能和证明网络设计等最新进展。

零知识硬件

硬件对证明生成的支持一直是业界关注的重点。主舞台上的两场演讲概述了该领域的最新发展。

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

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

去中心化证明者网络

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

某公司联合创始人讨论了去中心化证明者网络的各种潜在机制设计。她认为设计目标应该依次是：最小化成本、最大化延迟和抗审查性。她预测拍卖模式最有可能成功，最终可能类似于当前的区块构建模式。她透露其公司正在构建一个通用的拍卖网络，支持多个zkVM的证明。

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

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

零知识凭证

三场讨论聚焦于从现有身份系统构建零知识凭证的努力，每一种方案都基于不同的身份系统。

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

某公司研究科学家讨论了利用OpenID connect与传统web2身份交互的系统。该系统与现有OpenID提供商交互，证明用户控制给定地址，从而实现向Google或Facebook账户汇款等应用。

某项目成员探讨了如何从现有电子护照构建匿名凭证。例如，用户可以证明他们持有美国护照并且年满25岁，而无需透露护照号码或确切年龄。