Polygon zkEVM的Dragon Fruit和Inca Berry升级

1. Polygon zkEVM的Dragon Fruit升级

2023年8月31日,Polygon zkEVM团队宣称启动了其Mainnet Beta的Dragon Fruit升级的10天timelock,预计将于2023年9月11日激活。

Dragon Fruit升级点有:

  • 改进了网络
  • 支持了最新的以太坊opcode——PUSH0

1.1 Dragon Fruit升级点

Dragon Fruit,又名ForkID5,包含了2个新特性:

  • 1)PUSH0:最新的以太坊opcode,PUSH0已包含在以太坊Shanghai硬分叉中。一旦Dragon Fruit升级完成,Polygon zkEVM Mainnet Beta与最新版本的Solidity一致,以维护rollup的EVM等价性。更多PUSH0知识,见EIP-3855。
  • 2)RLP解析:修复了交易解析的一个非致命错误。

1.2 Dragon Fruit升级审计

Spearbit对以上Dragon Fruit升级特性进行了安全性审计,同时对在本次升级中所包含的密码学优化进行了独立审计。Spearbit未发现任何致命风险或可靠性问题。在审计过程中所发现的非致命风险均已修复并经Spearbit确认。
具体的审计报告见:

  • 密码学审计报告
  • PUSH0和RLP审计报告

1.3 Dragon Fruit测试网

当前,可使用Dragon Fruit测试网来体验push0,具体见Polygon zkEVM的公开测试网:

  • Polygon zkEVM的Dragon Fruit公开测试网【注意切换“Testnet Products”选项】

1.4 Dragon Fruit到Mainnet Beta的升级路径

Dragon Fruit会影响Verifier,因Verifier中包含了生成state transitions的逻辑。这要求升级Polygon.zkEVM.sol共识合约。

为与Polygon zkEVM的治理模式 保持一致,本次Polygon zkEVM Mainnet Beta升级已触发了10天的timelock。

升级流程已启动、执行,并将在10天内结束——即9月10日。在此提醒开发者和普通用户,在timelock会保护其安全性,在升级完成之前,给足够的时间取回资金(如有需要)。

已升级合约见:

  • https://etherscan.io/address/0x301442aa888701c8b86727d42f3c55fb0dd9ef7f/advanced#code

包含升级提案及其签名的交易哈希见:

  • https://etherscan.io/tx/0x94c0d1e336349013d0fe2072375d5b40c174fc26f7f1b06f23ddf4c6b1142519

1.4 升级Dragon Fruit之后

在9月中旬,一旦Dragon Fruit在以太坊主网激活之后,开发者需更新到最新版本的节点、prover和bridge服务,具体为:

  • Node v0.3.0
  • Prover v2.2.0
  • Bridge服务 v0.2.0

2. Polygon zkEVM的Inca Berry升级

2023年10月26日,Polygon zkEVM团队宣称启动了其Mainnet Beta的Inca Berry升级的10天timelock。

Inca Berry升级点主要有:

  • 升级后的FflonkVerifier.sol合约
  • Inca Berry升级交易提案

伴随着Inca Berry升级,节点和prover也将更新。

对于终端用户来说,一旦Inca Berry升级激活,无需任何操作可继续使用Polygon zkEVM。从终端用户角度来看,一切皆未变。

2.1 Inca Berry升级点及审计

Inca Berry升级主要:

  • 做了密码学优化
  • 修复了一些bug
  • 更新了prover和节点,包括给sequencer添加了data stream,并改进了Websocket订阅。

之前的prover代码无法在最流行的(除Ubuntu之外的)桌面Linux系统上编译。随着本次升级,prover代码将兼容GCC13,且开发者在Linux系统中编译和执行prover。

Inca Berry升级相关审计由Verichains主导。未来将分享相应审计报告。

2.2 下一步 及 如今如何测试Inca Berry

为与Polygon zkEVM的治理模式 保持一致,本次Polygon zkEVM Mainnet Beta升级已触发了10天的timelock,将于2023年11月5日结束。
在此提醒开发者和普通用户,在timelock会保护其安全性,在升级完成之前,给足够的时间取回资金(如有需要)。

该timelock对开发者来说,也是自行测试和验证升级的机会。Inca Berry以及最新版本的node和prover,均已在Polygon zkEVM公开测试网上可用:

  • Polygon zkEVM的Inca Berry公开测试网【注意切换“Testnet Products”选项】

2.3 升级Inca Berry之后

一旦Inca Berry在以太坊主网激活,开发者需更新最新版本的node和prover:

  • Node v0.3.2
  • Prover v3.0.0

参考资料

[1] 2023年8月31日 Polygon zkEVM: Dragon Fruit Upgrade (with New Opcode) Coming to Mainnet Beta
[2] 2023年10月26日 Polygon zkEVM: Inca Berry Upgrade Coming to Mainnet Beta

附录:Polygon Hermez 2.0 zkEVM系列博客

  • ZK-Rollups工作原理
  • Polygon zkEVM——Hermez 2.0简介
  • Polygon zkEVM网络节点
  • Polygon zkEVM 基本概念
  • Polygon zkEVM Prover
  • Polygon zkEVM工具——PIL和CIRCOM
  • Polygon zkEVM节点代码解析
  • Polygon zkEVM的pil-stark Fibonacci状态机初体验
  • Polygon zkEVM的pil-stark Fibonacci状态机代码解析
  • Polygon zkEVM PIL编译器——pilcom 代码解析
  • Polygon zkEVM Arithmetic状态机
  • Polygon zkEVM中的常量多项式
  • Polygon zkEVM Binary状态机
  • Polygon zkEVM Memory状态机
  • Polygon zkEVM Memory Align状态机
  • Polygon zkEVM zkASM编译器——zkasmcom
  • Polygon zkEVM哈希状态机——Keccak-256和Poseidon
  • Polygon zkEVM zkASM语法
  • Polygon zkEVM可验证计算简单状态机示例
  • Polygon zkEVM zkASM 与 以太坊虚拟机opcode 对应集合
  • Polygon zkEVM zkROM代码解析(1)
  • Polygon zkEVM zkASM中的函数集合
  • Polygon zkEVM zkROM代码解析(2)
  • Polygon zkEVM zkROM代码解析(3)
  • Polygon zkEVM公式梳理
  • Polygon zkEVM中的Merkle tree
  • Polygon zkEVM中Goldilocks域元素circom约束
  • Polygon zkEVM Merkle tree的circom约束
  • Polygon zkEVM FFT和多项式evaluate计算的circom约束
  • Polygon zkEVM R1CS与Plonk电路转换
  • Polygon zkEVM中的子约束系统
  • Polygon zkEVM交易解析
  • Polygon zkEVM 审计及递归证明
  • Polygon zkEVM发布公开测试网2.0
  • Polygon zkEVM测试集——创建合约交易
  • Polygon zkEVM中的Recursive STARKs
  • Polygon zkEVM的gas定价
  • Polygon zkEVM zkProver基本设计原则 以及 Storage状态机
  • Polygon zkEVM bridge技术文档
  • Polygon zkEVM Trustless L2 State Management 技术文档
  • Polygon zkEVM中的自定义errors
  • Polygon zkEVM RPC服务
  • Polygon zkEVM Prover的 RPC功能
  • Polygon zkEVM PIL技术文档
  • Polygon zkEVM递归证明技术文档(1)【主要描述了相关工具 和 证明的组合、递归以及聚合】
  • Polygon zkEVM递归证明技术文档(2)—— Polygon zkEVM架构设计
  • Polygon zkEVM递归证明技术文档(3)——代码编译及运行
  • Polygon zkEVM递归证明技术文档(4)—— C12 PIL Description
  • Polygon zkEVM递归证明技术文档(5)——附录:借助SNARKjs和PIL-STARK实现proof composition
  • eSTARK:Polygon zkEVM的扩展STARK协议——支持lookup、permutation、copy等arguments(1)
  • eSTARK:Polygon zkEVM的扩展STARK协议——支持lookup、permutation、copy等arguments(2)
  • eSTARK:Polygon zkEVM的扩展STARK协议——支持lookup、permutation、copy等arguments(3)

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

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

相关文章

HTTP(Hypertext Transfer Protocol)协议

文章目录: 什么是HTTP?认识URLurlencode 和 urldecodeHTTP 协议请求和响应格式HTTP 请求(Request)HTTP 响应(Response) HTTP 请求方法HTTP 的状态码常见的Header 什么是HTTP? HTTP(…

用向量数据库Milvus Cloud搭建GPT大模型+私有知识库的定制AI助手——PPT大纲助手

随着人工智能技术的不断发展,AI助手在各行各业中扮演着越来越重要的角色。在商业领域,PPT演示是一种常见的沟通方式,而定制化的PPT大纲助手能够极大地提高PPT制作效率和质量。本文将介绍如何利用向量数据库Milvus Cloud搭建GPT大模型和私有知识库,构建一款高效的PPT大纲助手…

产品智能化成照明企业“必选题” 小匠物联交出标准答卷

7月20日,由佛山市科学技术局、佛山市工业和信息化局、佛山市科学技术协会指导,佛山市照明灯具协会主办的“2023佛山市智能照明&驱动新技术研讨会”在佛山市国家火炬创新创业园宜尚PLUS酒店隆重举行。此次会议邀请近100位知名企业产品经理和研发工程师…

金蝶云星空ScpSupRegHandler任意文件上传漏洞复现 [附POC]

文章目录 金蝶云星空ScpSupRegHandler任意文件上传漏洞复现 [附POC]0x01 前言0x02 漏洞描述0x03 影响版本0x04 漏洞环境0x05 漏洞复现1.访问漏洞环境2.构造POC3.复现 0x06 修复建议 金蝶云星空ScpSupRegHandler任意文件上传漏洞复现 [附POC] 0x01 前言 免责声明:请…

2.发送邮件+开发注册功能

目录 1.发送邮件 1.1 邮箱设置:启用客户端 SMTP 服务 1.2 S

21、ila

1、bd文件中添加debug信号,右击信号线,debug。

3 个常识点必须先了解!0基础入门Python!

学习一门新的语言之前,首先简单了解下这门语言的背景。Python 是一种面向对象的解释型计算机程序设计语言,由荷兰人 Guido van Rossum 于 1989 年发明,第一个公开发行版发行于 1991 年。 Python 在设计上坚持了清晰划一的风格,这…

mongodb 日志详情

1 mongodb日志简介 MongoDB的日志包括两个主要部分:操作日志(oplog)和系统日志。 1.1 操作日志 操作日志(oplog)是一个特殊的集合,用于记录所有对数据库进行的操作(如插入、更新和删除&#x…

Xrdp+内网穿透实现远程访问Linux Kali桌面

XrdpCpolar实现远程访问Linux Kali桌面 文章目录 XrdpCpolar实现远程访问Linux Kali桌面前言1. Kali 安装Xrdp2. 本地远程Kali桌面3. Kali 安装Cpolar 内网穿透4. 配置公网远程地址5. 公网远程Kali桌面连接6. 固定连接公网地址7. 固定地址连接测试 前言 Kali远程桌面的好处在于…

交易机器人-微信群通知

微信公众号:大数据高性能计算 1 背景 背景是基于人工去做交易本身无法做到24小时无时无刻的交易,主要是虚拟币本身它是24小时交易,人无法做到24小时盯盘,其次就是如果你希望通过配置更加复杂的规则甚至需要爬取最新的信息走模型进行量化交易的时候,就需要自己去做一些量化…

5V升压充电 双节锂电管理芯片 升压型双节锂电管理芯片

SC5080是一款5V 输入,支持双节锂电池的升压充电管理 IC 。 。 SC5080集成功率MOS,采用异步开关架构,使其在应用时仅需 要极少的外围器件,可有效减少整体方案尺寸,降低BOM成本 ,可有效减少整体方案尺寸&…

html 菜单点击切换样式,菜单<a> 控制iframe

一.菜单控制iframe&#xff0c;只需要超链接加target <a id"toCalendar" class"nav-link" href"fullCalendar" target"my_iframe"><iframe id"mainContent" src"" name"my_iframe" height&q…

竞赛选题 行人重识别(person reid) - 机器视觉 深度学习 opencv python

文章目录 0 前言1 技术背景2 技术介绍3 重识别技术实现3.1 数据集3.2 Person REID3.2.1 算法原理3.2.2 算法流程图 4 实现效果5 部分代码6 最后 0 前言 &#x1f525; 优质竞赛项目系列&#xff0c;今天要分享的是 &#x1f6a9; 深度学习行人重识别(person reid)系统 该项目…

在vue-cli中快速使用webpack-bundle-analyzer

webpack-bundle-analyzer 是一个可视化资源分析工具&#xff0c;可以直观地分析打包出的文件有哪些&#xff0c;及它们的大小、占比情况、各文件 Gzip压缩后的大小、模块包含关系、依赖项等。 从vue-cli官方的更新记录可以看到&#xff0c;从vue-cli3开始集成report命令 当前环…

Python 基础之线程池入门

Python 基础之线程池入门 代码示例 import threading import time from concurrent.futures import ThreadPoolExecutor# 创建线程池 threadpool ThreadPoolExecutor(max_workers 20)# 具体执行任务的方法 def test(i):print(">>>>>>>>>>…

设计模式-组合模式-笔记

“数据结构”模式 常常有一些组件在内部具有特定的数据结构&#xff0c;如果让客户程序依赖这些特定数据结构&#xff0c;将极大地破坏组件的复用。这时候&#xff0c;将这些特定数据结构封装在内部&#xff0c;在外部提供统一的接口&#xff0c;来实现与特定数据结构无关的访…

什么是tomcat, tomcat该如何使用?(java)

目录 tomcat是什么? 下载安装 tomcat目录结构 启动服务器 部署静态页面 什么是"静态"? 部署单个HTML页面 部署带有CSS / JavaScript / 图片的HTML 部署html到单独的目录中 部署到云服务器 tomcat是什么? tomcat翻译过来为汤姆猫, 但是他可不是猫和老鼠中的…

餐饮品牌的市场不断下沉释放信号,乡镇外卖的发展机会来临

随着越来越多的人开始使用互联网&#xff0c;"小镇经济"迅速兴起&#xff0c;成为消费市场的热点&#xff0c;这是因为小镇人口庞大&#xff0c;消费需求快速增长。 数据表明&#xff0c;在中国消费市场中&#xff0c;下沉市场的消费规模占比高达17万亿元&#xff0…

计算机视觉的基本概念和技术有哪些?

计算机视觉是一种让计算机能够“看”和理解图像和视频的技术。以下是一些基本的计算机视觉的概念和技术&#xff1a; 图像处理&#xff1a;这是计算机视觉的基础&#xff0c;包括图像的基本操作&#xff0c;如滤波、边缘检测、色彩空间转换等。 特征提取&#xff1a;这是从图像…

消息消费过程

前言 本文介绍下Kafka消费过程, 内容涉及消费与消费组, 主题与分区, 位移提交&#xff0c;分区再平衡和消费者拦截器等内容。 消费者与消费组 Kafka将消费者组织为消费组, 消息只会被投递给消费组中的1个消费者。因此, 从不同消费组中的消费者来看, Kafka是多播(Pub/Sub)模式…