零知识峰会2024:现场报道

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

零知识硬件

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

某研究员对零知识硬件进行了全面概述,将相关公司分为三类:使用通用硬件、制造定制硬件,以及运行去中心化证明网络的公司。他预测,结合硬件优化的SNARK验证系统和其他即将推出的优化,可能实现1000倍的计算效率提升,这将对以太坊的最终版本产生重大影响。他还提到,将启动一项对证明者和验证者进行正式验证的竞赛,奖金高达2000万美元。

某公司联合创始人介绍了同时设计证明系统和硬件的理念。他们的早期测试显示,在某些应用中,Groestl哈希函数的性能明显优于Keccak,这为未来的系统设计提供了新的思路。

去中心化证明者网络

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

某公司联合创始人讨论了去中心化证明者网络的各种潜在机制设计。她认为设计目标应该依次是:最小化成本、最大化延迟和抗审查性。她预测,发行/质押模式可能有效,但拍卖模式最有可能胜出,最终可能类似于今天的区块构建。她透露,他们正在构建一个通用的拍卖网络,用于支持多个zkVM的证明。

某大学博士生介绍了一篇关于证明者网络经济学的新论文。他指出,双边拍卖容易受到证明者和竞标者之间勾结的影响,因此他们提出了一种新的机制,引入了新的匹配交易和证明机制。这种机制需要设置容量参数,这似乎是一个关键的开放式设计问题。

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

零知识凭证

三场不同的演讲讨论了基于现有身份系统构建零知识凭证的努力:

某项目联合创始人介绍了零知识电子邮件地址所有权证明。这些证明依赖于对发送到特定地址的电子邮件的DKIM签名的验证,DKIM已被主要电子邮件提供商广泛部署。这种技术可应用于向电子邮件地址汇款、匿名举报等场景。

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

某项目成员探讨了如何从现有电子护照构建匿名凭证。例如,用户可以证明他们持有特定国家护照并且年满特定年龄,而无需透露具体的护照号码或确切年龄。

这些发展表明,零知识证明技术正在各个领域迅速推进,为隐私保护和身份验证提供了新的可能性。