Vitalik長期L1執行層提案全文：以RISC-V取代EVM

原文標題：Long-term L1 execution layer proposal: replace the EVM with RISC-V

原文來源：Vitalik Buterin

Viject:KarenZ，Foresightal

Vib Ethereum Magicians 平台提出一項關於以太坊長期 L1 執行層的重要提案。他建議採用 RISC-V 架構取代現有的 EVM（以太坊虛擬機）作為編寫智慧合約的虛擬機語言，旨在從根本上提升以太坊執行層的運作效率，突破當前主要的擴展瓶頸之一，同時大幅簡化執行層的簡潔性。

Foresight News 對該提案進行了全文編譯，旨在幫助讀者了解這項技術設想。以下為提案原文的編譯內容：

本文提出了一個關於以太坊執行層未來的激進想法，其雄心程度不亞於共識層的 Beam Chain 計劃。該提案旨在大幅提高以太坊執行層的效率，解決主要的擴展瓶頸之一，並顯著簡化執行層——事實上，這可能是實現這一目標的唯一途徑。

核心構想：以 RISC-V 取代 EVM，作為智慧合約所寫的虛擬機器語言。

重要說明：

· 帳號系統、跨合約呼叫、儲存等概念將完全保留。這些抽象設計運作良好且開發者已習慣使用。 SLOAD、SSTORE、BALANCE、CALL 等操作碼將轉換為 RISC-V 系統呼叫。

· 在此模式下，智能合約可用 Rust 編寫，但我預計多數開發者仍會繼續使用 Solidity（或 Vyper）編寫合約，這些語言將適配 RISC-V 作為新後端。因為用 Rust 編寫的智能合約實際上可讀性較差，而 Solidity 和 Vyper 更清晰易讀。開發體驗可能幾乎不受影響，開發者甚至可能察覺不到變化。

· 舊版 EVM 合約將繼續運行，並與新版 RISC-V 合約完全雙向相容。實現方式有幾種，本文後續將詳細探討。

Nervos CKB VM 已開創先例，其本質上就是 RISC-V 實現。

為何這樣做？

短期來看，即將實施的 EIP（如區塊級存取清單、延遲執行、分散式歷史儲存及 EIP-4444）能解決以太坊 L1 的主要擴展瓶頸。中期將透過無狀態性和 ZK-EVM 解決更多問題。長期來看，以太坊 L1 擴展的主要限制因素將變為：

1、數據可用性採樣和歷史存儲協議的穩定性

2、保持區塊生產市場競爭性的需求

3、ZK-EVM 的證明能力

3、ZK-EVM 的證明能力

可以解決（2）和（3）中的關鍵瓶頸。

下表展示了 Succinct ZK-EVM 證明 EVM 執行層各環節所需的週期數：

圖表環節說明：四個主要耗時環節說明：四個主要耗時環節說明：四個主要耗時環節說明。

將目前的 keccak 16-ary Merkle patricia tree 替換為使用使用易於證明的雜湊函數的 binary tree，這些部分可以大幅優化。如果使用 Poseidon，我們可以在筆記型電腦上每秒證明 200 萬次哈希值（相比之下，keccak 約為 15,000 hash/sec）。除了 Poseidon，還有許多其他選擇。總的來說，這些組件有很大優化的空間。此外，我們可以透過移除 bloom 來消除 accrue_logs_bloom。

剩下的 block_execution 約佔目前證明週期（prover cycles）的一半。若要達到 100 倍的整體證明效率提升，EVM 證明效率至少需要提升 50 倍。解決方案之一是為 EVM 創建更高效的證明實現，另一個方案是注意到當前 ZK-EVM 證明器實際上是透過將 EVM 編譯為 RISC-V 進行證明，直接讓智慧合約開發者存取該 RISC-V 虛擬機。

部分資料顯示在特定情況下效率提升可能超 100 倍：

若將 RISC-V 作為主虛擬機，Gas schedule 將反映實際證明時間，經濟壓力將促使開發者減少使用高成本預編譯。即便如此，增益也不會如此顯著，但我們有充分的理由相信，這些增益將非常可觀。

（值得注意的是，常規 EVM 執行中「EVM 操作」與「其他操作」的耗時佔比也接近 50/50，因此我們直觀認為，移除 EVM 作為「中間層」將帶來同等顯著的增益）

實作資訊。破壞性最小的方案是同時支援兩種虛擬機，允許合約任選其一編寫。兩類合約都能存取相同功能：持久化儲存（SLOAD/SSTORE）、持有 ETH 餘額的能力、發起 / 接收呼叫等。 EVM 與 RISC-V 合約可互相呼叫——從 RISC-V 視角看，呼叫 EVM 合約相當於執行帶有特殊參數的系統呼叫；而接收訊息的 EVM 合約將其解釋為 CALL。

從協定角度看更激進的方法是將現有 EVM 合約轉換為呼叫用 RISC-V 編寫的 EVM 解釋器合約，運行其現有 EVM 程式碼。即，如果一個 EVM 合約有程式碼 C，EVM 解釋器位於位址 X，那麼該合約將被替換為頂層邏輯，當從外部以呼叫參數 D 呼叫時，呼叫 X 並傳入 (C, D)，然後等待返回值並轉發。如果 EVM 解釋器本身呼叫該合約，要求執行 CALL 或 SLOAD/SSTORE，那麼合約就執行這些操作。

折衷方案是採用第二種方案，但透過協定明確支援「虛擬機器解釋器」概念，要求其邏輯以 RISC-V 編寫。 EVM 將是首個實例，未來將支援其他語言（Move 可能是候選方案）。

第二和第三種方案的核心優點在於，它們可大幅簡化執行層規範。考慮到即使是移除 SELFDESTRUCT 這樣的漸進式簡化都困難重重，這種思路可能是唯一可行的簡化路徑。 Tinygrad 遵循「代碼不超過 1 萬行」的硬性規定，而最優區塊鏈底層理應能輕鬆滿足這一限制，並進一步精簡。 Beam Chain 計畫可望大幅簡化以太坊共識層，而執行層若想實現類似提升，這種激進變革可能是唯一可行之路。

原文連結