作者:YBB Capital 研究員Ac-Core 來(lái)源: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(建筑)等機(jī)構(gòu)/個(gè)人的支持。 Rollup 區(qū)塊鏈與 Polygon 和 Solana 兼容)。根據(jù) CoinDesk 2022 年 9 月 28 日的報(bào)告,Eclipse 成功完成了由 Polychain 領(lǐng)投的 600 萬(wàn)美元種子輪融資以及由 Tribe Capital 和 Tabiya 共同領(lǐng)投的 900 萬(wàn)美元種子輪融資,融資總額達(dá) 1500 萬(wàn)美元。此外,Eclipse 還獲得了 Solana 基金會(huì)的開(kāi)發(fā)資助,用于支持 Solana 虛擬機(jī)驅(qū)動(dòng)的 Rollup。
創(chuàng)始人 Somani 利用自己的網(wǎng)絡(luò)以及靠近芝加哥 Solana 總部的地理優(yōu)勢(shì),成功利用 Solana 的虛擬機(jī)創(chuàng)建了獨(dú)特的區(qū)塊鏈。他的愿景是讓開(kāi)發(fā)人員能夠部署由 Solana 虛擬機(jī)支持的 Rollups,并計(jì)劃于 2023 年初在 Cosmos 生態(tài)系統(tǒng)中啟動(dòng)公共測(cè)試網(wǎng),以期在未來(lái)支持 Aptos 的 Move 語(yǔ)言。
Solana 聯(lián)合創(chuàng)始人兼 Eclipse 天使投資人 Anatoly Yakovenko 評(píng)論道:“Eclipse 為 Solana 通過(guò)區(qū)塊鏈間通信 (IBC) 與 Cosmos 進(jìn)行通信鋪平了道路。”
Polychain Capital 合伙人 Niraj Pant 表示:“隨著大公司和政府開(kāi)始進(jìn)入?yún)^(qū)塊鏈領(lǐng)域,Eclipse 成為促進(jìn)其用例的關(guān)鍵基礎(chǔ)設(shè)施,例如 Web2 規(guī)模的消費(fèi)者和金融應(yīng)用程序?!?/p>
Eclipse架構(gòu)
以下內(nèi)容基于官方解釋?zhuān)篍clipse Mainnet是以太坊第一個(gè)以SVM為中心的通用L2,結(jié)合了模塊化堆棧的本質(zhì),目標(biāo)是成為由SVM驅(qū)動(dòng)的最快、最通用的Layer2。該項(xiàng)目的架構(gòu)涉及使用以太坊作為結(jié)算層并內(nèi)置官方驗(yàn)證橋;Celestia 作為數(shù)據(jù)可用性層;RISC Zero 用于生成零知識(shí)欺詐證明;最終,Solana 的 SVM 作為這個(gè)模塊化 Layer2 項(xiàng)目的執(zhí)行環(huán)境。下面根據(jù)官方描述進(jìn)行詳細(xì)解釋。
結(jié)算層——以太坊:Eclipse將在以太坊上進(jìn)行結(jié)算(即使用以太坊上的嵌入式驗(yàn)證橋),使用ETH進(jìn)行g(shù)as消耗,并在以太坊上提交欺詐證明;
執(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欺詐證明(無(wú)需中間狀態(tài)序列化);
通信協(xié)議——IBC:Eclipse將通過(guò)Cosmos的區(qū)塊鏈間通信標(biāo)準(zhǔn)IBC完成與非Eclipse鏈的橋接;
跨鏈協(xié)議 — Hyperlane:Eclipse 與 Hyperlane 合作,將 Hyperlane 的無(wú)許可互操作性解決方案引入基于 Solana 虛擬機(jī) (SVM) 的區(qū)塊鏈中。
結(jié)算層:獲得以太坊的安全性和流動(dòng)性
與其他以太坊 Rollups 一樣,Eclipse 使用以太坊作為其結(jié)算層。這個(gè)過(guò)程涉及將Eclipse的驗(yàn)證橋直接集成到Eclipse中,其中其節(jié)點(diǎn)必須檢查驗(yàn)證橋的正確性和交易順序的正確性,從而為用戶提供以太坊級(jí)別的安全性。
L2BEAT 將 Layer2 定義為“完全或部分從以太坊第一層獲得安全性的鏈,這樣用戶就不必依賴(lài) Layer2 驗(yàn)證者的誠(chéng)實(shí)來(lái)確保其資金的安全。”Eclipse驗(yàn)證橋可以在某些故障場(chǎng)景下執(zhí)行最終的有效性和抗審查性。即使排序器出現(xiàn)故障或開(kāi)始在 L2 上進(jìn)行審查,用戶仍然可以通過(guò)橋強(qiáng)制執(zhí)行交易,并將以太坊作為交易 Gas 燃燒。
執(zhí)行層:實(shí)現(xiàn) Solana 的交易速度和規(guī)模
為了提高效率,Eclipse 主網(wǎng)采用了 Solana 的執(zhí)行環(huán)境,利用 SVM 和 Sealevel(Solana 構(gòu)建水平可擴(kuò)展性的技術(shù)解決方案,一種跨 GPU 和 SSD 進(jìn)行水平擴(kuò)展的超并行事務(wù)處理引擎)。與EVM的單線程操作相比,它的優(yōu)點(diǎn)是可以在不設(shè)計(jì)重疊狀態(tài)事務(wù)的情況下執(zhí)行事務(wù),而不是順序執(zhí)行它們。
在EVM兼容性方面,Eclipse主網(wǎng)與Neon EVM合作,允許開(kāi)發(fā)人員使用以太坊工具并在Solana上構(gòu)建Web3應(yīng)用程序。根據(jù)官方數(shù)據(jù),其吞吐量明顯高于單線程EVM,達(dá)到140 TPS。EVM 用戶可以通過(guò) MetaMask 錢(qián)包的“Snaps”插件與 Eclipse 主網(wǎng)上的應(yīng)用程序進(jìn)行本地交互。
數(shù)據(jù)可用性:利用 Celestia 的帶寬和可驗(yàn)證性
Eclipse 主網(wǎng)將利用 Celestia 來(lái)實(shí)現(xiàn)數(shù)據(jù)可用性并建立長(zhǎng)期合作,因?yàn)橐蕴荒壳盁o(wú)法支持 Eclipse 的目標(biāo)吞吐量和成本,即使在 EIP-4844 升級(jí)之后,每個(gè)塊平均提供約 0.375 MB 的 Blob 空間(每塊限制約為 0.75 MB)。
根據(jù)官方數(shù)據(jù),對(duì)于基于 Rollup 擴(kuò)展的 ERC-20 交易,按每筆交易 154 字節(jié)計(jì)算,這相當(dāng)于所有 Rollups 總共約 213 TPS,而對(duì)于 Compression Swaps 按每筆交易約 400 字節(jié)計(jì)算,總 TPS 約為所有 Rollups 的吞吐量約為 82 TPS。相比之下,Celestia 的 2MB 區(qū)塊,隨著網(wǎng)絡(luò)證明穩(wěn)定以及更多 DAS(數(shù)據(jù)可用性采樣)輕節(jié)點(diǎn)上線,Blobstream 預(yù)計(jì)將增加到 8MB。
Eclipse認(rèn)為,在Celestia DAS輕節(jié)點(diǎn)的支持下,考慮到密碼經(jīng)濟(jì)安全性和高度可擴(kuò)展的DA吞吐量之間的權(quán)衡,Celestia成為當(dāng)前Eclipse主網(wǎng)的首選。盡管有觀點(diǎn)認(rèn)為使用以太坊的 DA 是 Layer2 的正統(tǒng)方式,但該項(xiàng)目將在 EIP-4844 之后繼續(xù)關(guān)注 DA 擴(kuò)展的進(jìn)展。如果以太坊能夠?yàn)镋clipse提供更大規(guī)模、更高吞吐量的DA,那么遷移到以太坊DA的可能性將會(huì)被重新評(píng)估。
證明機(jī)制:RISC零欺詐證明(無(wú)需中間狀態(tài)序列化)
Eclipse 的證明方法類(lèi)似于 Anatoly 的 SVM 欺詐證明 SIMD(請(qǐng)參閱擴(kuò)展的 GitHub 鏈接 2),與 John Adler 避免狀態(tài)序列化的高成本的見(jiàn)解一致。為了防止將 Merkle 樹(shù)(哈希樹(shù))重新引入 SVM,早期嘗試將稀疏 Merkle 樹(shù)插入到 SVM 中,但每次事務(wù)更新 Merkle 樹(shù)都會(huì)極大地影響性能。如果不使用 Merkle 樹(shù)進(jìn)行證明,現(xiàn)有的通用 Rollup 框架(例如 OP 棧)就無(wú)法作為 SVM Rollup 的基礎(chǔ),需要更具創(chuàng)造性的防錯(cuò)架構(gòu)。
故障證明要求:交易的輸入承諾、交易本身以及重新執(zhí)行交易將導(dǎo)致與鏈上指定的輸出不同的證明。
輸入承諾通常是通過(guò)提供 Rollup 狀態(tài)樹(shù)的 Merkle 根來(lái)實(shí)現(xiàn)的。Eclipse 的執(zhí)行器將發(fā)布每筆交易的輸入和輸出列表(包括賬戶哈希值和相關(guān)的全局狀態(tài))、生成每筆輸入的交易索引,并將交易發(fā)布到 Celestia,允許任何全節(jié)點(diǎn)跟進(jìn),從其交易中提取輸入賬戶自己的狀態(tài),計(jì)算輸出賬戶,并確認(rèn)以太坊上的承諾是正確的。
可能會(huì)出現(xiàn)兩種主要類(lèi)型的錯(cuò)誤:
不正確的輸出:驗(yàn)證器提供鏈上正確輸出的 ZK 證明。Eclipse 使用 RISC Zero 創(chuàng)建 SVM 執(zhí)行的 ZK 證明,繼續(xù)該項(xiàng)目之前證明 BPF 字節(jié)碼執(zhí)行的工作(請(qǐng)參閱擴(kuò)展的 GitHub 鏈接 3)。這使得我們的結(jié)算合約能夠確保正確性,而無(wú)需在鏈上運(yùn)行交易。
輸入錯(cuò)誤:驗(yàn)證者在鏈上發(fā)布?xì)v史數(shù)據(jù),表明輸入狀態(tài)與聲明的狀態(tài)不匹配。然后利用塞拉斯蒂婭的量子引力橋讓Eclipse的結(jié)算合約驗(yàn)證是否存在欺詐性歷史數(shù)據(jù)。
Eclipse 與 ETH 和 Celestia 的連接
數(shù)據(jù)可用性(DA)是 Rollup 成本支出的主要組成部分之一。目前,以太坊L2的數(shù)據(jù)可用性主要依賴(lài)兩種方式:Calldata和DAC(數(shù)據(jù)可用性委員會(huì))。
· Calldata:例如,Arbitrum 或 Optimism 等 Layer2 解決方案將交易數(shù)據(jù)作為 calldata 直接發(fā)布到以太坊高度抗審查的區(qū)塊上。以太坊價(jià)格將數(shù)據(jù)以及計(jì)算和存儲(chǔ)歸于一個(gè)單位:Gas,這是以太坊 Rollup 產(chǎn)生的主要成本之一。為了提高效率,EIP-4844升級(jí)引入了Blobspace來(lái)替代calldata,為所有Rollup提供每塊375 KB的目標(biāo);
· DAC:與直接在鏈上發(fā)布通話數(shù)據(jù)相比,DAC 提供了更高的吞吐量,但用戶需要信任一個(gè)小的委員會(huì)或一組驗(yàn)證者,以避免惡意扣留數(shù)據(jù)。DAC,包括基于重質(zhì)押的解決方案,為 L2 引入了重要的信任假設(shè),從而迫使 DAC 依賴(lài)聲譽(yù)、治理機(jī)制或代幣投票來(lái)抑制或懲罰隱藏?cái)?shù)據(jù)的行為。因此,使用外部DA在某種程度上需要使用DAC。
值得注意的是,Eclipse 利用 Celestia 的 Blobstream(一種權(quán)益證明共識(shí)網(wǎng)絡(luò))來(lái)允許 Layer2 訪問(wèn) Celestia 的 Blobspace。根據(jù)壓縮方案,這可實(shí)現(xiàn)高達(dá) 8 MB 的 blob 空間,大致相當(dāng)于每秒 9,000 到 30,000 次 ERC-20 傳輸。然而,使用 Blobstream 的 Layer2 將依賴(lài)于 Celestia 驗(yàn)證器的證明。如果輕節(jié)點(diǎn)檢測(cè)到 2/3 的 Celestia 驗(yàn)證者扣留惡意數(shù)據(jù),他們可以對(duì)其進(jìn)行懲罰。客觀地講,DAC的可信度相對(duì)于原生鏈DA仍有其不足之處,但從創(chuàng)新和市場(chǎng)敘事的角度來(lái)看,這樣的不足是不可避免的。
正如官方文檔中所解釋的以及上圖所示,Eclipse 演示了通過(guò) Celestia 的 Blobstream(如上所述,基于 DAS 擴(kuò)展的以太坊模塊化 DA 解決方案)向以太坊證明的數(shù)據(jù)。這使得橋接器能夠基于 Celestia 的簽名數(shù)據(jù)根來(lái)驗(yàn)證為欺詐證明提供的數(shù)據(jù)安全性。用戶通過(guò)原生以太坊橋?qū)①Y金存入Eclipse,流程如下:
1、用戶調(diào)用以太坊上的Eclipse充值橋合約(擴(kuò)展鏈接1中的合約地址);
2. Eclipse的SVM執(zhí)行器(計(jì)算SVM結(jié)果并輸出到新的Eclipse狀態(tài)節(jié)點(diǎn))和中繼器(ETH到Eclipse通道)完成發(fā)送方和接收方地址之間的跨鏈數(shù)據(jù)交互;
3.中繼器調(diào)用SVM橋接程序,負(fù)責(zé)將用戶充值發(fā)送到目標(biāo)地址;
4.中繼者通過(guò)zk-light客戶端驗(yàn)證存款交易(待實(shí)現(xiàn));
5. 最后,包含后續(xù)存款的交易區(qū)塊完成并通過(guò) Solana Geyser 插件發(fā)布。
在這個(gè)過(guò)程中,每個(gè)Eclipse slot都會(huì)被SVM執(zhí)行器通過(guò)Geyser發(fā)布到消息隊(duì)列中。然后這些槽作為數(shù)據(jù)塊發(fā)布到 Celestia,Celestia 驗(yàn)證器提交這些提交的數(shù)據(jù)塊,以證明交易包含在 Eclipse 鏈中并對(duì)應(yīng)于數(shù)據(jù)根。最后,每個(gè) Celestia 數(shù)據(jù)塊都通過(guò) Blobstream 中繼到以太坊上的 Eclipse 橋接器合約。
與其他使用欺詐證明的以太坊 Layer2 解決方案類(lèi)似,從 Eclipse 提取資金到以太坊也需要一個(gè)挑戰(zhàn)期,允許驗(yàn)證者在無(wú)效狀態(tài)轉(zhuǎn)換的情況下提交欺詐證明。
· SVM 執(zhí)行器定期提交以太坊上的 Eclipse 插槽紀(jì)元(該過(guò)程遵循預(yù)定數(shù)量的批次)并發(fā)布抵押品;
· Eclipse的橋接合約執(zhí)行基本檢查,以確保發(fā)布的數(shù)據(jù)格式的完整性(參見(jiàn)參考文章[2]中的欺詐證明設(shè)計(jì)部分);
· 如果提交的批次通過(guò)基本檢查,則會(huì)生成預(yù)定義窗口。如果在此窗口內(nèi),批量承諾表明狀態(tài)轉(zhuǎn)換無(wú)效,驗(yàn)證者可以發(fā)布欺詐證明;
· 如果驗(yàn)證者成功發(fā)布欺詐證明,他們將贏得執(zhí)行者的抵押品,提交的批次將被拒絕,Eclipse L2 的規(guī)范狀態(tài)將回滾到最后一個(gè)有效的批次承諾。此時(shí),Eclipse的管理員有權(quán)選擇新的執(zhí)行器;
· 但是,如果挑戰(zhàn)期過(guò)后,沒(méi)有任何成功的欺詐證明,執(zhí)行人將收回其抵押品和獎(jiǎng)勵(lì);
· 最后,Eclipse 的橋接合約完成最終確認(rèn)批次中包含的所有提款交易。
概括
Eclipse 目前正處于開(kāi)發(fā)和測(cè)試的早期階段,標(biāo)志著以太坊上第一個(gè) SVM Layer2。其測(cè)試網(wǎng)已經(jīng)上線,計(jì)劃于 2024 年第一季度推出主網(wǎng)。以太坊仍然將 Rollups 視為其開(kāi)發(fā)路線圖的核心部分。拋開(kāi)正統(tǒng)之爭(zhēng),這多少意味著以太坊將 Layer2 的廣義定義留給了市場(chǎng),公開(kāi)賦能的同時(shí)也巧妙地引入了各種形式的競(jìng)爭(zhēng)。Eclipse 利用這一點(diǎn),通過(guò)模塊化開(kāi)發(fā)將以太坊的安全性、Solana 的高性能和 Celestia 的 DA 敘述相結(jié)合,以形成強(qiáng)大的市場(chǎng)敘述。
回顧以太坊的發(fā)展,一個(gè)有趣的現(xiàn)象是上一個(gè)市場(chǎng)周期,在 DeFi Summer 的炒作下,“DeFi 嵌套”和“DeFi 樂(lè)高”的創(chuàng)新和強(qiáng)化激增,導(dǎo)致生態(tài)系統(tǒng)爆發(fā)式發(fā)展。本輪LSD與Re-stake相結(jié)合,“質(zhì)押嵌套”、“質(zhì)押樂(lè)高”組合激增,EigenLayer、Blast、BTC生態(tài)的Merlin短時(shí)間內(nèi)TVL迅速提升。如果說(shuō)嵌套和樂(lè)高被認(rèn)為是市場(chǎng)情緒的主旋律,那么未來(lái)模塊化也能發(fā)揮其獨(dú)特的嵌套和樂(lè)高旋律。
模塊化的魅力在于組件解耦的好處,從而實(shí)現(xiàn)堆棧每一層的創(chuàng)新,讓每個(gè)模塊的優(yōu)化放大其他模塊的優(yōu)化。也許在未來(lái),模塊化開(kāi)發(fā)流程可以為開(kāi)發(fā)人員和用戶提供過(guò)多的競(jìng)爭(zhēng)選擇。