作者：YBB Capital Researcher Ac-Core；編譯：區(qū)塊律動

Eclipse 創(chuàng)始人 Neel Somani 曾在 Airbnb 擔任軟件工程師及在 Citadel 擔任定量研究員，于 2022 年創(chuàng)立了基于 Solana 的初創(chuàng)公司 Eclipse，并獲得 Solana 聯(lián)創(chuàng) Anatoly Yakovenko 和 Polygon 等人/機構的支持（為 Solana 與 Polygon 構建相兼容的 Rollup 區(qū)塊鏈）。

據(jù) CoinDesk 2022 年 9 月 28 日報道，Eclipse 成功完成了由 Polychain 領投的 600 萬美元的 Pre-Seed 輪融資和由 Tribe Capital、Tabiya 共同領投的 900 萬美元種子輪融資，總融資額為 1500 萬美元。此外 Eclipse 還獲得了來自 Solana 基金會的開發(fā)贈款，以支持 Solana Virtual Machine 驅動的 Rollup。

Eclipse 創(chuàng)始人 Somani 運用自己的人脈和靠近 Solana 芝加哥總部的地理優(yōu)勢，成功利用 Solana 的虛擬機創(chuàng)建了一個獨特的鏈。其愿景是讓開發(fā)人員能夠部署由 Solana 虛擬機驅動的 Rollup，并計劃于 2023 年初在 Cosmos 生態(tài)系統(tǒng)上推出一個公共測試網絡，以及打算在未來支持 Aptos 的 Move 語言。

Solana 聯(lián)創(chuàng)兼 Eclipse 天使投資人 Anatoly Yakovenko 評價道："Eclipse 為 Solana 通過區(qū)塊鏈間通信 (IBC) 與 Cosmos 通信鋪平了道路。"

Polychain Capital 合伙人 Niraj Pant 評價道："隨著大型企業(yè)和政府開始進入區(qū)塊鏈領域，Eclipse 是促進其使用案例（如 Web2 規(guī)模的消費者和金融應用）的重要基礎設施。」

Eclipse 架構

以下內容根據(jù)官方解釋，Eclipse Mainnet 為以太坊首個圍繞 SVM 建設的通用 L2，它結合了模塊化堆棧的精華部分，目標成為由 SVM 驅動的以太坊最快且通用的 Layer2。項目架構是將以太坊作為結算層，并用于官方的嵌入式驗證橋；Celestia 作為數(shù)據(jù)可用性層；RISC Zero 則用于生成零知識欺詐證明；最終將 Solana 的 SVM 作為整體執(zhí)行的模塊化 Layer2 項目。下文將根據(jù)官方解釋具體說明。

結算層—以太坊： Eclipse 將結算到以太坊（即在以太坊上的嵌入式驗證橋），并使用 ETH 作為其 Gas 消耗，且欺詐證明也將在以太坊上提交；

執(zhí)行層—Solana 虛擬機 (SVM) ：Eclipse 將運行高性能的 SVM 作為其執(zhí)行環(huán)境，即 Solana Labs 客戶端（v1.17）的分叉；

數(shù)據(jù)可用性層—Celestia：Eclipse 將把數(shù)據(jù)發(fā)布到 Celestia 實現(xiàn)可擴展的數(shù)據(jù)可用性（DA）；

證明機制—RISC Zero ： Eclipse 將使用 RISC Zero 進行 ZK 欺詐證明（無需中間狀態(tài)序列化）；

通信協(xié)議—IBC：通過 Cosmos 的鏈間通信標準 IBC 完成與非 Eclipse 鏈橋接；

跨鏈協(xié)議—Hyperlane：Eclipse 和 Hyperlane 合作，將 Hyperlane 的無權限互操作性解決方案引入基于 Solana 虛擬機（SVM）的區(qū)塊鏈。

圖源：Eclipse 官方

結算層：獲取以太坊的安全性和流動性

Eclipse 與其它以太坊 Rollup 一樣使用以太坊作為結算層，這一過程需將 Eclipse 在以太坊上的驗證橋直接納入 Eclipse 中，其節(jié)點需要檢測驗證橋的正確性和正確交易排序，以此讓用戶獲得以太坊級別的安全性。

L2BEAT 將 Layer2 定義為「完全或部分從以太坊第一層獲取其安全性的鏈，以便用戶不必依賴 Layer2 驗證者們的誠信來保障資金的安全性」。Eclipse 驗證橋可在某些故障情況下執(zhí)行最終的有效性和抗審查性，即使排序器宕機或在 L2 開始審查，用戶也能通過橋來強制完成他們的交易，并使用以太坊作為交易 Gas 進行燃燒。

執(zhí)行層：獲取 Solana 的交易速度和規(guī)模效應

為提升效率，Eclipse Mainnet 采用了 Solana 的執(zhí)行環(huán)境，采用 SVM 和 Sealevel (Solana 用來構建橫向擴展的技術方案，超并行化事務處理引擎用于跨 GPU 和 SSD 進行水平擴展)，這與 EVM 單線程的運行相比，其優(yōu)勢在于可在不設計重疊狀態(tài)事務的情況下執(zhí)行，而不是按序執(zhí)行。

關于 EVM 兼容性問題，Eclipse Mainnet 與 Neon EVM 合作讓開發(fā)人員可以利用以太坊工具并在 Solana 上構建 Web3 應用程序，據(jù)官方數(shù)據(jù)，其吞吐量比單線程 EVM 更大可達 140TPS 水平。EVM 用戶則通過 MetaMask 錢包的 "Snaps "插件在 Eclipse Mainnet 中與應用程序進行原生交互。

數(shù)據(jù)可用性：采用 Celestia 的帶寬和可驗證性質

Ecilpse Mainnet 將利用 Celestia 實現(xiàn)數(shù)據(jù)可用性并達成長期合作關系，其原因是以太坊目前無法支出 Ecilpse 的目標吞吐量和費用，即使在 EIP-4844 升級后，可為每個區(qū)塊提供平均約 0.375 MB 的 Blobs 空間（每個區(qū)塊的限制約為 0.75 MB）。

據(jù)官方數(shù)據(jù)，采用基于 Rollup 擴容的 ERC-20 交易，按每筆交易 154 字節(jié)計算，相當于所有 Rollup 的總和約 213TPS，而對于 Compression Swap 按每筆交易約 400 字節(jié)計算，所有 Rollup 的 TPS 約為 82TPS。相比 Celestia 推出的 2MB 區(qū)塊，在網絡證明穩(wěn)定且更多 DAS（相關擴展解釋見下文）輕節(jié)點上下后，Blobstream 預計將增加至 8MB。

Ecilpse 認為，在 Celestia 的 DAS 輕節(jié)點支持下，出于考慮加密經濟的安全性和高度可擴展的 DA 吞吐量之間的權衡，Celestia 成為了當下 Eclipse Mainnet 的不二之選。即使當前存在使用以太坊 DA 才是正統(tǒng) Layer2 的觀點，但項目方仍會持續(xù)關注 EIP-4844 之后在 DA 擴展方面的進展，如果以太坊能為 Eclipse 提供更大規(guī)模和高吞吐量的 DA，將重新評估遷移至以太坊 DA 的可能性。

證明機制：RISC Zero 欺詐證明（無中間狀態(tài)序列化）

Eclipse 的證明方法類似于 Anatoly 的 SVM 欺詐證明 SIMD（詳見 GitHub 擴展鏈接 2），這與 John Adler 的見解相符，即避免狀態(tài)序列化的高昂成本。所以為避免重新將默克爾樹（哈希樹）引入到 SVM 中，早期項目方嘗試在 SVM 中插入 Sparse Merkle Tree，但每次事務更新默克爾樹都會對性能造成巨大影響。如果不使用默克爾樹進行證明，現(xiàn)有的通用 Rollup 框架（如 OP 堆棧）就不能作為 SVM Rollup 的基礎，這就需要更具創(chuàng)造性的故障證明架構。

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

輸入承諾通常是提供 Rollup 狀態(tài)樹的 Merkle 根來實現(xiàn)的，Eclipsse 的執(zhí)行器會發(fā)布每個事務的輸入和輸出（包括賬戶哈希值和相關全局狀態(tài)）列表，以及產生每個輸入的事務索引，并將交易發(fā)布到 Celestia，讓任何完整節(jié)點都可以跟進，從自己的狀態(tài)中提取輸入賬戶，計算輸出賬戶，并確認以太坊上的承諾是正確的。

這里也會存在兩種可能的重大錯誤類型：

不正確的輸出 ：驗證者提供正確輸出鏈上的 ZK 證明。Eclipse 使用 RISC Zero 來創(chuàng)建 SVM 執(zhí)行的 ZK 證明，這延續(xù)了項目方之前證明 BPF 字節(jié)碼執(zhí)行的工作（詳見 GitHub 擴展鏈接 3）。這使得我們的結算合約可以在不必在鏈上運行交易的情況下確保正確性。

不正確的輸入 ：驗證者在鏈上發(fā)布歷史數(shù)據(jù)，表明輸入狀態(tài)與宣稱的不符。則利用 Celestia 的量子引力橋（Quantum Gravity Bridge）讓 Eclipse 結算合約核實歷史數(shù)據(jù)存在欺詐行為。

Eclipse 與 ETH 和 Celestia 的連接

圖源:@jon_charb

DA 是 Rollup 成本支出的主要部分之一，目前以太坊 L2 的數(shù)據(jù)可用性主要有兩種方法，Calldata 和 DAC(Data Availability Committees）。

Calldata：例如 Arbitrum 或 Optimism 等 Layer2 方案直接在鏈上將交易數(shù)據(jù)作為 calldata 發(fā)布到以太坊高度抗審查的區(qū)塊中。以太坊將調用數(shù)據(jù)與計算和存儲統(tǒng)一定價在一個單位下：Gas，這也是 Rollup 向以太坊支出的主要成本之一。為提升效率 EIP-4844 升級引入了 Blobspace 來取代 calldata，以此為所有 Rollup 提供了每個區(qū)塊 375 KB 的目標值；

DAC:與直接在鏈上發(fā)布 calldata 相比，DAC 的吞吐量要高得多，但用戶需要信任一個小型委員會或驗證者小組，以避免惡意扣留數(shù)據(jù)。也包括再質押解決方案（Restaking-based solutions）在內的 DACs 對 L2s 引入了重大的信任假設，從而迫使 DAC 依靠聲譽、治理機制或代幣投票來抑制或懲罰隱瞞數(shù)據(jù)的行為，所以一定程度上講使用外部 DA 時需要用到 DAC。

需補充說明的是，在 Eclipse 中使用 Celestia 了 Blobstream 權益證明共識網絡，以允許 Layer2 訪問 Celestia 的 Blobspace，達到根據(jù)壓縮方案 8 MB blobspace 這大致相當于每秒 9,000 到 30,000 個 ERC-20 傳輸。但過程中使用 Blobstream 的 Layer2 會依賴于 Celestia 驗證者證明，安全保障過程輕節(jié)點如果檢測到 2/3 的 Celestia 驗證者通過保留數(shù)據(jù)的惡意行為，可將其進行懲罰，客觀講 DAC 與原生鏈 DA 的信任度相比仍存不足，但站在創(chuàng)新和市場敘事的角度思考這種不足是無法避免的。

圖源：Eclipse 官方 - Eclipse 模塊化相互作用邏輯

據(jù)官方文檔解釋說明，如上圖所示 Eclipse 通過 Celestia 的 Blobstream（如上文介紹基于 DAS 擴展的以太坊模塊化 DA 解決方案），向以太坊證明的 Eclipse 數(shù)據(jù)已經測試運行，讓橋接器可根據(jù) Celestia 的簽名數(shù)據(jù)根來驗證為欺詐證明提供的數(shù)據(jù)安全。其用戶通過原生以太坊橋將資金存入 Eclipse，流程概述如下：

1. 用戶在以太坊上調用 Eclipse 存款橋合約（合約地址見擴展鏈接 1）；

2.Eclipse 在 SVM 執(zhí)行器中（計算 SVM 結果并輸出至 Ecilpse 新狀態(tài)節(jié)點），中繼器（ETH 與 Eclipse 通道）完成用戶發(fā)送地址和接受地址跨鏈數(shù)據(jù)交互；

3. 中繼器調用 SVM 橋接程序，負責將用戶存款發(fā)送到目標地址；

4. 中繼器通過 zk-light 客戶端驗證存款交易（待落實）；

5. 最后包含后續(xù)存款的轉賬交易區(qū)塊通過 Solana Geyser 插件完成并發(fā)布。

在這一過程中會將 SVM 執(zhí)行器通過 Geyser 將每個 Eclipse 插槽發(fā)布到消息隊列，其插槽會發(fā)布到 Celestia 作為數(shù)據(jù)塊，而 Celestia 的驗證者器對已提交數(shù)據(jù)塊進行承若用于證明交易被包含在 Eclipse 鏈中并與數(shù)據(jù)根相對應，最后每個 Celestia 數(shù)據(jù)塊通過 Blobstream 中繼到以太坊上的 Eclipse 橋接器合約中。

圖源：Eclipse 官方：Celestia 和 SVM 執(zhí)行器互動

與此同時，和以太坊其它使用欺詐證明的 Layer2 類似，Eclipse 與以太坊之間提取資金也需質疑窗口期，便于驗證者可以在狀態(tài)轉換無效的情況下提交欺詐證明。

-SVM 執(zhí)行器會定期向以太坊發(fā)布 Eclipse 插槽的一個 epoch（過程按預先確定的批次數(shù)量）承諾并發(fā)布抵押；

-Eclipse 的橋接合約進行基礎檢查，以確保所發(fā)布的數(shù)據(jù)格式完好（詳見參考文章【2】欺詐證明設計章節(jié)）；

-如果提交的批次通過基礎檢查則會產生預定義窗口，在此窗口內如果批次承諾，意味著狀態(tài)轉換無效，驗證者既可發(fā)布欺詐證明；

-如果驗證者成功發(fā)布了欺詐證明，他們就贏得了執(zhí)行者的擔保，發(fā)布的批次被拒絕，Eclipse L2 的規(guī)范狀態(tài)回滾到最后一次有效的批次承諾。在此 Eclipse 的管理者將有權選出新的執(zhí)行者；

-但如果通過了質疑期而沒有通過欺詐證明，執(zhí)行者將收回其抵押品和獎勵；

-最后 Eclipse 橋接合約會完成最終確定批次中所包含的所有提款交易。

小結

Eclipse 目前仍處于早期開發(fā)測試網階段，是以太坊上的第一個 SVM Layer2，目前測試網已上線，主網計劃于 2024 年 Q1 季度發(fā)布。以太坊目前仍是將 Rollup 視為核心的發(fā)展路線，拋開正統(tǒng)性話題不談，這在一定程度上意味著以太坊將 Layer2 的廣義定義交給了市場，所以明面的賦能也暗藏著各類形態(tài)的競爭。Eclipse 正是借助這點，借用模塊化的發(fā)展將以太坊安全性，Solana 的高性能以及 Celestia DA 三者相結合起來進行強市場敘事。

回顧以太坊的發(fā)展進程，非常有趣的點在于上輪的市場行情是在 DeFi Summer 的炒作下出現(xiàn)了大量「DeFi 套娃」與「DeFi 樂高」的創(chuàng)新和加碼，讓整個生態(tài)出現(xiàn)井噴式發(fā)展。本輪在 LSD 和 Re-staking 的結合下出現(xiàn)了大量的「質押套娃」和「質押樂高」組合，讓 EigenLayer、Blast 以及 BTC 生態(tài)的 Merlin 在短期內 TVL 屢創(chuàng)新高。如果將套娃和樂高視為市場情緒的主旋律，那模塊化在未來也可以彈奏出屬于自己套娃和樂高旋律。

模塊化的魅力之處在于組件的解耦效益，從而實現(xiàn)堆棧中的每一層創(chuàng)新，讓每個模塊的優(yōu)化都可以放大其它模塊的優(yōu)化，或許未來對于開發(fā)者和用戶而言，模塊化的發(fā)展進程可能會產生大量的可競爭選擇。