零知识峰会2024：现场报告

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

ZK硬件发展

对证明生成的硬件支持一直是零知识领域的重要目标。主舞台上的两场报告概述了当前的发展情况：

某研究员对ZK硬件进行了全面概述，包括该领域公司的分类。他提到了使用通用硬件的公司、制造定制硬件的公司，以及运行去中心化证明网络的公司。他预测，经过优化的zkVM系统可能实现1000倍的计算效率提升，这将对未来的以太坊版本产生重大影响。他还提到，大多数证明可能会使用Groth16结构，并预告了一项即将举行的证明者和验证者正式验证竞赛。

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

去中心化证明者网络

许多业内人士设想未来大型陈述的证明生成将由一个竞争激烈的、去中心化的专业证明者市场完成。

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

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

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

ZK凭证创新

三场讨论聚焦于从现有身份系统构建零知识凭证的努力：

某项目联合创始人介绍了基于电子邮件的零知识身份所有权证明。这些证明依赖于对特定地址电子邮件DKIM签名的验证，可用于匿名电子邮件转账等应用。

某实验室研究员讨论了利用OpenID Connect与传统web2身份交互的技术。这使得向Google或Facebook账户汇款等应用成为可能。

某项目成员探讨了如何从现有电子护照构建匿名凭证。例如，用户可以证明他们持有特定国家护照并达到某个年龄，而无需透露具体个人信息。

这些创新为在保护隐私的同时验证身份开辟了新的可能性，有望在多个领域产生广泛应用。