珠海 网站设计,深圳开发网站开发费用,全国公示信用信息系统,山西建工网登录1. Polygon zkEVM的Dragon Fruit升级
2023年8月31日#xff0c;Polygon zkEVM团队宣称启动了其Mainnet Beta的Dragon Fruit升级的10天timelock#xff0c;预计将于2023年9月11日激活。
Dragon Fruit升级点有#xff1a;
改进了网络支持了最新的以太坊opcode——PUSH0
1.…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个新特性
1PUSH0最新的以太坊opcodePUSH0已包含在以太坊Shanghai硬分叉中。一旦Dragon Fruit升级完成Polygon zkEVM Mainnet Beta与最新版本的Solidity一致以维护rollup的EVM等价性。更多PUSH0知识见EIP-3855。2RLP解析修复了交易解析的一个非致命错误。
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.0Prover v2.2.0Bridge服务 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.2Prover 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 ProverPolygon zkEVM工具——PIL和CIRCOMPolygon 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编译器——zkasmcomPolygon zkEVM哈希状态机——Keccak-256和PoseidonPolygon zkEVM zkASM语法Polygon zkEVM可验证计算简单状态机示例Polygon zkEVM zkASM 与 以太坊虚拟机opcode 对应集合Polygon zkEVM zkROM代码解析1Polygon zkEVM zkASM中的函数集合Polygon zkEVM zkROM代码解析2Polygon zkEVM zkROM代码解析3Polygon zkEVM公式梳理Polygon zkEVM中的Merkle treePolygon 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.0Polygon zkEVM测试集——创建合约交易Polygon zkEVM中的Recursive STARKsPolygon zkEVM的gas定价Polygon zkEVM zkProver基本设计原则 以及 Storage状态机Polygon zkEVM bridge技术文档Polygon zkEVM Trustless L2 State Management 技术文档Polygon zkEVM中的自定义errorsPolygon 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 DescriptionPolygon zkEVM递归证明技术文档5——附录借助SNARKjs和PIL-STARK实现proof compositioneSTARKPolygon zkEVM的扩展STARK协议——支持lookup、permutation、copy等arguments1eSTARKPolygon zkEVM的扩展STARK协议——支持lookup、permutation、copy等arguments2eSTARKPolygon zkEVM的扩展STARK协议——支持lookup、permutation、copy等arguments3
