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

news2024/9/23 23:33:31

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

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/1946390.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

如何在 Spring Boot 中开发一个操作日志系统

文章目录 前言添加依赖配置日志存储创建实体类创建仓库接口创建AOP切面配置日志级别测试日志系统 前言 在开发企业级应用时,记录用户操作日志是非常重要的。这不仅能帮助开发者监控系统的行为,还能在出现问题时进行追踪。在这篇文章中,我们将…

线性代数|机器学习-P25线性规划和两人零和博弈

文章目录 0. 概述1. 线性规划问题1.1 定义1.2 举例 2. 线性规划中的对偶问题3. 最大流 - 最小割问题4. 两人零和博弈 MIT教授教学视频,讲得比较泛,需要另外学习很多知识补充 0. 概述 线性规划[LP]问题 线性规划是问题为线性求最值,约束也是求…

前端调试合集(包含移动端/内嵌h5)

代码内使用方法 alert/console alert和console.log作为JS最基本的调试能力,提供了简易版的断点 (只能断一下) 和输出 (只能输出字符串) 能力,可以在代码运行到预期的位置输出预期的log,通过对不同流程下写入alert,输出变量的值来…

普元EOS学习笔记-EOS的ide开发工具的介绍

前言 普元EOS开发包括低开和高开。 EOS低开,直接在浏览器操作即可,不需要编码。 EOS高开,需要使用EOS的ide工具,进行编码开发。 EOS的ide工具是普元在Eclipse基础上进行的扩展,添加了若干插件,专门用于…

Redis 7.x 系列【29】集群原理之自动故障转移

有道无术,术尚可求,有术无道,止于术。 本系列Redis 版本 7.2.5 源码地址:https://gitee.com/pearl-organization/study-redis-demo 文章目录 1. 概述2. 案例演示3. 工作原理3.1 故障检测3.2 排名3.3 延迟等待3.4 投票3.5 上位 1.…

LeetCode:对称的二叉树(C语言)

1、问题概述:给一个二叉树,看是否按轴对称 2、示例 示例 1: 输入:root [1,2,2,3,4,4,3] 输出:true 示例 2: 输入:root [1,2,2,null,3,null,3] 输出:false 3、分析 (1&a…

MATLAB和Python零模型社会生物生成式结构化图

🎯要点🎯要点🎯启发式方法无标度和前馈拓扑的网络编码🎯随机遗传模型使用布线规则🎯随机遗传算法测试连接组模型🎯确定性地生成分支树和分层网络,同质偏好规则的联系🎯生成随机网络节…

无涯·问知财报解读,辅助更加明智的决策

财报解读就像是给公司做一次全面的体检,是理解公司内部运作机制和市场表现的一把钥匙,能够有效帮助投资者、分析师、管理层以及所有市场参与者判断一家公司的健康程度和发展潜力。 星环科技无涯问知的财经库内置了企业年报及财经类信息,并对…

GateWay网关微服务定位和理论知识

微服务架构的网关在哪里? 概念 SPring Cloud Gateway组件的核心是一系列的过滤器,通过这些过滤器可以将客户端发送的请求转发(路由)到对应的微服务。Spring Cloud Gateway是加在整个微服务最前沿的防火墙和代理器,隐藏…

linux离线安装mysql8(单机版)

文章目录 一、检查服务器是否有残留mysql资源,有的话就全删除1.1、查询mysql已安装的相关依赖:1.2、查找含有MySQL的目录 二、安装2.1、上传mysql安装包到文件夹下并解压2.2、移动及重命名2.3、mysql用户2.4、配置mysql所需的my.cnf文件2.5、给my.cnf配置…

基于单片机控制的红外热释电家庭防盗报警器硬件系统设计

【摘要】 随着社会的发展和人们安全意识的提高,传统的家庭防盗系统不能适应现代生活中多变的环境。本文设计开发的红外热释电家庭防盗报警器能改善传统防盗系统结构复杂,计算繁琐、价格昂贵、监控盲区等缺陷,主要由单片机模块、复位电路模块、…

pycharm+pytorch2.3.1安装

成功运行 Anaconda简介 Anaconda 就是可以便捷获取包且对包能够进行管理,同时对环境可以统一管理的发行版本。Anaconda包含了conda、Python在内的超过180个科学包及其依赖项。 Anaconda安装 去官网地址下载 Download Anaconda Distribution | Anaconda​www.ana…

<数据集>棉花叶片病害识别数据集<目标检测>

数据集格式:VOCYOLO格式 图片数量:5837张 标注数量(xml文件个数):5837 标注数量(txt文件个数):5837 标注类别数:4 标注类别名称:[Bacterial Blight, Curl virus, Fussarium wilt, Healthy] 序号类别名…

springboot3-web-questions-分析

系列文章目录 文章目录 目录 系列文章目录 文章目录 前言 一、问题案例 1、maven项目compile时候出现告警warn 2、java文件打包然后在命令行中运行java会找不到主类 3、程序找不到数据库驱动和配置实例 4、springboot和mybatis-plus版本不兼容导致 5、springboot项目启动的解释…

docker 续 常用命令

ubuntu里的仓库文件使用不了的解决方法: 1.进入仓库文件的目录 cd /etc/apt/sources.list.d/ 2.删除 archive开头的文件 sudo rm -rf archive* 3.重新下载仓库文件 sudo add-apt-repository "deb [archamd64] https://mirrors.ustc.edu.cn/docker-ce/lin…

学术研讨 | 基于区块链的隐私计算与数据可信流通研讨会顺利召开

近日,由国家区块链技术创新中心组织的“基于区块链的隐私计算与数据可信流通研讨会”顺利召开,会议邀请了来自全国高校和科研院所的相关领域专家,围绕基于区块链与隐私计算技术的应用需求、研究现状、发展趋势、重点研究方向与研究进展等内容…

【相机与图像】1. 相机模型的介绍:内参、外参、畸变参数

想着整理下相机模型(内容上参考 slam十四讲)、相机的内外参标定。方便自己的使用和回顾。 不过,内外参标定啥时候记录随缘 -_- 概述 【构建相机模型】 相机将三位世界中的坐标点(单位为米)映射到二维图像平面&#xff…

【LeetCode】71.简化路径

1. 题目 2. 分析 3. 代码 我写了一版很复杂的代码&#xff1a; class Solution:def simplifyPath(self, path: str) -> str:operator [] # 操作符的栈dir_name [] # 文件名的栈idx 0cur_dir_name ""while(idx < len(path)):if path[idx] /:operator.ap…

MT6775(Helio P70)处理器规格参数_MTK联发科平台方案

联发科MT6775(Helio P70)采用台积电12nm工艺制程节省功耗达 15%&#xff0c;搭载了四颗Arm Cortex-A73 2.1GHz和四颗ArmCortex-A53 2.0GHz的八核处理器。 GPU为ARM Mali-G72 MP3&#xff0c;运行时频率高达900MHz&#xff0c;相较于上一代产品HelioP60&#xff0c;效能提升了1…

搜索与下载Stable Diffusion 模型

我只是一个刚开始学习SD没多久小白&#xff0c;拿到别人的工作流想要运行时&#xff0c;很多时候还要下载对应的模型才能正常运行&#xff0c;虽然也可以通过comfyui-manager下载&#xff0c;不过有时候好像会下载失败&#xff0c;而单独下载所需模型&#xff0c;我自己试过&am…