【英文】第 11 届 zkSummit 活动报告：ZK 硬件、去中心化证明网络及零知识凭证

ZK 硬件：1）以太坊基金会研究员 Justin Drake 概述了 ZK 硬件领域公司的分类，包括使用通用硬件的公司（如 Ulvetanna）、定制硬件的公司（包括 Accseal、Cysic 和 Fabric），以及运行去中心化证明者网络的公司（如 Aleo）。他表示，Binius 和其他即将到来的优化加上专用硬件增强的 Jolt，可以实现 1000 倍的计算开销，并可能成为以太坊最终的、经过全面实战检验的版本。他还预测，硬件领域将主要关注非 ZK 简洁证明，大多数证明将在链上进行 Groth16 封装； 2）Ulvetanna 联合创始人 Jim Posen 谈到了 Binius 以及同时共同设计证明系统和硬件的总体概念。Binius 早期测试的一个有趣结果是，哈希函数 Groestl 的性能明显优于 Keccak ，因此在某些应用中使用 Groestl 可能更具备优势。 去中心化证明者网络：1）Succinct 联合创始人 Uma Roy 谈到了 Succinct 即将推出的证明者网络，并介绍了去中心化证明者网络的各种潜在机制设计。他不看好基于竞赛或挖矿的设计，并预测发行 / 定价模式或许可行，但拍卖模式很可能会胜出。他表示，Succinct 正在为证明构建一个通用拍卖网络，该网络将支持多种 zkVM，而不仅仅是 Succinct 自己的 SP1，如 Jolt/Lasso； 2）耶鲁大学博士生 Wenhao Wang 谈到了与 Ben Fisch 和 Ben Livshits 合作撰写的一篇关于证明者网络经济学的新论文。他提到，双面拍卖容易受到证明者和投标者之间串通行为的影响，因此他们引入了一种名为 Proo-phi 的替代机制，该机制涉及贪婪地匹配交易和证明者； 3）TACEO 联合创始人兼首席技术官 Daniel Kales 谈到了支持多方计算（MPC）的证明市场，特别是使用多方计算来维护小型客户端与不受信任的大型证明者之间的隐私。 零知识凭证：1）ZK Email 联合创始人 Aayush Gupta 和 Sora Suegami 谈到了电子邮件地址所有权的 ZK 证明。这依赖于证明对发送到特定地址的电子邮件的 DKIM 签名的了解； 2）Aptos Labs 的研究科学家 Alin Tomescu 介绍了 Aptos Keyless，它使用 OpenID connect 与传统的 Web2 身份进行交互； 3）zkPassport 的 Michael Elliot 和 Derya Karli 讨论了利用现有电子护照建立匿名凭证的问题。例如，用户可以证明自己持有美国护照且年龄在 25 岁以上，但不会透露自己的护照号码或确切年龄。【原文为英文】\n原文链接