讀懂Morph：首個響應式有效性證明的以太坊L2
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 計劃將本輪融資用於加快團隊建設、提高開發者激勵、擴大市場營銷等。
聲明：
本文轉載自[theblockbeats]，原文標題“讀懂Morph：首個響應式有效性證明的以太坊L2”，著作權歸屬原作者[Frost、Jack]，如對轉載有異議，請聯系Gate Learn團隊 ，團隊會根據相關流程盡速處理。
免責聲明：本文所表達的觀點和意見僅代表作者個人觀點，不構成任何投資建議。
文章其他語言版本由Gate Learn團隊翻譯， 在未提及Gate.io的情況下不得復制、傳播或抄襲經翻譯文章。
Compartir
Artículos relacionados
什麼是穩定幣 USDT？
讀懂Morph：首個響應式有效性證明的以太坊L2
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 計劃將本輪融資用於加快團隊建設、提高開發者激勵、擴大市場營銷等。
聲明：
本文轉載自[theblockbeats]，原文標題“讀懂Morph：首個響應式有效性證明的以太坊L2”，著作權歸屬原作者[Frost、Jack]，如對轉載有異議，請聯系Gate Learn團隊 ，團隊會根據相關流程盡速處理。
免責聲明：本文所表達的觀點和意見僅代表作者個人觀點，不構成任何投資建議。
文章其他語言版本由Gate Learn團隊翻譯， 在未提及Gate.io的情況下不得復制、傳播或抄襲經翻譯文章。
Artículos relacionados