Zero Knowledge Summit 2024: 零知识峰会见闻录

2024年4月10日，第11届零知识峰会在雅典举行。约500名与会者齐聚一堂，参与了为期一天的四场平行会议。本文总结了峰会上关于零知识硬件、SNARK性能和去中心化证明网络设计等方面的最新进展。

零知识硬件发展

硬件支持一直是零知识证明社区的重点关注领域。会议开场的两场主题演讲概述了该领域的最新进展:

某研究员对零知识硬件进行了全面梳理，将相关公司分为三类:利用通用硬件的公司、制造专用硬件的公司,以及运营去中心化证明网络的公司。他预测,经过硬件优化的SNARK验证系统等技术可能实现1000倍的性能提升,这将对以太坊的未来发展产生重要影响。他还透露,某基金会计划举办一场正式验证证明者和验证者的竞赛,奖金高达2000万美元。

某公司联合创始人介绍了他们的Binius系统,这是一种同时优化证明系统和硬件设计的方案。Binius采用了二进制塔场和sumcheck协议。初步测试显示,在某些应用场景中Groestl哈希函数的性能明显优于Keccak,这一发现可能会影响未来系统的设计选择。

去中心化证明者网络

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

某公司联合创始人分享了他们即将推出的证明者网络。她分析了去中心化证明者网络的各种潜在机制设计,认为基于竞赛或挖矿的设计可能难以取得理想效果。她提出设计目标应该依次是:最小化成本、最大化延迟和抗审查能力。她预测拍卖模式最有可能成为主流,最终可能类似于当前的区块构建机制。

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

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

零知识凭证

会议还讨论了基于现有身份系统构建零知识凭证的多种尝试:

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

某公司研究员分享了他们的Keyless项目,该项目利用OpenID connect与传统Web2身份系统交互。这使得向Google或Facebook账户汇款等应用成为可能。

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

总的来说,本次峰会展示了零知识证明技术在硬件支持、网络设计和身份验证等方面的最新进展,为该领域的未来发展描绘了令人期待的蓝图。