Layer2方案Eclipse:如何融合以太坊安全性、Solana高性能與Celestia DA層敘事

2024-03-03 21:03:05

Eclipse 成功完成了由 Polychain 領投的 600 萬美元的 Pre-Seed 輪融資和由 Tribe Capital、Tabiya 共同領投的 900 萬美元種子輪融資,總融資額為 1500 萬美元。 本文源自 Blockbeats 所著文章 Eclipse: First SVM Layer2 Combining Ethereum Security, Solana’s High Performance, and Celestia DA Narratives ,由 Blockbeats 整理、編譯及撰稿。
(前情提要: 「正統性」究竟為何?2024年圍繞以太坊、EigenLayer、Celestia的鬥爭
(背景補充: 除了Celestia,模組化區塊鏈還有哪些「潛力股」?

本文目錄

E clipse 創辦人 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 的見解相符,即避免狀態序列化的高昂成本。所以為避免重新將默克爾樹(hash樹)引入到 SVM 中,早期專案方嘗試在 SVM 中插入 Sparse Merkle Tree,但每次事務更新默克爾樹都會對效能造成巨大影響。如果不使用默克爾樹進行證明,現有的通用 Rollup 框架(如 OP 堆疊)就不能作為 SVM Rollup 的基礎,這就需要更具創造性的故障證明架構。

故障證明要求:交易的輸入承諾、交易本身以及證明重新執行交易會導致與鏈上指定的輸出不同。

輸入承諾通常是提供 Rollup 狀態樹的 Merkle 根來實現的,Eclipsse 的執行器會發布每個事務的輸入和輸出(包括帳戶hash值和相關全域性狀態)列表,以及產生每個輸入的事務索引,並將交易釋出到 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 官方 8211 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 屢創新高。如果將套娃和樂高視為市場情緒的主旋律,那模組化在未來也可以彈奏出屬於自己套娃和樂高旋律。

模組化的魅力之處在於元件的解耦效益,從而實現堆疊中的每一層創新,讓每個模組的優化都可以放大其它模組的優化,或許未來對於開發者和使用者而言,模組化的發展程式可能會產生大量的可競爭選擇。

?相關報導?

單片鏈 vs 模組化區塊鏈:以太坊、Solana 和 Celestia 競爭版圖下一步?

詳解Celestia核心與經濟模型,模組化區塊鏈敘事迎來爆發?

Celestia上線!代幣 TIA 衝破2鎂,兩步驟「更新Keplr 錢包」領取空投

鄭重聲明:本文版權歸原作者所有,轉載文章僅為傳播信息之目的,不構成任何投資建議,如有侵權行為,請第一時間聯絡我們修改或刪除,多謝。

推薦文章

觀點》Memecoin 是史上最瘋狂的賺錢機器嗎?

我 們要去邁阿密!我們要買藍寶堅尼!來自倫敦的 16 歲大學生 Oliver Szmul 聲音嘶啞...

Foresight News
3 1小時前

鮑爾放鷹「不急降息」比特幣下殺 $86,600、美股全倒,10月PPI顯示通膨仍具黏性

美 國聯準會主席鮑爾在臺灣時間今(15)日清晨於達拉斯的一場活動上釋出鷹派言論,他表示近期美國經濟...

Editor Jr.
3 1小時前

Upbit 加密貨幣交易量遠超韓國股市,市場過熱跡象再現?

自 川普在本月初強勢贏下美國總統大選後,美股和加密貨幣市場紛紛迎來慶祝行情,標普 500 指數一度...

Editor Jr.
3 1小時前

iOS最強AI「視覺智能」,蘋果AI眼鏡的前哨

在 iOS 18.2 Beta 2 上,蘋果 Visual Intelligence(視覺智能)正...

VR陀螺
3 1小時前

Gary Gensler發表“離別演講”,特朗普2.0下的SEC將採取什么加密監管政策?

來源:WilmerHale 原標題:Trump Administration 2.0: How t...

比推BitpushNews
3 1小時前

吳說播客:ACT 喜與悲,有人意外爆賺 200 萬,有人爆發前一天割肉

編輯:吳說區塊鏈 本期播客從 AI Memecoin 投資熱點及近日 ACT 暴漲事件展开,def...

吳說Real
3 1小時前