零知识峰会2024：现场观察

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

ZK硬件发展

零知识证明生成的硬件支持一直是业界关注的焦点。主会场的两场报告概述了该领域的最新进展：

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

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

去中心化证明者网络

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

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

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

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

ZK凭证创新

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

• 某项目联合创始人介绍了ZK电子邮件地址所有权证明，这依赖于证明对特定地址电子邮件的DKIM签名知识。这种技术可应用于向电子邮件地址汇款、匿名举报等场景。

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

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

这些创新展示了零知识技术在身份验证和隐私保护方面的巨大潜力，为未来数字身份管理提供了新的思路。