2024年zkSummit观察记：零知识技术前沿洞察

本文出自a16zcrypto的Field Notes系列，由火星财经(MK)编译，纽约大学助理教授及a16z加密研究合作伙伴Joseph Bonneau为我们带来了第11届zkSummit的现场记录。这场于4月10日在雅典举行的盛会由Zero Knowledge播客主办，吸引近500名参与者，为期一天，共呈现四场重量级演讲。核心议题涵盖了零知识硬件的最新动态、SNARK效能、拍卖网络设计，以及a16z加密团队提出的新一代SNARK方案——Jolt，该方案在计算速度上超越现有技术，并有多项改进。

一直以来，支持零知识证明生成的硬件一直是社区关注的重点。峰会的前两场关键演讲详尽介绍了该领域的发展状况：

Ethereum Foundation研究员Justin Drake分析了ZK硬件的近期进步和各公司的分类，包括利用通用硬件（如Ulvetanna）、定制硬件制造商（如Accseal、Cysic和Fabric），以及运作去中心化证明网络的企业（如Aleo）。他预言，随着如Jolt（结合硬件优化的SNARK验证系统的zkVM）和其他即将推出的优化与专用硬件的推进，计算开销可望提升千倍，这对于最终全面实战测试的以太坊版本将产生深远影响。他还指出，硬件发展的重点将聚焦于非ZK简洁证明，多数证明将采用链上的Groth16封装。此外，以太坊基金会宣布将举办一场规模高达2000万美元的正式验证者竞赛。

Ulvetanna的联合创始人Jim Posen详细解析了Binius项目及其兼顾证明系统和硬件设计的整体思路。Binius运用二进制塔场和sumcheck协议，这也正是Jolt的基础。根据Binius的初期测试结果显示，哈希函数Groestl（SHA-3亚军）在性能上显著优于Keccak（官方SHA-3标准），故在特定场景下使用Groestl更具优势。

许多业内专家预测，大规模的声明性证明生成（例如验证交易合法性）未来将会在一个竞争激烈的去中心化专业化证明者市场上进行。

Succinct的联合创始人Uma Roy揭示了即将上线的Succinct证明者网络，并深入剖析了去中心化证明者网络的各种潜在机制设计。她指出，基于竞赛或挖矿的设计可能并不理想，设计的目标应当是降低成本、减小延迟并增强抗审查能力。她认为，发行/质押模式或许有效，然而拍卖模式更有可能被采纳，类似于当前的区块构造方式。此外，Succinct正在建设一个通用的拍卖网络，不仅支持自家的SP1，还包括Jolt/Lasso等其他zkVM证明。

耶鲁大学博士生Wenhao Wang发表了一篇关于证明者网络经济学的新论文，该论文在当日早晨发布，由Ben Fisch（Espresso Systems）和Ben Livshits（Matter Labs）共同撰写。Wang指出，双边拍卖易受证明者与投标者合谋影响，并提出了名为Proo-phi的替代机制，该机制涉及贪婪地匹配交易和证明。然而，确定Proo-phi的容量参数问题成为了设计中的关键挑战。

TACEO的联合创始人兼CTO Daniel Kales探讨了支持多方计算（MPC）的证明市场，特别是在维护带有秘密见证的小型客户与大型不可信证明者之间隐私的应用场景中。他描述了如何选取适合MPC且相对廉价的线性运算（如快速傅里叶变换算法）的证明系统组合，以实现成本最小化。

共有三场演讲围绕如何利用现有身份系统构建零知识凭证展开，每场演讲都基于不同的身份体系：

ZK Email的联合创始人Aayush Gupta和Sora Suegami展示了如何证明电子邮件地址所有权，这种证明依赖于对特定地址收到的DKIM签名的理解，而该技术已在主流电子邮件服务商中广泛应用（主要用于反垃圾邮件）。这类应用能够证实用户对其电子邮件地址的掌控，包括向该地址发送货币或匿名举报。

Aptos Labs的研究科学家Alin Tomescu介绍了Aptos Keyless，它通过OpenID Connect与传统Web2身份进行交互。OpenID Connect允许用户通过Facebook、Google等服务登录第三方网站。Aptos Keyless与现有OpenID提供商互动，证明用户对指定地址的控制权，从而实现向Google或Facebook账户转账等功能。

zkPassport的Michael Elliot和Derya Karli则讨论了如何从现有的电子护照中构建匿名凭证。例如，用户可以证明自己持有美国护照且已满25岁，而不必泄露护照号码或精确年龄。