摘要：在本期中，a16zcrypto研究合作伙伴兼纽约大学助理教授JosephBonneau参加了4月10日星期三在雅典举行的第11届零知峰会（zkSummit），并记录了笔记。以下是Bonneau报告的摘要，涵盖了最新的零知硬件、SNARK性能和拍卖网络设计，包括一些对Jolt的提及，这是a16zcrypto研究和工程师团队对SNARK设计的新方法，已经比目前最先进的技术快2倍，而且还有更多改进即将到...
发文：Joseph Bonneau
编译：DAOSquare
编者按：Field Notes 这是一个系列，我们在重要行业、研究等活动中进行现场报道。在本期中，a16z crypto 研究合作伙伴兼纽约大学助理教授 Joseph Bonneau 参与了 4 月 10 周三在雅典举行的第一天星期三在雅典举行 11 届零知峰会 （zkSummit），并记录笔记。该活动由 Zero Knowledge 播客主办，大概有 500 与会者，并在一天内同时发表了四次演讲。以下是 Bonneau 报告摘要包括最新的零知硬件、SNARK 性能和投标网络设计，包括一些投标网络设计， Jolt 这是提到的，这是 a16z crypto 研究和工程师团队是对的 SNARK 新的设计方法比最先进的技术更快 2 倍，而且还有更多的改善即将到来。
ZK 硬件
长期以来，对确认的硬件支持一直是社区的目标。在主舞台上举行的前两次会谈总结了这方面的发展。
以太坊基金会研究员 Justin Drake 对 ZK 简要介绍了硬件，包括该领域企业的分类。该名单包括使用通用硬件的企业(如通用硬件) Ulvetanna）、制造定制硬件的企业(包括制造定制硬件的企业) Accseal、Cysic 和 Fabric）以及运行分散确认网络的企业(如 Aleo）。他预测，zkVM 的「终局」，比如由 Binius(硬件优化 SNARK 加强验证系统 Jolt，以及其他即将到来的升级和专用硬件，可以实现 1000 两倍的计算成本，并可能影响最终的以太币版本，经过全面的实战测试。他还预测，硬件将主要集中在非 ZK 简单证实，大部分证实将用于面部 Groth 16 包装。他还提到，以太坊基金会将宣布对证明人和验证人进行正式检查，奖金为 2000 万美金。
Ulvetanna 的创始人 Jim Posen 谈到了 Binius，以及设计确认系统和硬件的一般概念。Binius 使用二进制塔场和 sumcheck 协议，Jolt 也是基于该协议。从 Binius 在最初的测试中得出的一个有趣的结论是，哈希函数 Groestl（SHA-3 亚军)性能明显优于亚军) Keccak（官方 SHA-3 因此，在某些应用程序中使用标准) Groestl 可能更有益。
分散证明网络
很多人在这一领域构思了一个未来，大规模阐述了证明生成(例如，Rollup 中一批交易的准确性)由竞争激烈、分散化的专业证人市场完成。
Succinct 的创始人 Uma Roy 谈到了 Succinct 即将推出的证明者网络。她介绍了分散证明者网络的各种潜在机制设计，并预测基于竞争（先证明者获胜）或采矿（先证明者获胜，模数随机性）的设计不会带来好的结果。她说，设计目标应该是：成本最低、延迟最大、抗审查性最强。她预测，发行 / 质押方式可能有效，但拍卖方式最有可能获胜，最终可能看起来像今天的区块建设。她讲，Succinct 正在建立一个支持多个竞拍网络的通用竞拍网络 zkVM 证明，而不仅仅是 Succinct 自己的 SP 1 ，比如 Jolt/Lasso。
耶鲁大学博士生 Wenhao Wang 提到了一篇关于证明者网络经济学的新论文，论文是在演讲当天上午发表的，论文是他和他。 Ben Fisch（Espresso Systems）和 Ben Livshits（Matter Labs）合作写作。Wenhao 提到双边拍卖很容易受到证明者和投标人串通的影响，他们引入了一种叫做“双边拍卖”的东西 Proo-phi 替代机制，引入了新的匹配交易确认机制。Proof-phi 需要设置容量参数，这似乎是开放式设计的关键问题。
TACEO 联合创始人兼首席技术官 Daniel Kales 谈到支持多方计算（MPC）证明市场，特别是使用 MPC 维持私人守护者的小用户与信任的大证人之间的隐私。他谈到了如何选择确认系统的搭配进行线性运算(比如 Fast Fourier Transform 算法)，这些计算在 MPC 相对便宜，而且可以最小化成本。
ZK 凭据
三项不同的活动讨论了从现有身份系统中构建零知识凭证的努力。每个人都依赖于不同的当前身份系统。
ZK Email 的创始人 Aayush Gupta 和 Sora Suegami 谈到了 ZK 确认电子邮件地址所有权。这些依赖于确认发送到特定地址的电子邮件 DKIM 还有签名知识 DKIM 已被主要电子邮件提供商广泛分配(尽管主要作为反垃圾邮件措施)。许多应用程序都可以通过许多应用程序 ZK 确认用户是否控制电子邮件地址，包括向电子邮件地址汇款、匿名举报等应用。
Aptos Labs 研究科学家。研究科学家 Alin Tomescu 谈到了 Aptos Keyless，它使用 OpenID connect 与传统的 web2 身份互动。OpenID connect 是一种支持「使用 Facebook、Google 等登录」第三方网站的技术。Aptos Keyless 与现有的 OpenID 供应商交互，并证明用户控制给出地址，从而使类似的方向相似 Google 或 Facebook 账户汇款的应用已成为可能。
zkPassport 的 Michael Elliot 和 Derya Karli 讨论了如何从目前的电子护照中构建匿名凭证。例如，用户可以确认他们有美国护照，年满 25 年龄，但不需要透露护照号码或准确年龄。
