做网站用什么后台,电子个人简历手机版免费,网页设计高清素材,asp1. 引言 近日#xff0c;ZK硬件加速巨头Irreducible和Polygon团队宣布联合开发生产级的Binius-based zkVM#xff0c;用于助力Polygon AggLayer#xff0c;实现具有低开销、硬件加速的binary proofs。
Irreducible#xff08;曾用名为Ulvetanna#xff09;团队 Benjamin …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/biniusRust 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的SNARKsPart 1Binius助力ZK行业发展Binius基于binary fields的SNARKsPart 2关于Lasso、Jolt和SNARK设计最新进展的技术常见问题解答Ligero 和 Ligetron 中的 MPC 和 ZK
