零知识峰会2024：实地观察

2024年4月10日，第11届零知识峰会在雅典召开。约500名与会者参加了为期一天的活动，内容涵盖四个并行演讲环节。本文总结了峰会上关于最新零知识硬件、SNARK性能和去中心化证明网络设计等方面的重要进展。

零知识硬件发展

硬件支持一直是零知识证明社区的重要目标。主舞台上的两场演讲概述了该领域的最新进展：

某研究员对零知识硬件进行了全面梳理，将相关公司分为三类：使用通用硬件、制造定制硬件和运营去中心化证明网络。他预测，zkVM的"终极形态"可能实现1000倍的计算效率提升，这将对以太坊的未来版本产生重大影响。他还提到，将soon宣布一项针对证明者和验证者正式验证的竞赛，奖金高达2000万美元。

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

去中心化证明者网络

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

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

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

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

零知识凭证

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

某公司联合创始人介绍了零知识电子邮件地址所有权证明。这些证明依赖于验证发送到特定地址的电子邮件的DKIM签名，可用于匿名汇款和举报等应用。

某实验室研究员讨论了利用OpenID Connect与传统Web2身份交互的系统。该系统可实现向Google或Facebook账户汇款等应用。

某项目代表探讨了如何基于现有电子护照构建匿名凭证。例如，用户可以证明自己持有美国护照且年满25岁，而无需透露护照号码或确切年龄。