作者:YBB Capital 研究員Ac-Core 來源:medium 翻譯:善歐巴,金色財經
Eclipse 背景
Eclipse 創辦人Neel Somani 曾擔任Airbnb 的軟體工程師和Citadel 的定量研究員,於2022 年創立了基於Solana 的新創公司Eclipse。這家新創公司獲得了Solana 聯合創始人Anatoly Yakovenko 以及Polygon(建築)等機構/個人的支持。 Rollup 區塊鏈與Polygon 和Solana 相容)。根據CoinDesk 2022 年9 月28 日的報告,Eclipse 成功完成了由Polychain 領投的600 萬美元種子輪融資以及由Tribe Capital 和Tabiya 共同領投的900 萬美元種子輪融資,融資總額達1500 萬美元。此外,Eclipse 還獲得了Solana 基金會的開發資助,用於支援Solana 虛擬機器驅動的Rollup。
創辦人Somani 利用自己的網路以及靠近芝加哥Solana 總部的地理優勢,成功利用Solana 的虛擬機器創建了獨特的區塊鏈。他的願景是讓開發人員能夠部署由Solana 虛擬機器支援的Rollups,並計劃於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: Eclipse將透過Cosmos的區塊鏈間通訊標準IBC完成與非Eclipse鏈的橋接;
跨鏈協議— Hyperlane: Eclipse 與Hyperlane 合作,將Hyperlane 的無許可互通性解決方案引入基於Solana 虛擬機(SVM) 的區塊鏈中。
結算層:獲得以太坊的安全性和流動性
與其他以太坊Rollups 一樣,Eclipse 使用以太坊作為其結算層。這個過程涉及將Eclipse的驗證橋直接整合到Eclipse中,其中其節點必須檢查驗證橋的正確性和交易順序的正確性,從而為使用者提供以太坊層級的安全性。
L2BEAT 將Layer2 定義為「完全或部分從以太坊第一層獲得安全性的鏈,這樣用戶就不必依賴Layer2 驗證者的誠實來確保其資金的安全。」Eclipse 驗證橋可以在某些故障場景下執行最終的有效性和抗審查性。即使排序器發生故障或開始在L2 上進行審查,用戶仍然可以透過橋強制執行交易,並將以太坊作為交易Gas 燃燒。
執行層:實現Solana 的交易速度與規模
為了提高效率,Eclipse 主網採用了Solana 的執行環境,利用SVM 和Sealevel(Solana 建構水平可擴展性的技術解決方案,一種跨GPU 和SSD 進行水平擴展的超平行事務處理引擎)。與EVM的單執行緒操作相比,它的優點是可以在不設計重疊狀態事務的情況下執行事務,而不是順序執行它們。
在EVM相容性方面,Eclipse主網與Neon EVM合作,允許開發人員使用以太坊工具並在Solana上建立Web3應用程式。根據官方數據,其吞吐量明顯高於單線程EVM,達到140 TPS。 EVM 用戶可以透過MetaMask 錢包的「Snaps」外掛程式與Eclipse 主網路上的應用程式進行本機互動。
資料可用性:利用Celestia 的頻寬和可驗證性
Eclipse 主網將利用Celestia 來實現數據可用性並建立長期合作,因為以太坊目前無法支援Eclipse 的目標吞吐量和成本,即使在EIP-4844 升級之後,每個區塊平均提供約0.375 MB 的Blob 空間(每區塊限制約為0.75 MB)。
根據官方數據,對於基於Rollup 擴展的ERC-20 交易,以每筆交易154 位元組計算,這相當於所有Rollups 總共約213 TPS,而對於Compression Swaps 按每筆交易約400 位元組計算,總TPS 約所有Rollups 的吞吐量約為82 TPS。相較之下,Celestia 的2MB 區塊,隨著網路證明穩定以及更多DAS(數據可用性採樣)輕節點上線,Blobstream 預計將增加到8MB。
Eclipse認為,在Celestia DAS輕節點的支援下,考慮到密碼經濟安全性和高度可擴展的DA吞吐量之間的權衡,Celestia成為當前Eclipse主網的首選。儘管有觀點認為使用以太坊的DA 是Layer2 的正統方式,但該專案將在EIP-4844 之後繼續關注DA 擴展的進展。如果以太坊能夠為Eclipse提供更大規模、更高吞吐量的DA,那麼遷移到以太坊DA的可能性將會被重新評估。
證明機制:RISC零詐欺證明(無需中間狀態序列化)
Eclipse 的證明方法類似於Anatoly 的SVM 詐欺證明SIMD(請參閱擴展的GitHub 連結2),與John Adler 避免狀態序列化的高成本的見解一致。為了防止將Merkle 樹(雜湊樹)重新引入SVM,早期嘗試將稀疏Merkle 樹插入到SVM 中,但每次事務更新Merkle 樹都會極大地影響效能。如果不使用Merkle 樹進行證明,現有的通用Rollup 框架(例如OP 堆疊)就無法作為SVM Rollup 的基礎,需要更具創造性的防錯架構。
故障證明要求:交易的輸入承諾、交易本身以及重新執行交易將導致與鏈上指定的輸出不同的證明。
輸入承諾通常是透過提供Rollup 狀態樹的Merkle 根來實現的。 Eclipse 的執行器將發布每筆交易的輸入和輸出清單(包括帳戶哈希值和相關的全局狀態)、產生每個輸入的交易索引,並將交易發佈到Celestia,允許任何全節點跟進,從其交易中提取輸入帳戶自己的狀態,計算輸出帳戶,並確認以太坊上的承諾是正確的。
可能會出現兩種主要類型的錯誤:
不正確的輸出:驗證器提供鏈上正確輸出的ZK 證明。 Eclipse 使用RISC Zero 建立SVM 執行的ZK 證明,繼續該專案之前證明BPF 字節碼執行的工作(請參閱擴充的GitHub 連結3)。這使得我們的結算合約能夠確保正確性,而無需在鏈上運行交易。
輸入錯誤:驗證者在鏈上發布歷史數據,表示輸入狀態與聲明的狀態不符。接著利用塞拉斯提亞的量子引力橋讓Eclipse的結算合約驗證是否有欺詐性歷史資料。
Eclipse 與ETH 和Celestia 的連接
數據可用性(DA)是Rollup 成本支出的主要組成部分之一。目前,以太坊L2的資料可用性主要依賴兩種方式:Calldata和DAC(資料可用性委員會)。
· Calldata:例如,Arbitrum 或Optimism 等Layer2 解決方案將交易資料作為calldata 直接發佈到以太坊高度抗審查的區塊上。以太坊價格將資料以及運算和儲存歸於一個單位:Gas,這是以太坊Rollup 產生的主要成本之一。為了提高效率,EIP-4844升級引入了Blobspace來取代calldata,為所有Rollup提供每塊375 KB的目標;
· DAC:與直接在鏈上發布通話資料相比,DAC 提供了更高的吞吐量,但用戶需要信任一個小的委員會或一組驗證者,以避免惡意扣留資料。 DAC,包括基於重質押的解決方案,為L2 引入了重要的信任假設,從而迫使DAC 依賴聲譽、治理機製或代幣投票來抑製或懲罰隱藏資料的行為。因此,使用外部DA在某種程度上需要使用DAC。
值得注意的是,Eclipse 利用Celestia 的Blobstream(一種權益證明共識網絡)來允許Layer2 存取Celestia 的Blobspace。根據壓縮方案,這可實現高達8 MB 的blob 空間,大致相當於每秒9,000 到30,000 次ERC-20 傳輸。然而,使用Blobstream 的Layer2 將依賴Celestia 驗證器的證明。如果輕節點偵測到2/3 的Celestia 驗證者扣留惡意數據,他們可以對其進行懲罰。客觀地講,DAC的可信度相對於原生鏈DA仍有其不足之處,但從創新和市場敘事的角度來看,這樣的缺點是不可避免的。
正如官方文件中所解釋的以及上圖所示,Eclipse 演示了透過Celestia 的Blobstream(如上所述,基於DAS 擴展的以太坊模組化DA 解決方案)向以太坊證明的數據。這使得橋接器能夠基於Celestia 的簽署資料根來驗證為詐欺證明提供的資料安全性。使用者透過原生以太坊橋將資金存入Eclipse,流程如下:
1.用戶調用以太坊上的Eclipse充值橋合約(擴展連結1中的合約位址);
2. Eclipse的SVM執行器(計算SVM結果並輸出到新的Eclipse狀態節點)和中繼器(ETH到Eclipse通道)完成發送方和接收方位址之間的跨鏈資料互動;
3.中繼器呼叫SVM橋接程序,負責將使用者儲值傳送到目標位址;
4.中繼者透過zk-light客戶端驗證存款交易(待實現);
5. 最後,包含後續存款的交易區塊完成並透過Solana Geyser 插件發布。
在這個過程中,每個Eclipse slot都會被SVM執行器透過Geyser發佈到訊息佇列中。然後這些槽作為資料區塊發佈到Celestia,Celestia 驗證器提交這些提交的資料區塊,以證明交易包含在Eclipse 鏈中並對應於資料根。最後,每個Celestia 資料塊都透過Blobstream 中繼到以太坊上的Eclipse 橋接器合約。
與其他使用詐欺證明的以太坊Layer2 解決方案類似,從Eclipse 提取資金到以太坊也需要一個挑戰期,讓驗證者在無效狀態轉換的情況下提交詐欺證明。
· SVM 執行器定期提交以太坊上的Eclipse 插槽紀元(流程遵循預定數量的批次)並發布抵押品;
· Eclipse的橋接合約執行基本檢查,以確保發布的資料格式的完整性(請參閱參考文章[2]中的詐欺證明設計部分);
· 如果提交的批次通過基本檢查,則會產生預先定義視窗。如果在此視窗內,批次承諾表明狀態轉換無效,驗證者可以發布詐欺證明;
· 如果驗證者成功發布詐欺證明,他們將贏得執行者的抵押品,提交的批次將被拒絕,Eclipse L2 的規範狀態將回滾到最後一個有效的批次承諾。此時,Eclipse的管理員有權選擇新的執行器;
· 但是,如果挑戰期過後,沒有任何成功的欺詐證明,執行人將收回其抵押品和獎勵;
· 最後,Eclipse 的橋接合約完成最終確認批次中包含的所有提款交易。
概括
Eclipse 目前正處於開發和測試的早期階段,標誌著以太坊上第一個SVM Layer2。其測試網已上線,計劃於2024 年第一季推出主網。以太坊仍然將Rollups 視為其開發路線圖的核心部分。拋開正統之爭,這多少意味著以太坊將Layer2 的廣義定義留給了市場,公開賦能的同時也巧妙地引入了各種形式的競爭。 Eclipse 利用這一點,透過模組化開發將以太坊的安全性、Solana 的高效能和Celestia 的DA 敘事相結合,以形成強大的市場敘事。
回顧以太坊的發展,一個有趣的現像是上一個市場週期,在DeFi Summer 的炒作下,「DeFi 嵌套」和「DeFi 樂高」的創新和強化激增,導致生態系統爆發式發展。本輪LSD與Re-stake結合,「質押嵌套」、「質押樂高」組合激增,EigenLayer、Blast、BTC生態的Merlin短時間內TVL迅速提升。如果說嵌套和樂高被認為是市場情緒的主旋律,那麼未來模組化也能發揮其獨特的嵌套和樂高旋律。
模組化的魅力在於組件解耦的好處,從而實現堆疊每一層的創新,讓每個模組的優化放大其他模組的優化。也許在未來,模組化開發流程可以為開發人員和使用者提供過多的競爭選擇。