2024年零知识峰会速记

第11届零知识峰会于4月10日在雅典举行,约有500名与会者参加。会议涵盖了零知识证明硬件、SNARK性能和去中心化证明网络等多个热点话题。

ZK硬件进展

某研究员对ZK硬件领域进行了概述,包括使用通用硬件、制造定制硬件以及运行去中心化证明网络的公司。他预测,zkVM的"终局"可能实现1000倍的计算效率提升,并可能影响以太坊的最终版本。他还提到将宣布一项对证明者和验证者进行正式验证的竞赛,奖金高达2000万美元。

某公司联合创始人介绍了Binius系统,该系统同时设计证明系统和硬件。早期测试显示,在某些应用中Groestl哈希函数的性能明显优于Keccak。

去中心化证明者网络

业内人士普遍认为,未来大型陈述的证明生成将由一个竞争激烈的、去中心化的专业证明者市场完成。

某公司联合创始人讨论了即将推出的证明者网络,介绍了各种潜在的机制设计。她认为设计目标应该依次是:最小成本、最大延迟和抗审查性。她预测拍卖模式最有可能胜出,最终可能类似今天的区块构建。

某大学博士生介绍了一篇关于证明者网络经济学的新论文。他提到双边拍卖容易受到勾结影响,并介绍了一种称为Proo-phi的替代机制。

某公司首席技术官讨论了支持多方计算(MPC)的证明市场,特别是如何维护小型客户和大型证明者之间的隐私。

ZK凭证应用

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

• 基于电子邮件DKIM签名的地址所有权证明
• 利用OpenID connect与传统web2身份交互的系统
• 从电子护照构建匿名凭证的方法

这些技术可应用于匿名汇款、身份验证等多个场景,有望在保护隐私的同时提供可信的身份凭证。