Binius-based zkVM：为Polygon AggLayer开发、FPGA加速的zkVM

1. 引言

近日，ZK硬件加速巨头Irreducible和Polygon团队宣布联合开发生产级的Binius-based zkVM，用于助力Polygon AggLayer，实现具有低开销、硬件加速的binary proofs。

Irreducible（曾用名为Ulvetanna）团队 Benjamin E. Diamond 和 Jim Posen 2023年11月所发表的论文Succinct Arguments over Towers of Binary Fields中所提出的Binius证明系统，将解锁可验证计算中下一数量级的性能改进。

• 2023年11月该论文发表的同时，开源了初始代码。
• 2024年2月，实现了对Keccak-256哈希函数的SNARK证明。
• 当前Binius仍在开发完善中。

Binius的速度优势源于：

• Binary域算术允许在高时钟频率下运行的紧凑电路设计。因此，Irreducible的定制数字逻辑比CPU和GPU处理器更有效地处理Binary域运算。
• Irreducible计划用其FPGA服务集群来对其进行加速。

Binius开源代码见：

• https://gitlab.com/IrreducibleOSS/binius（Rust）

Irreducible：

• 通过Binius来提供proof生成时长的数量级改进，
• 并利用FPGA服务器集群来降低proof生成开销，
• 从而释放binary证明系统的全部潜力。

这是在吞吐量、流动性和共享状态方面扩展区块链的关键，也是实现Polygon Labs基于ZK的AggLayer 愿景的关键。作为web3领域的原创创新者，Polygon Labs正在引领建立一个感觉就像使用单链的多链生态系统。在Irreducible的低成本、低延迟证明服务的推动下，AggLayer为互联网的价值层提供了一个可扩展、无需许可、统一的接口。

参考资料

[1] 2024年7月24日twitter https://x.com/IrreducibleHW/status/1815805806308385192
[2] Irreducible 2024年7月23日博客 Irreducible x Polygon Labs: Announcing collaboration with Polygon Labs on Binius-based zkVM
[3] https://www.irreducible.com/binius

Binius系列博客

• Binius：基于binary fields的SNARKs（Part 1）
• Binius：助力ZK行业发展
• Binius：基于binary fields的SNARKs（Part 2）
• 关于Lasso、Jolt和SNARK设计最新进展的技术常见问题解答
• Ligero 和 Ligetron 中的 MPC 和 ZK