1. 引言
Dencun 升级引入了L2新资源,并降低了与calldata相关的交易手续费。
本文要点为:
- EIP-4844 引入了 blobspace —— 一种用于高效管理大型二进制对象 (large binary objects,BLOB) 的数据库存储概念。
- Blobs 将降低rollups的交易成本,因为数据 Blobs 无需在以太坊上永久存储,使得其per-byte basis更便宜。
- 对于 Polygon zkEVM,每笔交易手续费的大约 80% 用于在以太坊上提供交易数据。 EIP-4844 预计会将这部分交易手续费减少 2 倍 - 5 倍
- Polygon zkEVM 的 Feijoa 升级将包含对 EIP-4844 的支持,预计于 2024年5 月上线。
- 对于在 validium 模式下使用 Polygon CDK 构建的链,交易手续费已经很低; Polygon PoS(还)不是 ZK 支持的 L2,因此 EIP-4844 不会影响该协议。
2024年3月14日,Dencun升级将在以太坊主网上线。 Dencun 包含 6 个与以太坊执行逻辑相关的 EIP。其中最重要的是EIP-4844——其引入了专用于L2的特殊资源——Blobspace,可降低交易交易手续费。
EIP-4844 究竟会降低多少交易手续费尚不清楚,但目前的估计是 2 到 5 倍。
这对于多边形缩放工具和协议意味着什么。但首先,简要介绍一下 blob 以及它们与 calldata 的比较。
本文将介绍:
- 何为blobs?blobs与calldata对比
- EIP-4844对Polygon生态影响
2. 何为blobs?
Blobspace 是数据库系统中经常使用的存储管理概念,用于高效存储和管理大型对象,如二进制大型对象 (BLOB)。这些对象可包括:多媒体文件、文档和需要大量存储空间的其他类型的数据。 Blobspace 有助于将这些大型元素与常规数据库操作分开处理,从而提高性能和管理。
Blobs 将为当前的数据存储资源 calldata 提供一种低成本替代方案。 calldata 和 blob 都是持久内存的形式。但是,calldata 需要永久存储,而 blob 仅存储 18 天。这为节点提供了足够的时间,以确保在出现活性问题时交易数据可用,同时还消除了 calldata 对网络造成的存储负担。
3. Polygon Type 1 zkEVM prover
2024年2月发布的Polygon Type 1 zkEVM prover 保留了以太坊的所有执行逻辑。坎昆升级中的所有功能均已针对 Type 1 zkEVM prover进行开发,预计代码将及时完成并在2024年3月中旬推出。
在其他五个与执行逻辑相关的 EIP 中,Type 1 zkEVM prover将包含对其中四个EIP的支持,其中 EIP-2537 除外。 EIP-2537 验证了 KZG 的承诺,目前暂时将这些值作为公共输入。
Type 1 zkEVM prover与围绕其构建的rollup基础设施不同。也就是说,无法对 EIP-4844 带来的成本降低进行评估。
4. Polygon zkEVM
当对 EIP-4844 的支持上线时,Polygon zkEVM手续费开销,预计会减少 2-5 倍,原因如下:
- 当用户在 Polygon zkEVM 上发送交易时,交易手续费涵盖两件事的成本:
- 1)执行交易所需的L2网络资源;和
- 2)让交易数据可用的 L1 网络资源。
其中,“让交易数据可用的 L1 网络资源”是昂贵的。在 Polygon zkEVM 上,calldata 约占交易手续费的 80%。在加入对 EIP-4844 的支持后,假设现在Polygon zkEVM 的交易手续费为1美元,则减少 2 至 5 倍,将降至 0.60 至 0.36 美元。
跟多 Polygon zkEVM 交易手续费详情,参看:Polygon zkEVM: Effective Gas Price Live on Mainnet Beta。
calldata 和 blob 之间的一个重要区别是:
- calldata 可按照需要的确切数量使用。
- blobs 必须整个购买。
因此,当有足够的交易来填充 该blob 时,blob 总是比 calldata 便宜。 就 Polygon zkEVM 而言,这意味着有时将交易数据作为 calldata 发布会更便宜。
在Polygon zkEVM Feijoa升级中,将添加对EIP-4844的支持。Feijoa 继2024年2月月的 Elderberry 升级之后,预计将于 4 月份在测试网上上线。 按照 Polygon zkEVM 升级的 10 天时间锁标准,EIP-4844 预计将于 5 月 1 日左右在主网上线。
5. Polygon CDK
对于在 validium 模式下使用 Polygon CDK 构建的项目,交易手续费已经更便宜。
即使使用 EIP-4844 进行rollups,用于 validiums 的第三方 DA 解决方案也将提供更低的交易手续费。预计2024年底,当 Polygon CDK 确实包含对 EIP-4844 的支持时,那些已经很低的手续费预计将进一步下降。
6. Polygon PoS
只有rollups将受益于 EIP-4844,且选择用于 Polygon PoS 的扩容技术是为了尽可能降低交易手续费。然而,去年开始与 Polygon 社区的讨论将使网络升级到 zkEVM validium。升级的具体技术规范后续将公布。
参考资料
[1] Polygon Labs 2024年3月7日博客 What EIP-4844 Will Mean for Polygon
附录: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)
- Polygon zkEVM的Dragon Fruit和Inca Berry升级
- Polygon zkEVM协议治理、升级及其流程
- Polygon zkEVM 节点软件release日志
- Polygon zkEVM bridge服务 release日志
- Polygon zkEVM DataStreamer
- Polygon zkEVM Goldilocks域各项运算性能
- Polygon zkEVM Hexens审计报告解读
- Polygon zkEVM Spearbit审计报告解读(2022年12月版本)
- Polygon zkEVM Spearbit审计报告解读(2023年1月版本)
- Polygon zkEVM Spearbit审计报告解读(2023年3月版本)
- Polygon zkEVM ROM Spearbit审计报告解读(2023年6月Dragon Fruit升级版本)
- Polygon zkEVM ROM Spearbit审计报告解读(2023年8月calldata bug修复)
- Polygon zkEVM PIL-STARK Spearbit审计报告解读(2023年3月版)
- Polygon zkEVM PIL-STARK Spearbit审计报告解读(2023年6月版)
- Polygon zkEVM 合约 Spearbit审计报告解读(2023年3月版)
- Polygon zkEVM的Etrog和Elderberry升级
- Polygon zkEVM 2024年3月22日网络宕机事故报告