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