撰文:0xjs@金色財經
又有一個選手來到擁擠的以太坊L2戰場。
2024年3月11日,使用Solana虛擬機器(SVM)的以太坊L2 解決方案Eclipse宣布完成5000萬美元A輪融資,由Placeholder和Hack VC共同領投,使其總籌資額達到6500萬美元。
它又能為以太坊L2帶來哪些創新功能和亮點呢?本文簡述之。
Eclipse:站在巨人肩上
Eclipse結合了模組化堆疊的最佳部分:
結算:以太坊-Eclipse 在以太坊上結算(即,內建的驗證橋將位於以太坊上)並使用ETH 作為其Gas 代幣。
執行:Solana虛擬機器(SVM) -Eclipse 將運行高效能SVM 作為其執行環境。
資料可用性:Celestia-Eclipse將其資料發佈到Celestia,以實現可擴展的資料可用性(DA)。
證明:RISC Zero-Eclipse將使用RISC Zero進行ZK詐欺證明(無需中間狀態序列化)。
以太坊結算
Eclipse 主網路在以太坊上的驗證橋將直接內建在Eclipse 中。 Eclipse 節點將透過此橋來確定「規範鏈」。該橋強制Eclipse 執行正確的排序。 Eclipse 節點也必須運行以太坊完整節點。該橋將驗證所有Eclipse 交易,防止提交無效狀態。此外,它將在某些失敗情況下也可以存活和抗審查,即使排序器出現故障或開始在L2 進行審查,用戶也可以透過橋強制包含他們的交易。
Eclipse 認識到以太坊原生資產的重要性,因此Eclipse 將使用ETH 作為Gas 代幣。 Eclipse 主網沒有計劃擁有自己的代幣。
Eclipse選擇Solana VM
虛擬機器是一個可以運作程式的軟體。具體來說,虛擬機器執行區塊鏈的智慧合約。 Eclipse為何選擇使用Solana VM?
-
效能:以太坊等EVM 區塊鏈,在任何給定點都只有一個程式在運行,稱為「單執行緒」。 Solana虛擬機是一個高度並行的runtime,如果有多個內核,則可以同時運行多個程序,從而顯著提高吞吐量。
-
安全性:某些語言(例如Rust)可以更輕鬆地防止Solidity 無法防止的許多錯誤。例如,以太坊智能合約很容易受到所謂的重入攻擊。
-
社群:以太坊和Solana 等流行區塊鏈分別圍繞著EVM 和SVM 培育了蓬勃發展的開發者社群。與Move VM 或Fuel VM 等較新的虛擬機器相比,這意味著更好的工具和開發人員支援。
-
易於使用:Solidity 等語言更容易編寫程式碼,並且並非所有字節碼都支援從Solidity 進行編譯。
綜上,所以Eclipse主網路運選擇行Solana虛擬機器(SVM)。但也可以支援使用Neon EVM 為以太坊虛擬機器(EVM)建構的程式。將來Eclipse將根據dApp 的要求添加其他字節碼格式。甚至可以使用EVM 的現有工具(例如Truffle 或Remix)或SVM 的工具(例如Solana CLI 或Seahorse Lang)。
Eclipse使用Celestia提供DA
以太坊目前的頻寬不支援Eclipse 主網路的目標吞吐量和費用。即使在EIP-4844 (又稱「Proto-danksharding」)之後,這種情況仍然如此,它為每個區塊提供平均約0.375 MB 的blob 空間(每個區塊的限制為約0.75 MB)。
-
對於具有基本壓縮的ERC-20 轉帳(每筆交易約154 位元組),這相當於所有rollup可達約213 TPS。
-
對於壓縮交換(每筆交易約400 位元組),這相當於所有Rollup可達約82 TPS。
相比之下,Celestia 將於今年稍後推出2 MB 區塊。一旦足夠的資料可用性採樣(DAS)輕節點上線且網路穩定,Blobspace 預計將在啟動後不久增加到8 MB 。 DAS 輕節點有兩個關鍵功能:
-
使用戶能夠自行驗證Eclipse 區塊資料是否可用
-
有助於安全地擴展整個網絡,因為隨著更多DAS 輕節點上線,DA 層可以安全地增加其吞吐量。
Celestia 的DAS 輕節點從第一天起就支援、加密經濟安全屬性以及高度可擴展的DA 吞吐量,使其成為當今Eclipse 主網的明確選擇。 Eclipse 還打算在EIP-4844 之後監控以太坊在DA 擴展方面的進展。如果以太坊為Eclipse 提供更大的規模以使用戶受益,Eclipse 將評估遷移到以太坊DA 的可能性。
欺詐性證明使用RISC Zero
Eclipse主網部署樂觀Rollup,但正在並行開發零知識Rollup。
對於樂觀Rollup,「排序器」會對交易進行排序,並將產生的狀態根與賞金一起發佈到第以太坊1 層。 「驗證者」可以重新執行交易,如果對結果有不同意見,驗證者可以透過「結算」來挑戰狀態根。如果驗證者正確,則獎勵將授予驗證者。
Eclipse 使用RISC Zero建立ZK詐欺證明,無需中間狀態序列化。