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

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

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

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

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

Polychain Capital 合伙人 Niraj Pant 評價(jià)道："隨著大型企業(yè)和政府開始進(jìn)入?yún)^(qū)塊鏈領(lǐng)域，Eclipse 是促進(jìn)其使用案例（如 Web2 規(guī)模的消費(fèi)者和金融應(yīng)用）的重要基礎(chǔ)設(shè)施?！?/p>

Eclipse 架構(gòu)

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

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

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

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

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

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

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

圖源：Eclipse 官方

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

不正確的輸入 ：驗(yàn)證者在鏈上發(fā)布?xì)v史數(shù)據(jù)，表明輸入狀態(tài)與宣稱的不符。則利用 Celestia 的量子引力橋（Quantum Gravity Bridge）讓 Eclipse 結(jié)算合約核實(shí)歷史數(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ū)塊中。以太坊將調(diào)用數(shù)據(jù)與計(jì)算和存儲統(tǒng)一定價(jià)在一個(gè)單位下：Gas，這也是 Rollup 向以太坊支出的主要成本之一。為提升效率 EIP-4844 升級引入了 Blobspace 來取代 calldata，以此為所有 Rollup 提供了每個(gè)區(qū)塊 375 KB 的目標(biāo)值；

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

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

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

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

1. 用戶在以太坊上調(diào)用 Eclipse 存款橋合約（合約地址見擴(kuò)展鏈接 1）；

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

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

4. 中繼器通過 zk-light 客戶端驗(yàn)證存款交易（待落實(shí)）；

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

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

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

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

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

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

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

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

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

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

小結(jié)

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

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

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