作者：YBB Capital 研究員Ac-Core 來源：medium 翻譯：善歐巴，

Eclipse背景

Eclipse 創(chuàng)始人 Neel Somani 曾擔(dān)任 Airbnb 的軟件工程師和 Citadel 的定量研究員，于 2022 年創(chuàng)立了基于 Solana 的初創(chuàng)公司 Eclipse。該初創(chuàng)公司獲得了 Solana 聯(lián)合創(chuàng)始人 Anatoly Yakovenko 以及 Polygon（建筑）等機構(gòu)/個人的支持。 Rollup 區(qū)塊鏈與 Polygon 和 Solana 兼容）。根據(jù) CoinDesk 2022 年 9 月 28 日的報告，Eclipse 成功完成了由 Polychain 領(lǐng)投的 600 萬美元種子輪融資以及由 Tribe Capital 和 Tabiya 共同領(lǐng)投的 900 萬美元種子輪融資，融資總額達(dá) 1500 萬美元。此外，Eclipse 還獲得了 Solana 基金會的開發(fā)資助，用于支持 Solana 虛擬機驅(qū)動的 Rollup。

創(chuàng)始人 Somani 利用自己的網(wǎng)絡(luò)以及靠近芝加哥 Solana 總部的地理優(yōu)勢，成功利用 Solana 的虛擬機創(chuàng)建了獨特的區(qū)塊鏈。他的愿景是讓開發(fā)人員能夠部署由 Solana 虛擬機支持的 Rollups，并計劃于 2023 年初在 Cosmos 生態(tài)系統(tǒng)中啟動公共測試網(wǎng)，以期在未來支持 Aptos 的 Move 語言。

Solana 聯(lián)合創(chuàng)始人兼 Eclipse 天使投資人 Anatoly Yakovenko 評論道：“Eclipse 為 Solana 通過區(qū)塊鏈間通信 (IBC) 與 Cosmos 進(jìn)行通信鋪平了道路?！?/p>

Polychain Capital 合伙人 Niraj Pant 表示：“隨著大公司和政府開始進(jìn)入?yún)^(qū)塊鏈領(lǐng)域，Eclipse 成為促進(jìn)其用例的關(guān)鍵基礎(chǔ)設(shè)施，例如 Web2 規(guī)模的消費者和金融應(yīng)用程序。”

Eclipse架構(gòu)

以下內(nèi)容基于官方解釋：Eclipse Mainnet是以太坊第一個以SVM為中心的通用L2，結(jié)合了模塊化堆棧的本質(zhì)，目標(biāo)是成為由SVM驅(qū)動的最快、最通用的Layer2。該項目的架構(gòu)涉及使用以太坊作為結(jié)算層并內(nèi)置官方驗證橋；Celestia 作為數(shù)據(jù)可用性層；RISC Zero 用于生成零知識欺詐證明；最終，Solana 的 SVM 作為這個模塊化 Layer2 項目的執(zhí)行環(huán)境。下面根據(jù)官方描述進(jìn)行詳細(xì)解釋。

結(jié)算層——以太坊：Eclipse將在以太坊上進(jìn)行結(jié)算（即使用以太坊上的嵌入式驗證橋），使用ETH進(jìn)行g(shù)as消耗，并在以太坊上提交欺詐證明；

執(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進(jìn)行ZK欺詐證明（無需中間狀態(tài)序列化）；

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

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

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

與其他以太坊 Rollups 一樣，Eclipse 使用以太坊作為其結(jié)算層。這個過程涉及將Eclipse的驗證橋直接集成到Eclipse中，其中其節(jié)點必須檢查驗證橋的正確性和交易順序的正確性，從而為用戶提供以太坊級別的安全性。

L2BEAT 將 Layer2 定義為“完全或部分從以太坊第一層獲得安全性的鏈，這樣用戶就不必依賴 Layer2 驗證者的誠實來確保其資金的安全。”Eclipse驗證橋可以在某些故障場景下執(zhí)行最終的有效性和抗審查性。即使排序器出現(xiàn)故障或開始在 L2 上進(jìn)行審查，用戶仍然可以通過橋強制執(zhí)行交易，并將以太坊作為交易 Gas 燃燒。

執(zhí)行層：實現(xiàn) Solana 的交易速度和規(guī)模

為了提高效率，Eclipse 主網(wǎng)采用了 Solana 的執(zhí)行環(huán)境，利用 SVM 和 Sealevel（Solana 構(gòu)建水平可擴展性的技術(shù)解決方案，一種跨 GPU 和 SSD 進(jìn)行水平擴展的超并行事務(wù)處理引擎）。與EVM的單線程操作相比，它的優(yōu)點是可以在不設(shè)計重疊狀態(tài)事務(wù)的情況下執(zhí)行事務(wù)，而不是順序執(zhí)行它們。

在EVM兼容性方面，Eclipse主網(wǎng)與Neon EVM合作，允許開發(fā)人員使用以太坊工具并在Solana上構(gòu)建Web3應(yīng)用程序。根據(jù)官方數(shù)據(jù)，其吞吐量明顯高于單線程EVM，達(dá)到140 TPS。EVM 用戶可以通過 MetaMask 錢包的“Snaps”插件與 Eclipse 主網(wǎng)上的應(yīng)用程序進(jìn)行本地交互。

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

Eclipse 主網(wǎng)將利用 Celestia 來實現(xiàn)數(shù)據(jù)可用性并建立長期合作，因為以太坊目前無法支持 Eclipse 的目標(biāo)吞吐量和成本，即使在 EIP-4844 升級之后，每個塊平均提供約 0.375 MB 的 Blob 空間（每塊限制約為 0.75 MB）。

根據(jù)官方數(shù)據(jù)，對于基于 Rollup 擴展的 ERC-20 交易，按每筆交易 154 字節(jié)計算，這相當(dāng)于所有 Rollups 總共約 213 TPS，而對于 Compression Swaps 按每筆交易約 400 字節(jié)計算，總 TPS 約為所有 Rollups 的吞吐量約為 82 TPS。相比之下，Celestia 的 2MB 區(qū)塊，隨著網(wǎng)絡(luò)證明穩(wěn)定以及更多 DAS（數(shù)據(jù)可用性采樣）輕節(jié)點上線，Blobstream 預(yù)計將增加到 8MB。

Eclipse認(rèn)為，在Celestia DAS輕節(jié)點的支持下，考慮到密碼經(jīng)濟安全性和高度可擴展的DA吞吐量之間的權(quán)衡，Celestia成為當(dāng)前Eclipse主網(wǎng)的首選。盡管有觀點認(rèn)為使用以太坊的 DA 是 Layer2 的正統(tǒng)方式，但該項目將在 EIP-4844 之后繼續(xù)關(guān)注 DA 擴展的進(jìn)展。如果以太坊能夠為Eclipse提供更大規(guī)模、更高吞吐量的DA，那么遷移到以太坊DA的可能性將會被重新評估。

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

Eclipse 的證明方法類似于 Anatoly 的 SVM 欺詐證明 SIMD（請參閱擴展的 GitHub 鏈接 2），與 John Adler 避免狀態(tài)序列化的高成本的見解一致。為了防止將 Merkle 樹（哈希樹）重新引入 SVM，早期嘗試將稀疏 Merkle 樹插入到 SVM 中，但每次事務(wù)更新 Merkle 樹都會極大地影響性能。如果不使用 Merkle 樹進(jìn)行證明，現(xiàn)有的通用 Rollup 框架（例如 OP 棧）就無法作為 SVM Rollup 的基礎(chǔ)，需要更具創(chuàng)造性的防錯架構(gòu)。

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

輸入承諾通常是通過提供 Rollup 狀態(tài)樹的 Merkle 根來實現(xiàn)的。Eclipse 的執(zhí)行器將發(fā)布每筆交易的輸入和輸出列表（包括賬戶哈希值和相關(guān)的全局狀態(tài)）、生成每筆輸入的交易索引，并將交易發(fā)布到 Celestia，允許任何全節(jié)點跟進(jìn)，從其交易中提取輸入賬戶自己的狀態(tài)，計算輸出賬戶，并確認(rèn)以太坊上的承諾是正確的。

可能會出現(xiàn)兩種主要類型的錯誤：

不正確的輸出：驗證器提供鏈上正確輸出的 ZK 證明。Eclipse 使用 RISC Zero 創(chuàng)建 SVM 執(zhí)行的 ZK 證明，繼續(xù)該項目之前證明 BPF 字節(jié)碼執(zhí)行的工作（請參閱擴展的 GitHub 鏈接 3）。這使得我們的結(jié)算合約能夠確保正確性，而無需在鏈上運行交易。

輸入錯誤：驗證者在鏈上發(fā)布?xì)v史數(shù)據(jù)，表明輸入狀態(tài)與聲明的狀態(tài)不匹配。然后利用塞拉斯蒂婭的量子引力橋讓Eclipse的結(jié)算合約驗證是否存在欺詐性歷史數(shù)據(jù)。

Eclipse 與 ETH 和 Celestia 的連接

數(shù)據(jù)可用性（DA）是 Rollup 成本支出的主要組成部分之一。目前，以太坊L2的數(shù)據(jù)可用性主要依賴兩種方式：Calldata和DAC（數(shù)據(jù)可用性委員會）。

· Calldata：例如，Arbitrum 或 Optimism 等 Layer2 解決方案將交易數(shù)據(jù)作為 calldata 直接發(fā)布到以太坊高度抗審查的區(qū)塊上。以太坊價格將數(shù)據(jù)以及計算和存儲歸于一個單位：Gas，這是以太坊 Rollup 產(chǎn)生的主要成本之一。為了提高效率，EIP-4844升級引入了Blobspace來替代calldata，為所有Rollup提供每塊375 KB的目標(biāo)；

· DAC：與直接在鏈上發(fā)布通話數(shù)據(jù)相比，DAC 提供了更高的吞吐量，但用戶需要信任一個小的委員會或一組驗證者，以避免惡意扣留數(shù)據(jù)。DAC，包括基于重質(zhì)押的解決方案，為 L2 引入了重要的信任假設(shè)，從而迫使 DAC 依賴聲譽、治理機制或代幣投票來抑制或懲罰隱藏數(shù)據(jù)的行為。因此，使用外部DA在某種程度上需要使用DAC。

值得注意的是，Eclipse 利用 Celestia 的 Blobstream（一種權(quán)益證明共識網(wǎng)絡(luò)）來允許 Layer2 訪問 Celestia 的 Blobspace。根據(jù)壓縮方案，這可實現(xiàn)高達(dá) 8 MB 的 blob 空間，大致相當(dāng)于每秒 9,000 到 30,000 次 ERC-20 傳輸。然而，使用 Blobstream 的 Layer2 將依賴于 Celestia 驗證器的證明。如果輕節(jié)點檢測到 2/3 的 Celestia 驗證者扣留惡意數(shù)據(jù)，他們可以對其進(jìn)行懲罰?？陀^地講，DAC的可信度相對于原生鏈DA仍有其不足之處，但從創(chuàng)新和市場敘事的角度來看，這樣的不足是不可避免的。

正如官方文檔中所解釋的以及上圖所示，Eclipse 演示了通過 Celestia 的 Blobstream（如上所述，基于 DAS 擴展的以太坊模塊化 DA 解決方案）向以太坊證明的數(shù)據(jù)。這使得橋接器能夠基于 Celestia 的簽名數(shù)據(jù)根來驗證為欺詐證明提供的數(shù)據(jù)安全性。用戶通過原生以太坊橋?qū)①Y金存入Eclipse，流程如下：

1、用戶調(diào)用以太坊上的Eclipse充值橋合約（擴展鏈接1中的合約地址）；

2. Eclipse的SVM執(zhí)行器（計算SVM結(jié)果并輸出到新的Eclipse狀態(tài)節(jié)點）和中繼器（ETH到Eclipse通道）完成發(fā)送方和接收方地址之間的跨鏈數(shù)據(jù)交互；

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

4.中繼者通過zk-light客戶端驗證存款交易（待實現(xiàn)）；

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

在這個過程中，每個Eclipse slot都會被SVM執(zhí)行器通過Geyser發(fā)布到消息隊列中。然后這些槽作為數(shù)據(jù)塊發(fā)布到 Celestia，Celestia 驗證器提交這些提交的數(shù)據(jù)塊，以證明交易包含在 Eclipse 鏈中并對應(yīng)于數(shù)據(jù)根。最后，每個 Celestia 數(shù)據(jù)塊都通過 Blobstream 中繼到以太坊上的 Eclipse 橋接器合約。

與其他使用欺詐證明的以太坊 Layer2 解決方案類似，從 Eclipse 提取資金到以太坊也需要一個挑戰(zhàn)期，允許驗證者在無效狀態(tài)轉(zhuǎn)換的情況下提交欺詐證明。

· SVM 執(zhí)行器定期提交以太坊上的 Eclipse 插槽紀(jì)元（該過程遵循預(yù)定數(shù)量的批次）并發(fā)布抵押品；

· Eclipse的橋接合約執(zhí)行基本檢查，以確保發(fā)布的數(shù)據(jù)格式的完整性（參見參考文章[2]中的欺詐證明設(shè)計部分）；

· 如果提交的批次通過基本檢查，則會生成預(yù)定義窗口。如果在此窗口內(nèi)，批量承諾表明狀態(tài)轉(zhuǎn)換無效，驗證者可以發(fā)布欺詐證明；

· 如果驗證者成功發(fā)布欺詐證明，他們將贏得執(zhí)行者的抵押品，提交的批次將被拒絕，Eclipse L2 的規(guī)范狀態(tài)將回滾到最后一個有效的批次承諾。此時，Eclipse的管理員有權(quán)選擇新的執(zhí)行器；

· 但是，如果挑戰(zhàn)期過后，沒有任何成功的欺詐證明，執(zhí)行人將收回其抵押品和獎勵；

· 最后，Eclipse 的橋接合約完成最終確認(rèn)批次中包含的所有提款交易。

概括

Eclipse 目前正處于開發(fā)和測試的早期階段，標(biāo)志著以太坊上第一個 SVM Layer2。其測試網(wǎng)已經(jīng)上線，計劃于 2024 年第一季度推出主網(wǎng)。以太坊仍然將 Rollups 視為其開發(fā)路線圖的核心部分。拋開正統(tǒng)之爭，這多少意味著以太坊將 Layer2 的廣義定義留給了市場，公開賦能的同時也巧妙地引入了各種形式的競爭。Eclipse 利用這一點，通過模塊化開發(fā)將以太坊的安全性、Solana 的高性能和 Celestia 的 DA 敘述相結(jié)合，以形成強大的市場敘述。

回顧以太坊的發(fā)展，一個有趣的現(xiàn)象是上一個市場周期，在 DeFi Summer 的炒作下，“DeFi 嵌套”和“DeFi 樂高”的創(chuàng)新和強化激增，導(dǎo)致生態(tài)系統(tǒng)爆發(fā)式發(fā)展。本輪LSD與Re-stake相結(jié)合，“質(zhì)押嵌套”、“質(zhì)押樂高”組合激增，EigenLayer、Blast、BTC生態(tài)的Merlin短時間內(nèi)TVL迅速提升。如果說嵌套和樂高被認(rèn)為是市場情緒的主旋律，那么未來模塊化也能發(fā)揮其獨特的嵌套和樂高旋律。

模塊化的魅力在于組件解耦的好處，從而實現(xiàn)堆棧每一層的創(chuàng)新，讓每個模塊的優(yōu)化放大其他模塊的優(yōu)化。也許在未來，模塊化開發(fā)流程可以為開發(fā)人員和用戶提供過多的競爭選擇。