在采用 SNARK 的 ZK-EVM 中,Morph 率先提出 EIP-4844 适配方案。

作者:Karen,Foresight News

坎昆升级圆满落地,此次升级不仅仅是一次技术层面的革新,更是以太坊网络迈向更高可扩展性、更低 Layer2 成本的关键一跃。

在本次升级中,EIP-4844(Proto-Danksharding)无疑是最为引人注目的核心组成部分。EIP-4844 最大的变化是引入 Blob-carrying 交易类型,用于替代 calldata。这使得 Layer2 网络能够将所有数据发布到 Blobspace,而 Blob 由共识层的节点存储,并且不需要永久存储,确保数据在一定时间内可用,而可用时间为 4096 个 epoch,即大约 18 天。这样一来,可扩展性大幅提升,Gas 成本也会得到非常明显的降低。

坎昆升级后,主流 L2 开始相继适配 EIP-4844,Gas 费用也迎来非常明显的下降。例如,Starknet、Base、Optimism、Zora 在升级后的中位数 Gas 费用均比升级前 30 天下降了 96% 以上,Arbitrum 和 zkSync 上的 Gas 费用也分别下降了 77% 和 55%。根据 Blobscan 数据,当前已有超 4 万个 Blob,总共节省了 93.69% 的交易费用。

坎昆升级前后中位数 Gas 费用对比,来源:Dune

L2 Gas 费用的显著下降势必能够吸引更多用户和开发者的青睐和采用。在此背景下,作为采用 SNARK 的 ZK-EVM 里最早提出详细 EIP-4844 适配方案的 L2 Morph 值得重点关注。在展开 Morph 适配方案和特点之前,我们先来看看主流 L2 如何适配 EIP-4844?

主流 L2 如何适配 EIP-4844?

从适配方式来看,L2 为了适配 EIP-4844,大体需要在批次提交、检索 blob 数据并验证 L2 状态转换的 Verifier、在 L1 上验证 L2 状态转换的 L1 证明方面进行更改。

具体来看,Arbitrum 通过 Arb OS20 升级来实施坎昆升级的 EIP 更改,其中,EIP-4844 适配方面,从开始的交易提交到欺诈证明,再到 blob 数据解析都需要执行适配,包括更新排序器 Inbox 合约(以支持以 blob 形式发布交易)、更新 Nitro 的欺诈证明器以支持证明 KZG 和 SHA256 映射,以及更新核心 Nitro 节点软件来处理来自 EIP-4844 blob 的数据解析。

同为 Optimistic Rollup 的 Optimism 通过支持 Blob DA L1 数据检索阶段来实现 Blob 数据可用性,要求 OP 链运营商升级其链并为 Ecotone 配置排序器。目前 Optimism 主网还未上线欺诈证明,近日已在测试网上上线欺诈证明,而且 OP Stack 链的 EIP 方案目前并未涵盖欺诈证明相关验证,仅是对现有 L1 存储方式的优化。

Starknet 作为 ZK Rollup 使用有效性证明 STARK(零知识可扩展透明知识论证)来证明计算已正确执行。在适配 EIP-4844 时,Starknet 的状态转换按特定格式进行编码,并通过 FFT(快速傅里叶变换算法)计算状态转换,此外,还涉及一个逆向过程,涉及逆向 FFT 和根据其状态转换格式进行解码。另一 ZK Rollup zkSync 通过过渡到基于 STARK 的证明系统「Boojum」,来实现 ZK 电路升级。

需要注意的是,尽管 ZK-SNARK(零知识简洁非交互式知识论证)证明在链上具有更高的可扩展性和效率,但由于 EIP-4844 使用 BLS12-381 曲线来表示 KZG 承诺,而以太坊目前仅支持 BN254 曲线的预编译,因此使用 SNARK 的 Rollup 在适配 EIP-4844 时面临一定的复杂性。也因此,调整 ZK 电路设计来适应相关曲线等效就成为亟待解决的事项。

尽管目前还没有看到采用 SNARK 的 Rollup 实现适配 EIP-4844,但 Morph 率先提出了一种在 EIP-4844 提案下实用且高效的电路设计方案,以解决在应用过程中遇到的一系列问题,特别是交易数据编码和 Blob 空间利用率的问题。

Morph 提出高效且实用的 EIP-4844 适配与聚合证明集成方案

在兼容 EIP-4844 方面,Morph 将基于以太坊的 DA 方案、响应式有效性证明、聚合 ZK 证明方案充分与 EIP-4844 兼容和适配,从而降低交易成本、增强交易吞吐量,并兼顾安全性和兼容性。

首先是 Blob 数据编码,Morph 将 Batch length 切分成多个 Chunk length 存入每个 chunk 分片中的 Blob 元素中。Morph 使用 KZG 承诺计算 Blob 数据的承诺,并使用相应的验证方法验证承诺的正确性,这确保了 Blob 数据的完整性和可验证性。其次是 Blob 多项式求值验证,Morph 使用电路证明验证 Blob 数据对应的多项式在特定挑战点上的取值,这个验证过程确保了数据的正确性和一致性。

而针对交易数据长度不固定的问题,Morph 采用了补 0 的策略。在一个 Chunk 中,如果交易数据的长度不是 32bytes 的整数倍,Morph 会在其后补 0,以确保编码后的有限域元素个数为整数个。这样做的好处是可以增强后续的数据聚合过程。

对于交易数据可能分布在两个 Blob 中的问题,Morph 设定了一个规则,即一个交易的数据不会跨越两个 Blob 进行存储。这种设计确保了交易的完整性和独立性,避免了因数据分割而导致的复杂性和潜在的安全风险。同时,为了优化多个 Blob 的处理效率,Morph 采用了 KZG 承诺的多点打开方式。这种方式允许在验证过程中同时处理多个 Blob,提高了验证效率。

最后,针对 Blob 空间利用率不高的问题,即,一个 Batch 或者 chunk 数据编码后可能不足 4096 个有限域元素,Morph 提出了新的聚合方案。在这个方案中,原本用于存放 batch 长度信息的前五位中的四位被修改为存放分片 chunk 的长度信息。这种修改使得每个分片都能独立地记录其 chunk 的长度,从而提高了空间的利用率。

通过集成这些设计和解决方案,Morph 提供高效的数据编码和验证方法,并通过创新的聚合证明方案,能够实现更高的空间利用率和验证效率,并进一步降低 Gas 消耗。

Morph 的 Optimistic ZK Rollup + EIP-4844 适配——兼顾可扩展性、低成本和高性能

着重要提一下,Morph 还通过结合 Optimistic Rollup 和 ZK Rollup 技术的优势,开发了独特的 Optimistic ZK Rollup,不需要对每个 Batch 都生成 ZKP,从而在可扩展性、低成本和高性能之间找到了平衡。

此外,Morph 采用的 ZK-SNARK(零知识简洁非交互式知识论证)依赖可信设置,生成的证明的字节数更小,所以在链上更具可扩展性和简洁高效。

更为重要的是,Morph 采用了灵活的模块化架构,使其能够快速适应新标准。这使得 Morph 能够高效地集成 EIP-4844,并减少实现降低 DA 成本和提高交易效率所需的时间和精力。相比之下,普通的 Rollup 需要进行主网硬分叉或合约代理升级,并进行广泛的测试阶段才能实现与现有系统的无缝交互。

如前所述,Morph 的 EIP-4844 适配方案在降低 Gas 消耗、兼容性、提高 Blob 空间利用率和高效验证等方面具有优势,此外,Morph 聚合证明集成通过 Batch 切分和修改为 chunk 长度信息的措施,来降低证明的数量并减少验证的次数,从而更大程度地降低链上 Gas 消耗。该方案的实用性、高效性和优化的电路设计使其成为一个有吸引力的选择,也有望推动以太坊生态系统的发展。

Morph 进展和未来之路

Morph,作为定位于消费级的 Layer2 平台,注重在安全、高效、可扩展性和低成本等方面打磨和优化。与大多数 L2 不同的是,Morph 更致力于支持多样化的日常消费 DApp 构建。这种多样化的定位使得 Morph 能够满足更广泛的用户需求。

在当下 L2 生态百家争鸣的发展趋势中,作为消费级 L2 的 Morph 正凭借着独特的 Optimistic ZK Rollup 脱颖而出,可以兼享 Optimistic 和 ZK Rollup 两大主流扩容方案的优势,像 Optimistic Rollup 一样便宜,并通过采用 ZK-SNARK 简洁非交互式验证在成本、效率和可扩展性方面具备显著优势。卓越的可扩展性确保了 Morph 能够支撑未来各种高并发应用场景的需求,使得 Morph 能够更快速、更低成本、更容易地被开发者和用户采用。

在技术方面,Morph 继续展现出创新性和前瞻性,除如前所述的 Optimistic ZK Rollup 之外,Morph 还通过引入去中心化排序器,消除单点故障影响,维护网络安全和稳定。其响应式有效性证明(RVP)系统和模块化设计亦是其亮点所在,提供了高效灵活的扩展性,也为更复杂和数据密集型的应用程序创造了更好的环境,从而吸引更广泛的用户群。

本月,Morph 还宣布完成 1900 万美元种子轮融资和 100 万美元天使轮融资,其中,种子轮由 Dragonfly Capital 领投,Pantera Capital、Foresight Ventures、The Spartan Group、MEXC Ventures 等参投,天使轮的投资者包括来自 Polygon、Manta、Galxe、Sei、Nansen、Story Protocol 等项目的创始人,以及 Icebergy、MoonOverlord、NaniXBT、Dingaling 等 KOL。

Morph 上一轮融资可追溯到去年 12 月份,获得了来自加密货币交易平台 Bitget 的数百万美元初始投资。Morph 还将利用 Bitget 现有的用户生态和资源,共同开发建设以用户为导向的公链生态。

两个月前,Morph 已经在 Sepolia 上推出公共测试网。由于 Morph 100% 与 EVM 兼容,因此以太坊开发者可以在熟悉的开发环境中部署合约和开发 DApp。用户也可以进行交互,或者在 Morph 测试网和 Sepolia 测试网之间跨链 Sepolia ETH 和 ERC-20 代币。此外,由于 Morph 上节点无需许可的特性,任何用户都可以启动自己的节点,进一步降低了参与门槛。

截止撰稿时,Morph 测试网已吸引近 29 万个钱包的参与,总交易笔数超过 68 万。Morph 计划率先于 4 月底在 Holesky 测试网集成 EIP-4844,今年第三季度发布主网并全面集成 EIP-4844。

总的来说,L2 是坎昆升级的最大受益方,毕竟,可扩展性和低成本向来是吸引开发者和用户的关键因素。我们有理由相信,随着 EIP-4844 的深入落地,L2 生态将呈现出百花齐放的繁荣景象。当然,L2 所肩负的使命,不仅是给以太坊生态带来更多流量和增长,更要在吞吐量、可用性、用户体验等多个层面力求突破。而在采用 SNARK 的 ZK-EVM 中,最早提出 EIP-4844 详细适配方案的 Morph 能否充分借力坎昆升级的红利,持续革新,我们拭目以待。

参考:

1、《Morph:EIP-4844 zkEVM 与聚合证明集成解决方案

2、《Foresight Ventures : 坎昆升级来临,哪些 L2 做了适配?

3、https://docs.arbitrum.io/node-running/reference/arbos-software-releases/arbos20

4、https://medium.com/offchainlabs/arbos-20-atlas-da106378326b

5、https://specs.optimism.io/protocol/derivation.html#ecotone-blob-retrieval

6、https://medium.com/@tommy_chan/eip-4844-proto-danksharding-using-kzg-commitment-what-it-does-and-how-does-it-really-work-35201987b24c

7、https://zksync.mirror.xyz/HJ2Pj45EJkRdt5Pau-ZXwkV2ctPx8qFL19STM5jdYhc

免责声明:作为区块链信息平台,本站所发布文章仅代表作者及嘉宾个人观点,与 Web3Caff 立场无关。文章内的信息仅供参考,均不构成任何投资建议及要约,并请您遵守所在国家或地区的相关法律法规。