零知识峰会 2024：现场报道

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

零知识硬件发展

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

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

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

去中心化证明者网络

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

某公司联合创始人讨论了去中心化证明者网络的各种潜在机制设计。她认为设计目标应依次为：最小化成本、最大化延迟和保证抗审查性。她预测拍卖模式最有可能胜出，最终可能类似于当前的区块构建过程。

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

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

零知识凭证

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

1. 基于电子邮件的零知识地址所有权证明，依赖于DKIM签名验证。

2. 利用OpenID connect与传统web2身份交互，实现如向Google或Facebook账户汇款等应用。

3. 从现有电子护照构建匿名凭证，例如证明持有特定国家护照和年龄范围，而无需透露具体个人信息。

这些创新为身份验证和隐私保护提供了新的可能性，有望在多个领域得到广泛应用。