menu-icon
anue logo
鉅樂部鉅亨號鉅亨買幣
search icon
區塊鏈

讀懂Morph:首個響應式有效性證明的以太坊L2

BlockBeats 律動財經 2024-03-21 17:00

cover image of news article
律動財經圖片

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 計劃將本輪融資用於加快團隊建設、提高開發者激勵、擴大市場營銷等。

原文連結

暢行幣圈交易全攻略,專家駐群實戰交流

▌立即加入鉅亨買幣實戰交流 LINE 社群(點此入群
不管是新手發問,還是老手交流,只要你想參與虛擬貨幣現貨交易、合約跟單、合約網格、量化交易、理財產品的投資,都歡迎入群討論學習!

前往鉅亨買幣找交易所優惠






Empty