Eclipse 主網簡介：以太坊 SVM L2
Eclipse Mainnet 是一個通用的第2層協議（L2），結合了模塊化堆棧的最佳部分：
結算：以太坊 - Eclipse 將結算到以太坊（即內置的驗證鏈橋將位於以太坊上）併使用 ETH 作爲其 Gas 代幣。
執行：Solana 虛擬機 (SVM) - Eclipse 將運行高性能 SVM 作爲其執行環境。
數據可用性：Celestia - Eclipse 將其數據髮布到 Celestia，以實現可擴展的數據可用性 (DA)。
證明：RISC Zero - Eclipse 將使用 RISC Zero 進行零知識欺詐證明（無需中間狀態序列化！）
與 Eclipse 相關的大部分頭條新聞都圍繞著我們爲一繫列項目部署特定於應用程序的rollups的工作，但如今比以往任何時候都更加清晰的是，以太坊需要一個能夠真正擴展的通用 L2。大多數應用程序無法從特定於應用程序的鏈自定義中受益，併且由此産生的隔離和覆雜性實際上可能會導緻更糟糕的用戶體驗和開髮人員體驗。
模塊化rollup願景與擁有可擴展的、併行執行的和共享狀態的單鏈的能力之間經常存在錯誤的二分法。 “模塊化”經常與“特定於應用程序”混爲一談，這會讓您相信rollups意味著一個由許多碎片和低吞吐量鏈組成的世界。我們質疑這一想法。
執行：Solana 的速度和擴展性
Eclipse 主網將採用 Solana 領先的執行環境。這帶來了巨大的優勢：
優化併行執行
SVM 及其 Sealevel 執行時間以支持併行事務執行而聞名。不涉及重疊狀態的事務可以併行執行，而不是按順序執行。
隨著處理器繼續以更低的成本添加更多內核，SVM 能直接隨硬件擴展。單線程執行時間（例如今天的 EVM）從根本上來説併未受益於從降低每個內核的成本。十多年來，單線程性能加速一直在不斷減弱。幾乎所有的改進仍來自於內核的增加，因此十分重要的是，要通過併行化工作負載來利用這一趨勢：
早期有一些未經證實的併行化 EVM 嘗試，但在保持兼容性的衕時添加這一點會從根本上導緻折衷，包括在不解決其他瓶頸（例如狀態增長）的情況下降低性能。預先聲明狀態依賴關繫的合約（如在 SVM 中）可實現最佳併行化。
本地費用市場
當今大多數費用市場都是全球性的，這意味著一個熱門應用程序會增加鏈上所有用戶的費用。鑄造一個 NFT 不應讓該鏈對在其他所地方變得毫無用處。 Solana 在本地費用市場上的出色工作解決了這種跨應用程序狀態爭論。在當前的實現中，時間調度程序優先考慮無衝突的交易，因此無衝突的交易能以較低的費用進行。從長遠來看，本地費用市場將在協議層麵實施。這確保了單個應用程序的費用峰值不會影響鏈的其餘部分。
得益於 Solana 獨特的併行執行時間，本地費用市場得以實現。嘗試使用探索式方法（即不預先聲明狀態訪問）爲 EVM 中的狀態熱點實現本地費用市場將降低效率併可能導緻攻擊曏量。
還有一些早期研究正在進行中，這些將允許應用程序輕鬆內化歸屬於它們的本地價值。在今天，這通常需要更具創造性的應用程序級設計。
狀態增長管理
在 EVM 遇到順序執行瓶頸之前，狀態增長是其更緊迫的瓶頸。
由於狀態沒有 Merkle 樹，因此 Solana 不會爲每次狀態更新産生 Merkle 樹更新的開銷。相反，在每個紀元（約2.5天）之後，整個狀態都會被默剋爾化。這比實時默剋爾化（如 EVM 中的）要便宜得多。
更重要的是，EVM 具有動態帳戶訪問權限（即交易可按需觸及任何狀態）。動態狀態查找意味著狀態無法在執行之前加載到內存中。在 SVM 中，每個事務都指定執行所需的所有狀態。
因此，狀態大小不會影響 SVM 的執行。假設驗證者每兩年對存儲磁盤進行一次升級，網絡能安全地每兩年將快照大小增加一倍，而不會遇到重大問題。
此外，像 Helius 這樣的團隊正在積極提高歷史數據的可訪問性，併通過壓縮來減小狀態大小。
EVM 兼容性
Neon EVM 是一種作爲智能合約運行的 EVM，可部署在任何 SVM 鏈上。這爲 Eclipse 主網帶來了完全的 EVM 兼容性（包括 EVM 字節碼支持和以太坊 JSON-RPC），併且吞吐量比單線程 EVM 更高。由於每個 Neon EVM 實例都有自己的本地費用市場，因此應用程序隻需部署自己的合約即可穫得應用程序鏈的優勢，而不會用損害戶體驗、安全性或流動性。
另外，Solang 編譯器可將 Solidity 智能合約代碼編譯爲 SVM 字節碼。
MetaMask 快照
將 EVM 用戶引入非 EVM 鏈歷來都是一大主要問題，但最近推出的 Metamask 快照將打破這一障礙。EVM用戶可繼續使用MetaMask，而無需切換錢包。得益於 Drift 的開源貢獻而構建的出色 MetaMask快照實現，相當於用戶體驗了與任何 EVM 鏈交互。Eclipse 主網用戶將能夠與 MetaMask 中的原生應用程序交互，或使用 Solana 原生錢包（如 Salmon）。
Firedancer
Firedancer 是 Jump 開髮的備受期待的 Solana 客戶端，旨在大幅提高網絡的吞吐量、彈性和效率。在髮布時，我們將盡可能堅持使用 Solana 核心客戶端，但我們計畫在代碼上線且穩定後採用 Firedancer。
安全
Solana 的執行時間大大減少了攻擊麵，從而防止了我們經常看到的惡意重入漏洞。具體來説，Solana 執行時間僅允許程序自遞歸，而不允許任意可重入的跨程序調用。此外，分離狀態和代碼會産生無狀態代碼，這通常更容易得到有效測試。
更易進行證明
SVM 基於寄存器，併且具有比 EVM 小得多的指令集，因此 SVM 的執行更容易在 ZK 中證明。對於optimistic rollups，基於寄存器的設計可更輕鬆地設置檢查點。
結算：以太坊的安全性和流動性
與今天的主要rollups一樣，Eclipse 主網將定駐於以太坊上。具體來説，這意味著我們在以太坊上的驗證橋將直接納入 Eclipse 中。Eclipse 節點將通過這座鏈橋來確定“規範鏈”。該鏈橋強製 Eclipse 執行正確的排序。
因此，我們的用戶能夠從以太坊穫得某些安全屬性。該鏈橋將驗證所有 Eclipse 事務，以防止提交無效狀態。此外，它將在某些失敗情況下強製執行最終的存活和審查製度。即使排序器出現故障或開始在 L2 進行審查，用戶也能通過鏈橋強製包含他們的交易。
由於這些安全屬性，validiums 和 optimiums 擴展解決方案通常被稱爲“以太坊 L2”。 L2BEAT 將 L2 定義爲“一條完全或部分從以太坊第1層協議穫得安全性的鏈，這樣用戶就不必依賴 L2 驗證器的誠實來保證資金的安全。”
以太坊結算認識到，以太坊原生資産可能在 Eclipse 主網的 DeFi 和 NFT 經濟中髮揮重要作用。 顯然，ETH 是大多數用戶更喜歡的最佳去中心化貨幣，因此我們也將使用 ETH 作爲我們的 Gas 代幣。從長遠來看，費用抽象將使用戶能夠以他們選擇的任何代幣（例如 USDC）進行支付。目前 Eclipse 主網還未計畫推出自己的代幣。
數據可用性：Celestia 的帶寬和可驗證性
Eclipse 主網將利用 Celestia 來實現數據可用性（也稱爲數據髮布或數據出版物）。Celestia 一直是 Eclipse 的長期生態繫統合作伙伴。
不幸的是，以太坊當前的帶寬不支持 Eclipse 主網的目標吞吐量和費用。即使在 EIP-4844 出現（又名“Proto-danksharding”）之後，這種情況仍然如此，它爲每個區塊提供平均約 0.375 MB 的 blobspace（每個區塊的限製爲約 0.75 MB）。
- 對於具有基本壓縮的 ERC-20 傳輸（每筆交易約 154 字節），這相當於所有rollups的約 213 TPS 的傳輸速度。
- 對於壓縮交換（每筆交易約 400 字節），這相當於所有rollups的約 82 TPS 的傳輸速度。
相比之下，Celestia 將在今年晚些時候推出 2 MB 大小的區塊。一旦足夠的數據可用性採樣 (DAS) 輕節點上線併且網絡達到穩定狀態，Blobspace 預計將在啟動後不久增加到 8 MB。 DAS 輕節點有兩大關鍵功能：
使用戶能夠自行驗證，Eclipse 區塊數據已可用
- 有助於安全地擴展整個網絡，因爲隨著更多 DAS 輕節點上線，DA 層可以安全地增加其吞吐量
- Celestia 預計將成爲第一個隨 DAS 投入生産而推出的 DA 層。這與傳統的數據可用性委員會（DAC，Data Availability Committees）形成鮮明對比，後者在沒有用戶驗證的情況下重新引入委員會誠實假設（類似於現有的整體區塊鏈）。
對於將資金從以太坊主網橋接到任何使用鏈下 DA 的鏈的用戶來説，有一個固有的安全假設。特別是在技術上，Celestia 驗證者可保留交易數據，但曏以太坊鏈橋聲稱該數據可用。實際上，Celestia 的權益證明共識意味著 Celestia 本身的數據扣留是可大幅削減的，我們認爲這種風險不切實際。
總體而言，Celestia 的 DAS 輕節點從第一天起就提供支持的情況、加密經濟安全屬性和高度可擴展的 DA 吞吐量等，使Celestia成爲當下 Eclipse 主網的明確選擇。
請註意，出於上述原因，有些人將鏈上以太坊 DA 視爲真正的“L2”的要求。我們將使用前麵引用的更常見的 L2 術語，併且我們希望明確安全考慮因素。
我們還打算在 EIP-4844 之後監控以太坊在 DA 擴展方麵的進展。令人期待的新研究不斷涌現，有可能比以前的想法（使用更先進的分布式哈希錶）更快地提供高吞吐量 DA。如果以太坊爲 Eclipse 提供更大的擴展性以使我們的用戶受益，我們將評估遷移到以太坊 DA 的可能性。
證明：RISC 零知識欺詐證明（無需中間狀態序列化！）
我們的證明看起來類似於 Anatoly 的 SVM 欺詐證明 SIMD，這 John Adler 的看法類似，他認爲狀態序列化成本高昂，併且這是可以避免的。
具體來説，我們希望避免將 Merkle 樹重新引入 SVM。早期，我們嘗試將稀疏 Merkle 樹插入到 SVM 中，但在每次事務後更新 Merkle 樹會導緻性能大幅下降。沒有 Merkle 樹的證明排除了現有的通用rollup框架（例如 OP Stack）作爲 SVM rollup的基礎，併且還需要更具創造性的防錯架構。
在較高層麵上，故障證明需要：
- 交易輸入的承諾，
- 交易本身，以及
- 證明重新執行交易會導緻與鏈上指定的輸出不衕的輸出。
輸入承諾通常是通過爲rollup狀態樹提供 Merkle 根來進行的。我們的執行器將爲每筆交易髮布輸入和輸出列錶（包括賬戶哈希和相關全局狀態），以及産生每個輸入的交易索引。交易被髮布到 Celestia，因此任何完整節點都能從自己的狀態中提取輸入帳戶，計算輸出帳戶，併確認以太坊上的承諾是正確的。
主要故障有兩種可能：
- 不正確的輸出 - 在這種情況下，驗證者在鏈上提供正確輸出的零知識證明。我們使用 RISC Zero 創建 SVM 執行的零知識證明，繼續從事我們之前證明 BPF 字節碼執行的工作。這使得我們的結算合約是正確的，而無需在鏈上運行交易本身。
- 不正確的輸入 - 在這種情況下，驗證者在鏈上髮布對歷史數據的引用，顯示輸入狀態與聲明的不衕。在使用了 Celestia 的量子重力橋後，我們的結算合約可確保這些歷史數據確實證明存在欺詐行爲。
爲什麽是Eclipse、爲什麽是以太坊、爲什麽在當下
我們站在巨人的肩膀上。當今的rollups技術提高了我們整個行業的研究水平，併且與 L1 相比，它們讓以太坊用戶支付的費用更便宜。
然而，他們沒有充分利用擴展到大衆所需的最新技術。早期的rollups主要優先考慮 EVM 兼容性和/或優化，以實現更高效的零知識證明。不過最近，我們看到了驚人的進展，這消除了早期rollups所選擇的權衡的需要，併且確實使它們處於不利地位：
- 高性能併行虛擬機（例如 SVM）
- 通過 DAS 輕節點支持進行 DA 擴展（例如 Celestia）
- 證明基礎設施的進步使其在任何地方都實用（例如 RISC Zero）
- 提高代碼（例如 Neon 和 Solang）和用戶（例如 MetaMask Snaps）跨生態繫統的可移植性
回頭來看，Eclipse 具有巨大的好處。我們從其他鏈所麵臨的局限性中吸取經驗，然後精心挑選最好的部分以實現長期擴展。
我們經常聽説未來會出現一百萬個特定於應用程序的rollups。
共識級別的定製對於某些應用程序（例如 dYdX v4）來説非常有價值，我們很樂意幫助團隊啟動特定於應用程序的rollups。
然而，這些案例很少且間隔很遠。這就是爲什麽大多數新的rollups仍然隻是普通的 EVM 分叉。併不能通過將用戶體驗分散到更多鏈上來解決開髮者的問題。如今，似乎一百萬個鏈的主要用例通常是再髮行一百萬個代幣。如今，對於絶大多數用例來説，全棧定製的需求根本不存在。
即使真正的需求存在，支持許多具有競爭性用戶體驗的應用程序鏈所需的基礎設施還需要數年時間（如果它能夠達到標準的話）才能出現。Optimism 的超級鏈（OP Stack）、zkSync 的超鏈（ZK Stack）、Arbitrum 的 Orbit 鏈等都擁有共享基礎設施的多鏈願景。這樣做的目的是爲了在衕一生態繫統中的鏈之間（例如，超級鏈內的兩條鏈之間）與完全隔離的鏈（例如，以太坊和 Solana 之間）之間提供更流暢的用戶體驗。
然而，當前的計畫（若有）與單一共享狀態的競爭仍然相去甚遠。此外，它們沒有解決跨生態繫統的互操作性（例如，超級鏈到超鏈）。構建模塊化併不意味著建造孤島。
We’ve always appreciated the simplicity of Solana’s vision. One highly optimized shared state machine with the scale to support the majority of valuable use cases. This is often viewed as incompatible with a rollup-centric roadmap, but that is simply not the case. We want to combine the best of both worlds.
對於用戶而言，跨多個鏈維護賬戶的覆雜性更高。不斷地橋接併擔心你需要什麽Gas代幣，這將是更糟糕的用戶體驗。依賴基礎設施提供商來運營和維護如此多的鏈更加覆雜且昂貴。
我們一直重視 Solana 願景的簡單性。一種高度優化的共享狀態機，其擴展性可支持大多數有價值的用例。這通常被視爲與以rollup爲中心的路線圖不兼容，但事實併非如此。我們希望將兩者的最佳部分結合起來。
之所以會産生這種誤解，是因爲今天的rollups主要是在原封不動地運行普通單線程 EVM，以便利用早期的網絡效應。因此，我們經常將“專用區塊空間”作爲部署特定於應用程序的rollup的原因。那些瘋狂的 NFT 鑄幣行爲不應抬高您鏈上所有其他應用程序的價格，但答案也併非是去創建自己的鏈。這就像用大鎚敲碎花生一樣。您要在覆雜性、成本、糟糕的用戶體驗、分散的流動性等中做出痛苦且不必要的折衷。最佳解決方案非常明確，隻需使用具有本地費用市場的併行虛擬機來處理狀態熱點。這正是 SVM 所帶來的好處。
以太坊是加密貨幣的知識、社會和經濟中心。它的緻命弱點一直在放大。DA 擴展仍在進行中，現有的 L2 執行環境無法與 SVM 等較新的創新相競爭。我們擔心以太坊生態繫統會因目前的活動急劇增加而毫無準備。除了這次對rollups的影響外，單線程 EVM 和受限 DA 很快就會導緻高額費用卷土重來。
我們相信，很明顯，Eclipse Mainnet 就是解決方案。它將 Solana 的性能與以rollups爲中心的路線圖的安全性、可驗證性和網絡效應結合起來。
結語
以太坊的美妙之處在於它能容納創新。以rollups爲中心的路線圖就是反映了這一點，它將執行和創新委托給自由市場。L2 具有驚人的能力，可利用以太坊的網絡效應和結算保證，衕時嘗試最好的新執行環境。Eclipse 主網很自然地完成了這一願景。
未來若出現更高性能的執行層，我們將非常樂意看到它被部署爲具有競爭力的以太坊 L2。在那之前，SVM 仍然作爲不變的標準。
如需參與，請通過 team@eclipse.builders 聯繫我們以穫取測試網指南。
聲明：
相关文章
如何質押 ETH？
什幺是包裝以太幣（WETH）？
什幺是EVM（以太坊虛擬機?
Eclipse 主網簡介：以太坊 SVM L2
執行：Solana 的速度和擴展性
結算：以太坊的安全性和流動性
數據可用性：Celestia 的帶寬和可驗證性
證明：RISC 零知識欺詐證明（無需中間狀態序列化！）
爲什麽是Eclipse、爲什麽是以太坊、爲什麽在當下
結語
Eclipse Mainnet 是一個通用的第2層協議（L2），結合了模塊化堆棧的最佳部分：
結算：以太坊 - Eclipse 將結算到以太坊（即內置的驗證鏈橋將位於以太坊上）併使用 ETH 作爲其 Gas 代幣。
執行：Solana 虛擬機 (SVM) - Eclipse 將運行高性能 SVM 作爲其執行環境。
數據可用性：Celestia - Eclipse 將其數據髮布到 Celestia，以實現可擴展的數據可用性 (DA)。
證明：RISC Zero - Eclipse 將使用 RISC Zero 進行零知識欺詐證明（無需中間狀態序列化！）
與 Eclipse 相關的大部分頭條新聞都圍繞著我們爲一繫列項目部署特定於應用程序的rollups的工作，但如今比以往任何時候都更加清晰的是，以太坊需要一個能夠真正擴展的通用 L2。大多數應用程序無法從特定於應用程序的鏈自定義中受益，併且由此産生的隔離和覆雜性實際上可能會導緻更糟糕的用戶體驗和開髮人員體驗。
模塊化rollup願景與擁有可擴展的、併行執行的和共享狀態的單鏈的能力之間經常存在錯誤的二分法。 “模塊化”經常與“特定於應用程序”混爲一談，這會讓您相信rollups意味著一個由許多碎片和低吞吐量鏈組成的世界。我們質疑這一想法。
執行：Solana 的速度和擴展性
Eclipse 主網將採用 Solana 領先的執行環境。這帶來了巨大的優勢：
優化併行執行
SVM 及其 Sealevel 執行時間以支持併行事務執行而聞名。不涉及重疊狀態的事務可以併行執行，而不是按順序執行。
隨著處理器繼續以更低的成本添加更多內核，SVM 能直接隨硬件擴展。單線程執行時間（例如今天的 EVM）從根本上來説併未受益於從降低每個內核的成本。十多年來，單線程性能加速一直在不斷減弱。幾乎所有的改進仍來自於內核的增加，因此十分重要的是，要通過併行化工作負載來利用這一趨勢：
早期有一些未經證實的併行化 EVM 嘗試，但在保持兼容性的衕時添加這一點會從根本上導緻折衷，包括在不解決其他瓶頸（例如狀態增長）的情況下降低性能。預先聲明狀態依賴關繫的合約（如在 SVM 中）可實現最佳併行化。
本地費用市場
當今大多數費用市場都是全球性的，這意味著一個熱門應用程序會增加鏈上所有用戶的費用。鑄造一個 NFT 不應讓該鏈對在其他所地方變得毫無用處。 Solana 在本地費用市場上的出色工作解決了這種跨應用程序狀態爭論。在當前的實現中，時間調度程序優先考慮無衝突的交易，因此無衝突的交易能以較低的費用進行。從長遠來看，本地費用市場將在協議層麵實施。這確保了單個應用程序的費用峰值不會影響鏈的其餘部分。
得益於 Solana 獨特的併行執行時間，本地費用市場得以實現。嘗試使用探索式方法（即不預先聲明狀態訪問）爲 EVM 中的狀態熱點實現本地費用市場將降低效率併可能導緻攻擊曏量。
還有一些早期研究正在進行中，這些將允許應用程序輕鬆內化歸屬於它們的本地價值。在今天，這通常需要更具創造性的應用程序級設計。
狀態增長管理
在 EVM 遇到順序執行瓶頸之前，狀態增長是其更緊迫的瓶頸。
由於狀態沒有 Merkle 樹，因此 Solana 不會爲每次狀態更新産生 Merkle 樹更新的開銷。相反，在每個紀元（約2.5天）之後，整個狀態都會被默剋爾化。這比實時默剋爾化（如 EVM 中的）要便宜得多。
更重要的是，EVM 具有動態帳戶訪問權限（即交易可按需觸及任何狀態）。動態狀態查找意味著狀態無法在執行之前加載到內存中。在 SVM 中，每個事務都指定執行所需的所有狀態。
因此，狀態大小不會影響 SVM 的執行。假設驗證者每兩年對存儲磁盤進行一次升級，網絡能安全地每兩年將快照大小增加一倍，而不會遇到重大問題。
此外，像 Helius 這樣的團隊正在積極提高歷史數據的可訪問性，併通過壓縮來減小狀態大小。
EVM 兼容性
Neon EVM 是一種作爲智能合約運行的 EVM，可部署在任何 SVM 鏈上。這爲 Eclipse 主網帶來了完全的 EVM 兼容性（包括 EVM 字節碼支持和以太坊 JSON-RPC），併且吞吐量比單線程 EVM 更高。由於每個 Neon EVM 實例都有自己的本地費用市場，因此應用程序隻需部署自己的合約即可穫得應用程序鏈的優勢，而不會用損害戶體驗、安全性或流動性。
另外，Solang 編譯器可將 Solidity 智能合約代碼編譯爲 SVM 字節碼。
MetaMask 快照
將 EVM 用戶引入非 EVM 鏈歷來都是一大主要問題，但最近推出的 Metamask 快照將打破這一障礙。EVM用戶可繼續使用MetaMask，而無需切換錢包。得益於 Drift 的開源貢獻而構建的出色 MetaMask快照實現，相當於用戶體驗了與任何 EVM 鏈交互。Eclipse 主網用戶將能夠與 MetaMask 中的原生應用程序交互，或使用 Solana 原生錢包（如 Salmon）。
Firedancer
Firedancer 是 Jump 開髮的備受期待的 Solana 客戶端，旨在大幅提高網絡的吞吐量、彈性和效率。在髮布時，我們將盡可能堅持使用 Solana 核心客戶端，但我們計畫在代碼上線且穩定後採用 Firedancer。
安全
Solana 的執行時間大大減少了攻擊麵，從而防止了我們經常看到的惡意重入漏洞。具體來説，Solana 執行時間僅允許程序自遞歸，而不允許任意可重入的跨程序調用。此外，分離狀態和代碼會産生無狀態代碼，這通常更容易得到有效測試。
更易進行證明
SVM 基於寄存器，併且具有比 EVM 小得多的指令集，因此 SVM 的執行更容易在 ZK 中證明。對於optimistic rollups，基於寄存器的設計可更輕鬆地設置檢查點。
結算：以太坊的安全性和流動性
與今天的主要rollups一樣，Eclipse 主網將定駐於以太坊上。具體來説，這意味著我們在以太坊上的驗證橋將直接納入 Eclipse 中。Eclipse 節點將通過這座鏈橋來確定“規範鏈”。該鏈橋強製 Eclipse 執行正確的排序。
因此，我們的用戶能夠從以太坊穫得某些安全屬性。該鏈橋將驗證所有 Eclipse 事務，以防止提交無效狀態。此外，它將在某些失敗情況下強製執行最終的存活和審查製度。即使排序器出現故障或開始在 L2 進行審查，用戶也能通過鏈橋強製包含他們的交易。
由於這些安全屬性，validiums 和 optimiums 擴展解決方案通常被稱爲“以太坊 L2”。 L2BEAT 將 L2 定義爲“一條完全或部分從以太坊第1層協議穫得安全性的鏈，這樣用戶就不必依賴 L2 驗證器的誠實來保證資金的安全。”
以太坊結算認識到，以太坊原生資産可能在 Eclipse 主網的 DeFi 和 NFT 經濟中髮揮重要作用。 顯然，ETH 是大多數用戶更喜歡的最佳去中心化貨幣，因此我們也將使用 ETH 作爲我們的 Gas 代幣。從長遠來看，費用抽象將使用戶能夠以他們選擇的任何代幣（例如 USDC）進行支付。目前 Eclipse 主網還未計畫推出自己的代幣。
數據可用性：Celestia 的帶寬和可驗證性
Eclipse 主網將利用 Celestia 來實現數據可用性（也稱爲數據髮布或數據出版物）。Celestia 一直是 Eclipse 的長期生態繫統合作伙伴。
不幸的是，以太坊當前的帶寬不支持 Eclipse 主網的目標吞吐量和費用。即使在 EIP-4844 出現（又名“Proto-danksharding”）之後，這種情況仍然如此，它爲每個區塊提供平均約 0.375 MB 的 blobspace（每個區塊的限製爲約 0.75 MB）。
- 對於具有基本壓縮的 ERC-20 傳輸（每筆交易約 154 字節），這相當於所有rollups的約 213 TPS 的傳輸速度。
- 對於壓縮交換（每筆交易約 400 字節），這相當於所有rollups的約 82 TPS 的傳輸速度。
相比之下，Celestia 將在今年晚些時候推出 2 MB 大小的區塊。一旦足夠的數據可用性採樣 (DAS) 輕節點上線併且網絡達到穩定狀態，Blobspace 預計將在啟動後不久增加到 8 MB。 DAS 輕節點有兩大關鍵功能：
使用戶能夠自行驗證，Eclipse 區塊數據已可用
- 有助於安全地擴展整個網絡，因爲隨著更多 DAS 輕節點上線，DA 層可以安全地增加其吞吐量
- Celestia 預計將成爲第一個隨 DAS 投入生産而推出的 DA 層。這與傳統的數據可用性委員會（DAC，Data Availability Committees）形成鮮明對比，後者在沒有用戶驗證的情況下重新引入委員會誠實假設（類似於現有的整體區塊鏈）。
對於將資金從以太坊主網橋接到任何使用鏈下 DA 的鏈的用戶來説，有一個固有的安全假設。特別是在技術上，Celestia 驗證者可保留交易數據，但曏以太坊鏈橋聲稱該數據可用。實際上，Celestia 的權益證明共識意味著 Celestia 本身的數據扣留是可大幅削減的，我們認爲這種風險不切實際。
總體而言，Celestia 的 DAS 輕節點從第一天起就提供支持的情況、加密經濟安全屬性和高度可擴展的 DA 吞吐量等，使Celestia成爲當下 Eclipse 主網的明確選擇。
請註意，出於上述原因，有些人將鏈上以太坊 DA 視爲真正的“L2”的要求。我們將使用前麵引用的更常見的 L2 術語，併且我們希望明確安全考慮因素。
我們還打算在 EIP-4844 之後監控以太坊在 DA 擴展方麵的進展。令人期待的新研究不斷涌現，有可能比以前的想法（使用更先進的分布式哈希錶）更快地提供高吞吐量 DA。如果以太坊爲 Eclipse 提供更大的擴展性以使我們的用戶受益，我們將評估遷移到以太坊 DA 的可能性。
證明：RISC 零知識欺詐證明（無需中間狀態序列化！）
我們的證明看起來類似於 Anatoly 的 SVM 欺詐證明 SIMD，這 John Adler 的看法類似，他認爲狀態序列化成本高昂，併且這是可以避免的。
具體來説，我們希望避免將 Merkle 樹重新引入 SVM。早期，我們嘗試將稀疏 Merkle 樹插入到 SVM 中，但在每次事務後更新 Merkle 樹會導緻性能大幅下降。沒有 Merkle 樹的證明排除了現有的通用rollup框架（例如 OP Stack）作爲 SVM rollup的基礎，併且還需要更具創造性的防錯架構。
在較高層麵上，故障證明需要：
- 交易輸入的承諾，
- 交易本身，以及
- 證明重新執行交易會導緻與鏈上指定的輸出不衕的輸出。
輸入承諾通常是通過爲rollup狀態樹提供 Merkle 根來進行的。我們的執行器將爲每筆交易髮布輸入和輸出列錶（包括賬戶哈希和相關全局狀態），以及産生每個輸入的交易索引。交易被髮布到 Celestia，因此任何完整節點都能從自己的狀態中提取輸入帳戶，計算輸出帳戶，併確認以太坊上的承諾是正確的。
主要故障有兩種可能：
- 不正確的輸出 - 在這種情況下，驗證者在鏈上提供正確輸出的零知識證明。我們使用 RISC Zero 創建 SVM 執行的零知識證明，繼續從事我們之前證明 BPF 字節碼執行的工作。這使得我們的結算合約是正確的，而無需在鏈上運行交易本身。
- 不正確的輸入 - 在這種情況下，驗證者在鏈上髮布對歷史數據的引用，顯示輸入狀態與聲明的不衕。在使用了 Celestia 的量子重力橋後，我們的結算合約可確保這些歷史數據確實證明存在欺詐行爲。
爲什麽是Eclipse、爲什麽是以太坊、爲什麽在當下
我們站在巨人的肩膀上。當今的rollups技術提高了我們整個行業的研究水平，併且與 L1 相比，它們讓以太坊用戶支付的費用更便宜。
然而，他們沒有充分利用擴展到大衆所需的最新技術。早期的rollups主要優先考慮 EVM 兼容性和/或優化，以實現更高效的零知識證明。不過最近，我們看到了驚人的進展，這消除了早期rollups所選擇的權衡的需要，併且確實使它們處於不利地位：
- 高性能併行虛擬機（例如 SVM）
- 通過 DAS 輕節點支持進行 DA 擴展（例如 Celestia）
- 證明基礎設施的進步使其在任何地方都實用（例如 RISC Zero）
- 提高代碼（例如 Neon 和 Solang）和用戶（例如 MetaMask Snaps）跨生態繫統的可移植性
回頭來看，Eclipse 具有巨大的好處。我們從其他鏈所麵臨的局限性中吸取經驗，然後精心挑選最好的部分以實現長期擴展。
我們經常聽説未來會出現一百萬個特定於應用程序的rollups。
共識級別的定製對於某些應用程序（例如 dYdX v4）來説非常有價值，我們很樂意幫助團隊啟動特定於應用程序的rollups。
然而，這些案例很少且間隔很遠。這就是爲什麽大多數新的rollups仍然隻是普通的 EVM 分叉。併不能通過將用戶體驗分散到更多鏈上來解決開髮者的問題。如今，似乎一百萬個鏈的主要用例通常是再髮行一百萬個代幣。如今，對於絶大多數用例來説，全棧定製的需求根本不存在。
即使真正的需求存在，支持許多具有競爭性用戶體驗的應用程序鏈所需的基礎設施還需要數年時間（如果它能夠達到標準的話）才能出現。Optimism 的超級鏈（OP Stack）、zkSync 的超鏈（ZK Stack）、Arbitrum 的 Orbit 鏈等都擁有共享基礎設施的多鏈願景。這樣做的目的是爲了在衕一生態繫統中的鏈之間（例如，超級鏈內的兩條鏈之間）與完全隔離的鏈（例如，以太坊和 Solana 之間）之間提供更流暢的用戶體驗。
然而，當前的計畫（若有）與單一共享狀態的競爭仍然相去甚遠。此外，它們沒有解決跨生態繫統的互操作性（例如，超級鏈到超鏈）。構建模塊化併不意味著建造孤島。
We’ve always appreciated the simplicity of Solana’s vision. One highly optimized shared state machine with the scale to support the majority of valuable use cases. This is often viewed as incompatible with a rollup-centric roadmap, but that is simply not the case. We want to combine the best of both worlds.
對於用戶而言，跨多個鏈維護賬戶的覆雜性更高。不斷地橋接併擔心你需要什麽Gas代幣，這將是更糟糕的用戶體驗。依賴基礎設施提供商來運營和維護如此多的鏈更加覆雜且昂貴。
我們一直重視 Solana 願景的簡單性。一種高度優化的共享狀態機，其擴展性可支持大多數有價值的用例。這通常被視爲與以rollup爲中心的路線圖不兼容，但事實併非如此。我們希望將兩者的最佳部分結合起來。
之所以會産生這種誤解，是因爲今天的rollups主要是在原封不動地運行普通單線程 EVM，以便利用早期的網絡效應。因此，我們經常將“專用區塊空間”作爲部署特定於應用程序的rollup的原因。那些瘋狂的 NFT 鑄幣行爲不應抬高您鏈上所有其他應用程序的價格，但答案也併非是去創建自己的鏈。這就像用大鎚敲碎花生一樣。您要在覆雜性、成本、糟糕的用戶體驗、分散的流動性等中做出痛苦且不必要的折衷。最佳解決方案非常明確，隻需使用具有本地費用市場的併行虛擬機來處理狀態熱點。這正是 SVM 所帶來的好處。
以太坊是加密貨幣的知識、社會和經濟中心。它的緻命弱點一直在放大。DA 擴展仍在進行中，現有的 L2 執行環境無法與 SVM 等較新的創新相競爭。我們擔心以太坊生態繫統會因目前的活動急劇增加而毫無準備。除了這次對rollups的影響外，單線程 EVM 和受限 DA 很快就會導緻高額費用卷土重來。
我們相信，很明顯，Eclipse Mainnet 就是解決方案。它將 Solana 的性能與以rollups爲中心的路線圖的安全性、可驗證性和網絡效應結合起來。
結語
以太坊的美妙之處在於它能容納創新。以rollups爲中心的路線圖就是反映了這一點，它將執行和創新委托給自由市場。L2 具有驚人的能力，可利用以太坊的網絡效應和結算保證，衕時嘗試最好的新執行環境。Eclipse 主網很自然地完成了這一願景。
未來若出現更高性能的執行層，我們將非常樂意看到它被部署爲具有競爭力的以太坊 L2。在那之前，SVM 仍然作爲不變的標準。
如需參與，請通過 team@eclipse.builders 聯繫我們以穫取測試網指南。
聲明：
相关文章
如何質押 ETH？
什幺是包裝以太幣（WETH）？