當前位置:區(qū)塊鏈 >區(qū)塊鏈 > 基于 Solana 虛擬機的以太坊 Layer2:Eclipse 項目深度分析

基于 Solana 虛擬機的以太坊 Layer2:Eclipse 項目深度分析

更新時間:2024-03-01 18:11:29 | 作者:佚名
報道: 作者:YBBCapital研究員Ac-Core來源:medium翻譯:善歐巴, Eclipse背景 Eclipse創(chuàng)始人NeelSomani曾擔任Airbnb的軟件工程師和Citadel的定量研究員,于2022年創(chuàng)立了基于Solana的初創(chuàng)公司Eclipse。該初創(chuàng)公司獲得了Solana聯(lián)合創(chuàng)始人AnatolyYakovenko以及Polygon(建...
報道:

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

Eclipse背景

Eclipse 創(chuàng)始人 Neel Somani 曾擔任 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 萬美元種子輪融資,融資總額達 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 進行通信鋪平了道路。”

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

Eclipse架構(gòu)

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

結(jié)算層——以太坊:Eclipse將在以太坊上進行結(jié)算(即使用以太坊上的嵌入式驗證橋),使用ETH進行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進行ZK欺詐證明(無需中間狀態(tài)序列化);

通信協(xié)議——IBC:Eclipse將通過Cosmos的區(qū)塊鏈間通信標準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 上進行審查,用戶仍然可以通過橋強制執(zhí)行交易,并將以太坊作為交易 Gas 燃燒。

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

為了提高效率,Eclipse 主網(wǎng)采用了 Solana 的執(zhí)行環(huán)境,利用 SVM 和 Sealevel(Solana 構(gòu)建水平可擴展性的技術(shù)解決方案,一種跨 GPU 和 SSD 進行水平擴展的超并行事務(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,達到140 TPS。EVM 用戶可以通過 MetaMask 錢包的“Snaps”插件與 Eclipse 主網(wǎng)上的應(yīng)用程序進行本地交互。

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

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

根據(jù)官方數(shù)據(jù),對于基于 Rollup 擴展的 ERC-20 交易,按每筆交易 154 字節(jié)計算,這相當于所有 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認為,在Celestia DAS輕節(jié)點的支持下,考慮到密碼經(jīng)濟安全性和高度可擴展的DA吞吐量之間的權(quán)衡,Celestia成為當前Eclipse主網(wǎng)的首選。盡管有觀點認為使用以太坊的 DA 是 Layer2 的正統(tǒng)方式,但該項目將在 EIP-4844 之后繼續(xù)關(guān)注 DA 擴展的進展。如果以太坊能夠為Eclipse提供更大規(guī)模、更高吞吐量的DA,那么遷移到以太坊DA的可能性將會被重新評估。

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

Eclipse 的證明方法類似于 Anatoly 的 SVM 欺詐證明 SIMD(請參閱擴展的 GitHub 鏈接 2),與 John Adler 避免狀態(tài)序列化的高成本的見解一致。為了防止將 Merkle 樹(哈希樹)重新引入 SVM,早期嘗試將稀疏 Merkle 樹插入到 SVM 中,但每次事務(wù)更新 Merkle 樹都會極大地影響性能。如果不使用 Merkle 樹進行證明,現(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é)點跟進,從其交易中提取輸入賬戶自己的狀態(tài),計算輸出賬戶,并確認以太坊上的承諾是正確的。

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

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

輸入錯誤:驗證者在鏈上發(fā)布歷史數(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的目標;

· 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)高達 8 MB 的 blob 空間,大致相當于每秒 9,000 到 30,000 次 ERC-20 傳輸。然而,使用 Blobstream 的 Layer2 將依賴于 Celestia 驗證器的證明。如果輕節(jié)點檢測到 2/3 的 Celestia 驗證者扣留惡意數(shù)據(jù),他們可以對其進行懲罰。客觀地講,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ā)送到目標地址;

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 插槽紀元(該過程遵循預(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 的橋接合約完成最終確認批次中包含的所有提款交易。

概括

Eclipse 目前正處于開發(fā)和測試的早期階段,標志著以太坊上第一個 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迅速提升。如果說嵌套和樂高被認為是市場情緒的主旋律,那么未來模塊化也能發(fā)揮其獨特的嵌套和樂高旋律。

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

本站提醒:投資有風險,入市須謹慎,本內(nèi)容不作為投資理財建議。