Neel Somani 分享了 Eclipse 的設計哲學、與其他技術如 Solana 和 Ethereum 的關係等。本文源自 Bankless Podcast《SVM on Ethereum?! Bullish or Bearish $SOL? with Neel Somani, Founder, Eclipse》,由深潮整理、編譯及撰稿。
(前情提要: Solana沒有被以太坊殺死的核心原因?)
(背景補充: Solana創辦人:美國一定要明確監管加密貨幣,快試用區塊鏈技術!)
目前,Layer 2 解決方案和跨鏈互操作性已經成為熱門話題。近期火熱的 Eclipse 提供了基於 Solana 的 SVM,並且可以作為以太坊的 L2 使用。
對於 Solana 來說,這是否是一種利好?兩種不同型別的公鏈通過 Eclipse 在某種程度上進行了結合,後續又該如何發展?
在本期Podcast中,Neel 與我們分享了 Eclipse 的設計哲學、與其他技術如 Solana 和 Ethereum 的關係,以及 Eclipse 中心化與去中心化的權衡。
Eclipse 的動機與挑戰
Eclipse 主網是一個新的 L2 解決方案,其特點是內嵌了 Solana 的 SVM(Solana 虛擬機器)。Neel 解釋說,Eclipse 的初衷是將 Solana 帶到以太坊上,他們希望利用 Solana 的執行能力,同時利用以太坊的結算和流動性,但遇到了許多限制和約束。
其中一個主要的挑戰與資料可用性相關,Neel 提到,根據他們的預測,如果按照他們預期的交易量進行操作,以太坊的資料可用性將變得非常昂貴。為了解決這個問題並確保交易費用保持在一個競爭性的水平,Eclipse 團隊決定引入 Celestia 和 Risk Zero, Celestia 被用於資料可用性,而 Risk Zero 被用於欺詐證明。
Neel 還提到,由於 Solana 缺少某些基本的技術元件,如全域性的默克爾樹,這使得將其帶到以太坊上的任務變得更加困難。因此,他們不得不採取額外的措施,如引入 Celestia 和 Risk Zero,以確保 Eclipse 能夠成功地實現其目標。
深潮注:默克爾樹是一種資料結構,用於在不透露全部資料的情況下驗證資料的完整性和內容;原語,指的是基本的、核心的功能或元件。
Solana 虛擬機器 (SVM) vs Ethereum 虛擬機器 (EVM)
執行方式的不同
EVM :Neel 指出,EVM 的主要問題是它是單執行緒的,所有的交易都按順序執行,導致網路容易被大量交易(如 NFT 釋出)擁堵。
SVM :與 EVM 不同,SVM 的主要優勢是它可以並行執行交易。只要這些交易不涉及相同的狀態,它們就可以同時執行,這種並行化顯著提高了處理速度和效率。
設計目的與網路效應
EVM:雖然 EVM 在執行方面可能不是最優的,但它因其網路效應而受到青睞。大量的應用程式已經為 EVM 構建,這使得將這些應用遷移到其他平臺變得容易。
SVM:SVM 的網路效應也在增長。Neel 預測 SVM 將在未來繼續發展,並帶來全新的應用,這些應用在沒有並行執行的環境下是不存在的。
基礎技術與歷史
EVM:是為以太坊設計的,主要考慮的是以太坊的特定需求和功能。
SVM:Neel 提到,SVM 實際上是基於 BPF( Berkeley packet filter,一種軟體介面) 虛擬機器。這種虛擬機器已經在 Linux 核心中存在了幾十年,這使得 SVM 更加穩定和可靠。
Celestia 與 Ethereum 的資料可用性選擇
Neel 解釋,當 Celestia 上線時,它將是目前存在的最先進的可擴充套件區塊空間,用於使交易可用。
Neel 指出,Ethereum 的頻寬限制導致只能釋出有限的交易。而 Celestia 作為一個先進的可擴充套件區塊空間,旨在解決這一問題。Celestia 即將上線,相比其他仍在開發中的技術具有時間優勢。
Eclipse 選擇 Ethereum 作為其結算和流動性來源,並使用 ETH 作為 gas。Neel 認為,儘管 Celestia 可能會捕獲 Ethereum 的一部分價值,但 ETH 的「貨幣性」和「價值流動」是區分這兩者的關鍵。
交易的大部分成本通常不是用於資料可用性,而是用於執行。在網路擁堵時,執行費用會增加。
Eclipse 依賴 Ethereum 提供的安全性。通過定期向 Ethereum 釋出狀態路由或承諾,Eclipse 獲得了這種安全性。
Neel 強調,Eclipse 和 Ethereum 之間的這種關係為 Ethereum 帶來了價值流動。
模組化設計與 Risk Zero
Neel 解釋, Risk Zero 是一個非常有野心的 ZK UVM(零知識證明虛擬機器),主要功能是為程式執行生成零知識證明。
大多數 ZK UVM 被設計為證明某些特定的、訂製的程式。這些程式通常非常受限,只能用於特定的任務或計算。Risk Zero 則採用了不同的方法,它基於一個名為 Risk Five 普通的虛擬機器。Risk Five 是一個開放的指令集架構,已經存在了很長時間,並被廣泛應用於各種計算任務中。
Risk Zero 的一個關鍵特點是它可以對任何 Risk Five 程式進行零知識證明。幾乎任何已經為 Risk Five 寫的程式,無論是用 Rust、C++ 還是其他語言編寫的,都可以在 Risk Zero 上執行,並生成一個證明,證明該程式已經正確執行,而不透露程式的具體內容或其它細節。
這種能力為 Risk Zero 提供了巨大的靈活性和廣泛的應用場景。例如,在 Eclipse 中,當交易被提交併在其內部執行時,Risk Zero 被用來生成這些交易的零知識證明。這些證明確保了交易的正確性和完整性。
為了驗證交易的正確性,傳統的方法是,交易需要在以太坊上重新執行。這不僅需要時間,而且在以太坊上執行交易(尤其是複雜的智慧合約交易)可能會產生高昂的費用。
通過使用 Risk Zero,Eclipse 可以避免這種重新執行的需求。一旦生成了零知識證明,這些證明就可以提交給以太坊,證明交易已經在 Eclipse 上正確執行,而無需在以太坊上再次執行它。
由於避免了在以太坊上重新執行交易,這大大減少了與交易驗證相關的費用。這對於那些希望利用以太坊的安全性,但又不希望支付高昂費用的應用和使用者來說,是一個巨大的優勢。
Neel 強調,Eclipse 不僅僅是一個傳統意義上的 Layer 2 解決方案,它還帶有一個框架,為開發者提供了一套工具和結構和更大的靈活性,允許他們根據自己的需求和目標訂製自己的鏈。
由於 Eclipse 提供了這樣的框架,可以存在多個 Eclipse 鏈。這些鏈可以是完全獨立的,也可以與主 Eclipse 鏈或其他 Eclipse 鏈互相通訊。這種多鏈的結構提供了更高的並行性和擴充套件性,使得不同的應用和專案可以在自己的鏈上執行,而不會影響到其他鏈的效能。
中心化與去中心化的權衡
主持人提到,Solana 擁有更廣泛的驗證器集,而 Eclipse 則將其去中心化的部分外包給 Ethereum。而 Neel 認為,去中心化並不總是最佳選擇,特別是當與安全性和效率進行權衡時。
Neel 指出,與 Solana 不同,Eclipse 在去中心化方面可能不那麼強大。Solana 有數千個驗證器,而 Eclipse 的成本在固定方面比 Solana 低 4000 倍,因為它只需要一個驗證器。
當考慮 Roll-Ups 的設計和實施時,Neel 認為,最關鍵的是要考慮其安全性屬性,應該關注 Roll-Ups 是否能夠提供所需的安全性保障,而不是簡單地關注其是否去中心化。
如果 Roll-Ups 可以提供與完全去中心化的系統相同的安全性屬性,那麼某些元件的中心化是可以接受的。例如,Roll-Ups 的序列化器(sequencers)可能是中心化的,但只要它們不威脅到系統的整體安全性,這種中心化是可以接受的。
Neel 強調,即使序列化器拒絕處理某個交易,使用者仍然可以直接將交易提交到以太坊,這為使用者提供了一個去中心化的備選方案。
Eclipse 未來展望
Neel 認為,現有的術語可能不足以準確描述 Eclipse 的特性和功能。他更喜歡將 Eclipse 視為一個與 Ethereum 緊密整合的 Layer 2 Validium,其中 EVM 作為其執行環境。對於未來,Neel 希望看到 Eclipse 上的新應用和真正的創新,特別是與能源相關的專案。
Neel 提到,Eclipse 主網目前沒有代幣。由於 Eclipse 的執行成本較低(主要是支付 Celestia 和 Ethereum 的區塊空間費用),因此不需要代幣發行來支付驗證器。與 Layer 1 不同,Roll-Ups(如 Eclipse)從第一天開始就是盈利的,因為每筆交易都為其自身支付費用。
主持人提到,Solana 可能應該成為 Ethereum 的一個 Layer 2。Neel 認為,儘管 Solana 目前並沒有採取這種路徑,但 Eclipse 正在嘗試這種方法,從零開始構建並觀察這種實驗如何發展。
📍相關報導📍
MetaMask錢包推出Snaps:可兼容非EVM區塊鏈 Solana、Cosmos、Starknet..