读懂Morph:首个响应式有效性证明的以太坊L2

新手3/29/2024, 7:30:55 PM
Morph,一个为消费型应用而生的以太坊 Layer2,旨在为价值驱动的 Dapp 构建生态系统。Morph 计划将现实世界应用程序转移到链上来弥合 Web3 差距,创建一个可扩展且用户友好的 Layer2 解决方案,让日常使用体验变得更好。

Morph protocol

Morph 协议架构主要包括模块化、去中心化排序器网络以及响应式有效性证明,其中响应式有效性证明是 Morph 提出的新验证方法,它结合了欺诈证明和有效性证明的优点。

Morph 的模块化

模块化是描述一种架构设计的术语,其中 Layer1 可分为四个模块:共识、执行、数据可用性、结算。Layer2 也可以分成几种模块。

Morph 有三个重要模块,各个角色各司其职,保证模块无缝运行,每个角色由不同的组件组成。这些底层组件有效地相互协作,同时保留各自的主权。三个模块分别是:负责共识与执行的 Sequencer Network;负责结算的 Optimistic zkEVM;负责数据可用性的 Rollup。

Morph 的 rollup 策略最大限度地提高了效率。一个交易包含多个批次,一个批次包含多个区块。此外,利用 zk-proof 功能,块的内容被压缩,以有效管理 Layer1 数据可用性的成本。

去中心化排序器网络

在传统的 Layer1 中,工作量证明系统中的矿工或权益证明系统中的验证器节点打包和处理交易,矿工和节点有打包、排序和生产区块的权力。

当前许多 Layer2 的设计采用单一角色,不受竞争或质押成本的影响,负责打包和排序所有 Layer2 交易。该角色被称为「排序器」。它的职责不仅限于排序;它还负责生成 L2 块、定期向第 1 层提交第 2 层交易和状态更改,以及解决提交的任何潜在挑战。

中心化排序器对 Layer2 交易的排序和打包具有唯一控制权,这种垄断引起了人们的担忧。并且,中心化排序器会存在单点故障、过度的交易审查、MEV 垄断等问题。

Morph 与其他 Rollup 项目不同,它从一开始就强调建立去中心化的排序器网络,架构设计专注于提高效率和降低成本,Morph 的解决方案保证 Layer2 的快速执行和交易确认,同时尽最大的努力做到去中心化。不仅如此,Morph 还遵循网络可扩展且易于管理的原则,排序器网络的设计优先考虑易于维护、扩展和更新。如果一项网络功能需要维护,则不应干扰其他功能的运行。此外,随着新的、更高效的解决方案的出现,排序器网络应该具有适应性并易于升级。

响应式有效性证明

Optimistic Rollup 项目中使用的欺诈证明机制可以分为两类:非交互式欺诈证明和互动欺诈证明

非交互式欺诈证明是当排序器提交的新状态受到挑战时,L1 执行所有相应的 L2 事务,生成有效状态,与排序器提交的状态进行比较,以确定是否存在欺诈行为。在发生欺诈行为时,非交互式欺诈证明需要 L1 完全重新执行相关批次中的交易,从而导致高昂的 Gas 成本。

互动欺诈证明是为了解决非交互式欺诈证明的问题,引入了多轮交互式欺诈证明。其核心思想是通过排序器和挑战者的多轮交互来确定导致错误的具体指令执行(在 EVM 中,交易执行分为多条 EVM 指令来完成状态转换),然后通过以下方式确认是否存在欺诈:在 L1 上执行相应的指令。这种方法的好处是 L1 只需要执行微小的操作,从而大大降低了计算成本。同时,由于 L1 的执行被细化到 EVM 指令级别,L1 和 L2 结果不一致的问题将显着减少。但是问题也很明显。从上面的描述可以看出,交互式防欺诈的逻辑比非交互式的复杂得多,这意味着实施难度较高,并且有较长的挑战周期(需要预留足够的时间以保证能够完成所有复杂的交互)。

以上两种证明方式都存在不小的缺点,Morph 提出了一种新验证方法:响应式有效性证明。它将 Optimistic Rollup 与 Validity Proof 结合起来,并利用 ZK-Proof 来验证状态的正确性。

响应式有效性证明的优势是可以缩短挑战期,将挑战周期从 7 天缩短到 1-3 天。不仅如此,它还能大大降低 L2 提交成本,基于有效性证明,L2 不需要包含大部分交易字节。对挑战者更加友好。除了基本的 L2 状态维护和识别之外,只需要承担触发挑战的责任,排序器需要证明自己是正确的(通过生成和验证相应的 ZK-proof)。

项目路线图

项目在 2024 年按季度分成四个路线,在第一季度启动测试网 Sepolia,第二季度启动测试网 Holesky 并进行 EIP-4844 集成、zkEVM 升级,第三季度上线主网,第四季度进行主网更新,目前进行到第二个路线。

融资背景

据 BlockBeats 消息,3 月 20 日,以太坊 L2 Morph 宣布完成 1900 万美元种子轮融资,Dragonfly Capital 领投,Pantera Capital、Foresight Ventures、The Spartan Group、MEXC Ventures、Symbolic Capital、Public Works、MH Ventures 和 Everyrealm 共同参投。

此外,Morph 还获得 100 万美元天使轮融资,投资者包括来自 Polygon、Manta、Galxe、Sei、Nansen、Story Protocol 等项目的创始人,以及 Icebergy、MoonOverlord、NaniXBT、Dingaling 等 KOL。Morph 计划将本轮融资用于加快团队建设、提高开发者激励、扩大市场营销等。

声明:

  1. 本文转载自[theblockbeats],原文标题“读懂Morph:首个响应式有效性证明的以太坊L2”,著作权归属原作者[Frost、Jack],如对转载有异议,请联系Gate Learn团队 ,团队会根据相关流程尽速处理。

  2. 免责声明:本文所表达的观点和意见仅代表作者个人观点,不构成任何投资建议。

  3. 文章其他语言版本由Gate Learn团队翻译, 在未提及Gate.io的情况下不得复制、传播或抄袭经翻译文章。

读懂Morph:首个响应式有效性证明的以太坊L2

新手3/29/2024, 7:30:55 PM
Morph,一个为消费型应用而生的以太坊 Layer2,旨在为价值驱动的 Dapp 构建生态系统。Morph 计划将现实世界应用程序转移到链上来弥合 Web3 差距,创建一个可扩展且用户友好的 Layer2 解决方案,让日常使用体验变得更好。

Morph protocol

Morph 协议架构主要包括模块化、去中心化排序器网络以及响应式有效性证明,其中响应式有效性证明是 Morph 提出的新验证方法,它结合了欺诈证明和有效性证明的优点。

Morph 的模块化

模块化是描述一种架构设计的术语,其中 Layer1 可分为四个模块:共识、执行、数据可用性、结算。Layer2 也可以分成几种模块。

Morph 有三个重要模块,各个角色各司其职,保证模块无缝运行,每个角色由不同的组件组成。这些底层组件有效地相互协作,同时保留各自的主权。三个模块分别是:负责共识与执行的 Sequencer Network;负责结算的 Optimistic zkEVM;负责数据可用性的 Rollup。

Morph 的 rollup 策略最大限度地提高了效率。一个交易包含多个批次,一个批次包含多个区块。此外,利用 zk-proof 功能,块的内容被压缩,以有效管理 Layer1 数据可用性的成本。

去中心化排序器网络

在传统的 Layer1 中,工作量证明系统中的矿工或权益证明系统中的验证器节点打包和处理交易,矿工和节点有打包、排序和生产区块的权力。

当前许多 Layer2 的设计采用单一角色,不受竞争或质押成本的影响,负责打包和排序所有 Layer2 交易。该角色被称为「排序器」。它的职责不仅限于排序;它还负责生成 L2 块、定期向第 1 层提交第 2 层交易和状态更改,以及解决提交的任何潜在挑战。

中心化排序器对 Layer2 交易的排序和打包具有唯一控制权,这种垄断引起了人们的担忧。并且,中心化排序器会存在单点故障、过度的交易审查、MEV 垄断等问题。

Morph 与其他 Rollup 项目不同,它从一开始就强调建立去中心化的排序器网络,架构设计专注于提高效率和降低成本,Morph 的解决方案保证 Layer2 的快速执行和交易确认,同时尽最大的努力做到去中心化。不仅如此,Morph 还遵循网络可扩展且易于管理的原则,排序器网络的设计优先考虑易于维护、扩展和更新。如果一项网络功能需要维护,则不应干扰其他功能的运行。此外,随着新的、更高效的解决方案的出现,排序器网络应该具有适应性并易于升级。

响应式有效性证明

Optimistic Rollup 项目中使用的欺诈证明机制可以分为两类:非交互式欺诈证明和互动欺诈证明

非交互式欺诈证明是当排序器提交的新状态受到挑战时,L1 执行所有相应的 L2 事务,生成有效状态,与排序器提交的状态进行比较,以确定是否存在欺诈行为。在发生欺诈行为时,非交互式欺诈证明需要 L1 完全重新执行相关批次中的交易,从而导致高昂的 Gas 成本。

互动欺诈证明是为了解决非交互式欺诈证明的问题,引入了多轮交互式欺诈证明。其核心思想是通过排序器和挑战者的多轮交互来确定导致错误的具体指令执行(在 EVM 中,交易执行分为多条 EVM 指令来完成状态转换),然后通过以下方式确认是否存在欺诈:在 L1 上执行相应的指令。这种方法的好处是 L1 只需要执行微小的操作,从而大大降低了计算成本。同时,由于 L1 的执行被细化到 EVM 指令级别,L1 和 L2 结果不一致的问题将显着减少。但是问题也很明显。从上面的描述可以看出,交互式防欺诈的逻辑比非交互式的复杂得多,这意味着实施难度较高,并且有较长的挑战周期(需要预留足够的时间以保证能够完成所有复杂的交互)。

以上两种证明方式都存在不小的缺点,Morph 提出了一种新验证方法:响应式有效性证明。它将 Optimistic Rollup 与 Validity Proof 结合起来,并利用 ZK-Proof 来验证状态的正确性。

响应式有效性证明的优势是可以缩短挑战期,将挑战周期从 7 天缩短到 1-3 天。不仅如此,它还能大大降低 L2 提交成本,基于有效性证明,L2 不需要包含大部分交易字节。对挑战者更加友好。除了基本的 L2 状态维护和识别之外,只需要承担触发挑战的责任,排序器需要证明自己是正确的(通过生成和验证相应的 ZK-proof)。

项目路线图

项目在 2024 年按季度分成四个路线,在第一季度启动测试网 Sepolia,第二季度启动测试网 Holesky 并进行 EIP-4844 集成、zkEVM 升级,第三季度上线主网,第四季度进行主网更新,目前进行到第二个路线。

融资背景

据 BlockBeats 消息,3 月 20 日,以太坊 L2 Morph 宣布完成 1900 万美元种子轮融资,Dragonfly Capital 领投,Pantera Capital、Foresight Ventures、The Spartan Group、MEXC Ventures、Symbolic Capital、Public Works、MH Ventures 和 Everyrealm 共同参投。

此外,Morph 还获得 100 万美元天使轮融资,投资者包括来自 Polygon、Manta、Galxe、Sei、Nansen、Story Protocol 等项目的创始人,以及 Icebergy、MoonOverlord、NaniXBT、Dingaling 等 KOL。Morph 计划将本轮融资用于加快团队建设、提高开发者激励、扩大市场营销等。

声明:

  1. 本文转载自[theblockbeats],原文标题“读懂Morph:首个响应式有效性证明的以太坊L2”,著作权归属原作者[Frost、Jack],如对转载有异议,请联系Gate Learn团队 ,团队会根据相关流程尽速处理。

  2. 免责声明:本文所表达的观点和意见仅代表作者个人观点,不构成任何投资建议。

  3. 文章其他语言版本由Gate Learn团队翻译, 在未提及Gate.io的情况下不得复制、传播或抄袭经翻译文章。

即刻开始交易
注册并交易即可获得
$100
和价值
$5500
理财体验金奖励!