零知识峰会2024：实地观察

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

零知识硬件

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

某研究员对零知识硬件进行了全面概述，包括使用通用硬件的公司、制造定制硬件的公司以及运营去中心化证明网络的公司。他预测，借助硬件优化的SNARK验证系统等技术，zkVM可能实现1000倍的计算效率提升，这可能对以太坊的未来版本产生重大影响。他还提到，大多数证明可能会采用Groth16包装。

另一位专家讨论了同时设计证明系统和硬件的概念。他们的系统使用二进制塔场和sumcheck协议。初步测试显示，在某些应用中，Groestl哈希函数的性能明显优于Keccak。

去中心化证明者网络

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

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

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

另一位专家讨论了支持多方计算（MPC）的证明市场，特别是如何利用MPC在小型客户和大型证明者之间维护隐私。他探讨了如何选择证明系统组合来进行线性运算，以在MPC中最小化成本。

零知识凭证

会议还讨论了从现有身份系统构建零知识凭证的努力：

• 一个项目致力于开发零知识电子邮件地址所有权证明，依赖于对DKIM签名的知识证明。
• 另一个项目使用OpenID connect与传统web2身份进行交互，使得向Google或Facebook账户汇款等应用成为可能。
• 第三个项目探讨了如何从现有电子护照构建匿名凭证，例如证明持有特定国家护照和年龄，而无需透露具体信息。

这些进展展示了零知识证明技术在身份验证和隐私保护方面的巨大潜力，为未来的应用开辟了新的可能性。