作者:YBB Capital Researcher Ac-Core;編譯:區塊律動
Eclipse 創辦人Neel Somani 曾在Airbnb 擔任軟體工程師及在Citadel 擔任定量研究員,於2022 年創立了基於Solana 的新創公司Eclipse,並獲得Solana 聯創Anatoly Yakovenko 和Polygon 等人/機構的支持(為Solana 與Polygon建構相容的Rollup 區塊鏈)。
根據CoinDesk 2022 年9 月28 日報,Eclipse 成功完成了由Polychain 領投的600 萬美元的Pre-Seed 輪融資和由Tribe Capital、Tabiya 共同領投的900 萬美元種子輪融資,總融資額為1500萬美元。此外Eclipse 還獲得了來自Solana 基金會的開發贈款,以支持Solana Virtual Machine 驅動的Rollup。
Eclipse 創辦人Somani 運用自己的人脈和靠近Solana 芝加哥總部的地理優勢,成功利用Solana 的虛擬機器創造了一個獨特的鏈。其願景是讓開發人員能夠部署由Solana 虛擬機器驅動的Rollup,並計劃於2023 年初在Cosmos 生態系統上推出公共測試網絡,以及打算在未來支援Aptos 的Move 語言。
Solana 聯創兼Eclipse 天使投資人Anatoly Yakovenko 評論道:”Eclipse 為Solana 透過區塊鏈間通訊(IBC) 與Cosmos 通訊鋪平了道路。”
Polychain Capital 合夥人Niraj Pant 評論道:”隨著大型企業和政府開始進入區塊鏈領域,Eclipse 是促進其使用案例(如Web2 規模的消費者和金融應用)的重要基礎設施。」
Eclipse 架構
以下內容根據官方解釋,Eclipse Mainnet 為以太坊首個圍繞SVM 建設的通用L2,它結合了模組化堆疊的精華部分,目標成為由SVM 驅動的以太坊最快且通用的Layer2。專案架構是將以太坊作為結算層,並用於官方的嵌入式驗證橋;Celestia 作為資料可用性層;RISC Zero 則用於產生零知識詐欺證明;最終將Solana 的SVM 作為整體執行的模組化Layer2 專案。下文將依官方解釋具體說明。
結算層—以太坊: Eclipse 將結算到以太坊(即在以太坊上的嵌入式驗證橋),並使用ETH 作為其Gas 消耗,且欺詐證明也將在以太坊上提交;
執行層—Solana 虛擬機器(SVM) :Eclipse 將運行高效能的SVM 作為其執行環境,即Solana Labs 用戶端(v1.17)的分叉;
資料可用性層—Celestia:Eclipse 將把資料發佈到Celestia 實現可擴展的資料可用性(DA);
證明機制—RISC Zero : Eclipse 將使用RISC Zero 進行ZK 詐欺證明(無需中間狀態序列化);
通訊協定—IBC:透過Cosmos 的鏈間通訊標準IBC 完成與非Eclipse 鏈橋接;
跨鏈協定—Hyperlane:Eclipse 和Hyperlane 合作,將Hyperlane 的無權限互通性解決方案引入基於Solana 虛擬機器(SVM)的區塊鏈。
圖源:Eclipse 官方
結算層:取得以太坊的安全性與流動性
Eclipse 與其它以太坊Rollup 一樣使用以太坊作為結算層,這個過程需將Eclipse 在以太坊上的驗證橋直接納入Eclipse 中,其節點需要檢測驗證橋的正確性和正確交易排序,以此讓用戶獲得以太坊等級的安全性。
L2BEAT 將Layer2 定義為「完全或部分從以太坊第一層獲取其安全性的鏈,以便用戶不必依賴Layer2 驗證者們的誠信來保障資金的安全性」。 Eclipse 驗證橋可在某些故障情況下執行最終的有效性和抗審查性,即使排序器宕機或在L2 開始審查,用戶也能透過橋樑來強製完成他們的交易,並使用以太坊作為交易Gas進行燃燒。
執行層:取得Solana 的交易速度與規模效應
為了提升效率,Eclipse Mainnet 採用了Solana 的執行環境,採用SVM 和Sealevel (Solana 用來建構橫向擴展的技術方案,超並行化事務處理引擎用於跨GPU 和SSD 進行水平擴展),這與EVM 單執行緒的運作相比,其優勢在於可在不設計重疊狀態事務的情況下執行,而不是依序執行。
關於EVM 相容性問題,Eclipse Mainnet 與Neon EVM 合作讓開發人員可以利用以太坊工具並在Solana 上構建Web3 應用程序,據官方數據,其吞吐量比單線程EVM 更大可達140TPS 水平。 EVM 用戶則透過MetaMask 錢包的”Snaps “插件在Eclipse Mainnet 中與應用程式進行原生互動。
資料可用性:採用Celestia 的頻寬和可驗證性質
Ecilpse Mainnet 將利用Celestia 實現數據可用性並達成長期合作關係,原因是以太坊目前無法支出Ecilpse 的目標吞吐量和費用,即使在EIP-4844 升級後,可為每個區塊提供平均約0.375 MB 的Blobs 空間(每個區塊的限制約為0.75 MB)。
根據官方數據,採用基於Rollup 擴容的ERC-20 交易,以每筆交易154 位元組計算,相當於所有Rollup 的總和約213TPS,而對於Compression Swap 按每筆交易約400 位元組計算,所有Rollup 的TPS約為82TPS。相較於Celestia 推出的2MB 區塊,在網路證明穩定且更多DAS(相關擴展解釋見下文)輕節點上下後,Blobstream 預計將增加至8MB。
Ecilpse 認為,在Celestia 的DAS 輕節點支援下,出於考慮加密經濟的安全性和高度可擴展的DA 吞吐量之間的權衡,Celestia 成為了當下Eclipse Mainnet 的不二之選。即使目前存在使用以太坊DA 才是正統Layer2 的觀點,但專案方仍會持續關注EIP-4844 之後在DA 擴展方面的進展,如果以太坊能為Eclipse 提供更大規模和高吞吐量的DA,將重新評估遷移至以太坊DA 的可能性。
證明機制:RISC Zero 詐欺證明(無中間狀態序列化)
Eclipse 的證明方法類似於Anatoly 的SVM 詐欺證明SIMD(詳見GitHub 擴展連結2),這與John Adler 的見解相符,即避免狀態序列化的高昂成本。所以為避免重新將默克爾樹(雜湊樹)引入到SVM 中,早期項目方嘗試在SVM 中插入Sparse Merkle Tree,但每次交易更新默克爾樹都會對效能造成巨大影響。如果不使用梅克爾樹進行證明,現有的通用Rollup 框架(如OP 堆疊)就無法作為SVM Rollup 的基礎,這就需要更具創造性的故障證明架構。
故障證明要求:交易的輸入承諾、交易本身以及證明重新執行交易會導致與鏈上指定的輸出不同。
輸入承諾通常是提供Rollup 狀態樹的Merkle 根來實現的,Eclipsse 的執行器會發布每個事務的輸入和輸出(包括帳戶雜湊值和相關全域狀態)列表,以及產生每個輸入的事務索引,並將交易發佈到Celestia,讓任何完整節點都可以跟進,從自己的狀態中提取輸入帳戶,計算輸出帳戶,並確認以太坊上的承諾是正確的。
這裡也會存在兩種可能的重大錯誤類型:
不正確的輸出:驗證者提供正確輸出鏈上的ZK 證明。 Eclipse 使用RISC Zero 來建立SVM 執行的ZK 證明,這延續了專案方先前證明BPF 字節碼執行的工作(詳見GitHub 擴充連結3)。這使得我們的結算合約可以在不必在鏈上運行交易的情況下確保正確性。
不正確的輸入:驗證者在鏈上發布歷史數據,顯示輸入狀態與宣稱的不符。則利用Celestia 的量子重力橋(Quantum Gravity Bridge)讓Eclipse 結算合約核實歷史數據存在欺詐行為。
Eclipse 與ETH 和Celestia 的連接
圖源:@jon_charb
DA 是Rollup 成本支出的主要部分之一,目前以太坊L2 的資料可用性主要有兩種方法,Calldata 和DAC(Data Availability Committees)。
Calldata:例如Arbitrum 或Optimism 等Layer2 方案直接在鏈上將交易資料作為calldata 發佈到以太坊高度抗審查的區塊中。以太坊將調用資料與運算和儲存統一定價在一個單位下:Gas,這也是Rollup 向以太坊支出的主要成本之一。為提升效率EIP-4844 升級引入了Blobspace 來取代calldata,以此為所有Rollup 提供了每個區塊375 KB 的目標值;
DAC:與直接在鏈上發布calldata 相比,DAC 的吞吐量要高得多,但用戶需要信任一個小型委員會或驗證者小組,以避免惡意扣留資料。也包括再質押解決方案(Restaking-based solutions)在內的DACs 對L2s 引入了重大的信任假設,從而迫使DAC 依靠聲譽、治理機製或代幣投票來抑製或懲罰隱瞞數據的行為,所以一定程度上講使用外部DA 時需要用到DAC。
需補充說明的是,在Eclipse 中使用Celestia 了Blobstream 權益證明共識網絡,以允許Layer2 訪問Celestia 的Blobspace,達到根據壓縮方案8 MB blobspace 這大致相當於每秒9,000 到30,000 個ERC-20 傳輸。但過程中使用Blobstream 的Layer2 會依賴於Celestia 驗證者證明,安全保障過程輕節點如果偵測到2/3 的Celestia 驗證者透過保留資料的惡意行為,可將其進行懲罰,客觀講DAC 與原生鏈DA的信任度相比仍存不足,但站在創新和市場敘事的角度思考這種不足是無法避免的。
圖源:Eclipse 官方- Eclipse 模組化交互作用邏輯
根據官方文件解釋說明,如上圖所示Eclipse 透過Celestia 的Blobstream(如上文介紹基於DAS 擴展的以太坊模組化DA 解決方案),向以太坊證明的Eclipse 數據已經測試運行,讓橋接器可根據Celestia 的簽署資料根來驗證為詐欺證明提供的資料安全。其用戶透過原生以太坊橋將資金存入Eclipse,流程概述如下:
1. 用戶在以太坊上呼叫Eclipse 存款橋合約(合約地址請參閱擴充連結1);
2.Eclipse 在SVM 執行器中(計算SVM 結果並輸出至Ecilpse 新狀態節點),中繼器(ETH 與Eclipse 通道)完成使用者傳送位址與接受位址跨鏈資料互動;
3. 中繼器呼叫SVM 橋接程序,負責將使用者存款傳送到目標位址;
4. 中繼器透過zk-light 用戶端驗證存款交易(待落實);
5. 最後包含後續存款的轉帳交易區塊透過Solana Geyser 插件完成並發布。
在此過程中會將SVM 執行器透過Geyser 將每個Eclipse 插槽發佈到訊息佇列,其插槽會發佈到Celestia 作為資料區塊,而Celestia 的驗證者器對已提交資料區塊進行承若用於證明交易被包含在Eclipse 鏈中並與資料根相對應,最後每個Celestia 資料區塊透過Blobstream 中繼到以太坊上的Eclipse 橋接器合約中。
圖源:Eclipse 官方:Celestia 和SVM 執行器互動
同時,和以太坊其它使用欺詐證明的Layer2 類似,Eclipse 與以太坊之間提取資金也需質疑窗口期,便於驗證者可以在狀態轉換無效的情況下提交欺詐證明。
-SVM 執行器會定期向以太坊發布Eclipse 插槽的一個epoch(過程按預先確定的批次數量)承諾並發布抵押;
-Eclipse 的橋接合約進行基礎檢查,以確保所發布的資料格式完好(詳見參考文章【2】詐欺證明設計章節);
-如果提交的批次通過基礎檢查則會產生預定義窗口,在此窗口內如果批次承諾,意味著狀態轉換無效,驗證者既可發布欺詐證明;
-如果驗證者成功發布了欺詐證明,他們就贏得了執行者的擔保,發布的批次被拒絕,Eclipse L2 的規範狀態回滾到最後一次有效的批次承諾。在此Eclipse 的管理者將有權選出新的執行者;
-但如果通過了質疑期而沒有通過欺詐證明,執行者將收回其抵押品和獎勵;
-最後Eclipse 橋接合約會完成最終確定批次中所包含的所有提款交易。
小結
Eclipse 目前仍處於早期開發測試網階段,是以太坊上的第一個SVM Layer2,目前測試網已上線,主網計畫於2024 年Q1 季度發布。以太坊目前仍是將Rollup 視為核心的發展路線,拋開正統性話題不談,這在一定程度上意味著以太坊將Layer2 的廣義定義交給了市場,所以明面的賦能也暗藏著各類形態的競爭。 Eclipse 正是藉助這一點,借用模組化的發展將以太坊安全性,Solana 的高性能以及Celestia DA 三者相結合起來進行強市場敘事。
回顧以太坊的發展進程,非常有趣的點在於上輪的市場行情是在DeFi Summer 的炒作下出現了大量“DeFi 套娃”與“DeFi 樂高”的創新和加碼,讓整個生態出現井噴式發展。這輪在LSD 和Re-staking 的結合下出現了大量的「質押套娃」和「質押樂高」組合,讓EigenLayer、Blast 以及BTC 生態的Merlin 在短期內TVL 屢創新高。如果將套娃和樂高視為市場情緒的主旋律,那麼模組化在未來也可以彈奏出屬於自己娃娃和樂高旋律。
模組化的魅力之處在於組件的解耦效益,從而實現堆疊中的每一層創新,讓每個模組的優化都可以放大其它模組的優化,或許未來對於開發者和用戶而言,模組化的發展過程可能會產生大量的可競爭選擇。