揭秘 Plonky2 Goldibear： 婴儿熊领域最快的证明聚合器

随着 Plonky2 Goldibear 的推出，我们很高兴与大家分享我们在加密证明生成和聚合方面取得的最新进展。我们的新系统提供了尖端的性能改进，尤其是在宝贝熊领域的递归证明组合方面。

随着 Plonky2 Goldibear 的推出，我们还开发了一个新版本的 Risclonky2，它不再需要模拟运算，因为它直接在 BabyBear 字段上运行。这样就可以高效地验证和汇总 Risc0 证明，为开发高度可扩展的用户数据保护应用铺平道路。

下面是基准测试结果的详细分解，显示 Plonky2 Goldibear 在 CPU 上比 Risc0 的 BabyBear 证明聚合快 77 倍，与 Risc0 的 GPU Prover 相比，它仍然快 8.5 倍，甚至在成本效益方面也优于 Risc0。 

Plonky2 Goldibear 主要性能亮点

• 在宝贝熊字段上聚合 2 个证明： 520 毫秒
  
  
• 将 RISC0 证明封装到 Plonky2 Goldibear 证明中：900 毫秒
  
  
• 累计 1024 次 Risc0 证明：6.10 秒 ***

基准表

硬件

处理器第 11 代英特尔（R）酷睿（TM）i9-11900K

图形处理器NVIDIA GeForce RTX 4090

定义

* 原生聚合是指聚合所用证明系统的同类证明（例如，使用 Risc0 聚合 Risc0 证明，使用 Plonky2 聚合 Plonky2 证明）。换句话说，它不需要额外的包装。

** 考虑到在树状结构中执行的并行证明和证明递归，理论下限聚合时间。源证明是证明者的原生证明（无需封装）。

考虑到并行证明和在树状结构中执行的证明递归，***理论下限聚合时间。源证明是 Risc0 证明（需要使用 Plonky2 Goldibear 进行封装）。

介绍 Plonky2 Goldibear

Plonky2 Goldibear 是 Plonky2 校验器的最新迭代版本，它支持在 Goldilocks 和 BabyBear 领域生成证明。这种灵活性允许生成能在 BabyBear 下高效工作的电路，从而提高了性能和加密应用的多样性。

通过 "熊宝宝 "进行高效递归证明

通过 Plonky2 Goldibear，我们引入了经过优化的门和小工具，以便在 BabyBear 领域实现高效的递归证明组合。递归证明允许我们将多个证明聚合成一个证明，从而降低验证复杂性并提高性能。对 BabyBear 的支持是我们递归证明能力的一个重要里程碑。

与 Plonky3 集成

Plonky2 Goldibear 利用了 Plonky3 中取得的进步，尤其是在字段运算和哈希原语实现方面。通过集成 Plonky3 的优化功能，Plonky2 Goldibear 可以充分利用未来的改进，使其具有高度的适应性和向前兼容性。

RISC0 防伪包装 (Risclonky2)

除了这些进步之外，我们还开发了新版的Risclonky2 库，它允许将 RISC0 证明直接封装成 BabyBear 字段上的Plonky2 Goldibear 证明。该库的主要优势之一是无需模拟运算，大大减少了封装所需的时间。具体来说，现在封装 RISC0 证明只需900 毫秒。

这一突破使我们能够在极短的时间内聚合数千个 RISC0 证明。例如，通过BabyBear聚合1024个RISC0证明估计需要大约6秒钟。相比之下，仅使用 RISC0 进行同样的聚合需要更长的时间，因为在相同硬件上聚合两个 RISC0 证明需要40 秒。因此，使用原始方法聚合1024 个 RISC0 证明将耗时约400 秒。

集成到 SNARKtor 协议中

我们很高兴地宣布，Plonky2 Goldibear 将被集成到SNARKtor 协议的实现中。这一集成将进一步提升性能，并与 RISC0 框架实现更高效的互动，从而增强我们加密解决方案的能力。

下一步行动

我们目前正在对 Plonky2 Goldibear 进行硬件加速，这将进一步提高证明聚合速度，使其更快更高效。
与此同时，我们还在努力实现 Polygon Hermez zkEVM 证明验证器，这将实现 Polygon zkEVM 卷积证明的快速聚合，为可扩展的安全应用带来新的可能性。

结论

Plonky2 Goldibear 和 Risclonky2 是证明生成、递归证明聚合和加密效率方面的重大飞跃。凭借在 "宝贝熊 "和 "黄金熊 "字段上运行的能力，以及与 RISC0 的无缝集成，我们现在能够提供更快的证明生成、更高效的递归和大规模的高性能聚合。

这些发展将在推进我们的加密解决方案和保持我们在快速发展的零知识证明技术领域的竞争优势方面发挥关键作用。

特别感谢我们的零知识技术主管 Alberto Garoffolo 和密码专家 Daniele Di Tullio 所做的宝贵贡献。

注：Plonky2 Goldibear 和 Risclonky2 的资源库目前是私有的，计划在不久的将来公开发布。如对进一步详情或潜在合作机会感兴趣，请发送电子邮件至 marketing@telosfoundation.io 联系我们。

本公告是 "揭示泰洛斯的下一次飞跃 "活动的一部分，我们将在此活动中分享即将到来的重大更新。我们致力于让我们的社区随时了解我们在幕后构建的一切。敬请期待更多更新！

‍