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