以太坊計劃用 RISC-V 取代 EVM，以解決 ZK 未來中的效能瓶頸，並將自身定位為下一代網路的基礎信任層，實現可驗證計算的願景。本文源自 jaehaerys.eth所著文章，由深潮 TechFlow整理、編譯及撰稿。（前情提要：以太坊「改 RISC-V」嚇跑開發者？OG警告：ETH生態將重分配，小項目會出走Solana ）（背景補充：技術》什麼是 Vitalik 推崇的 RISC-V？CKB-VM 為什麼選擇 RISC-V？ ）
本文目錄
摘要以太坊的十字路口究竟發生了什麼變化？直譯器開銷問題直譯器開銷問題技術債陷阱以太坊的架構技術債RISC-V 藍圖：以更強基礎重塑以太坊未來為什麼開放標準優於客製化設計？為信任而生，不僅僅是執行Vitalik 的願景生態系的漣漪效應Rollup 的重新定位：Optimistic 與 ZK 的對決開發者與用戶的新紀元Succinct Labs 與 SP1：在當下建構證明未來以太坊如何降低風險轉型的主要風險緩解策略以太坊的可驗證未來
透過擁抱 RISC-V，以太坊不僅解決了自身的擴展性瓶頸，還將自身定位為下一代網路的基礎信任層。
摘要
以太坊正準備迎來自誕生以來最重要的架構轉型：將 EVM 替換為 RISC-V。
原因很簡單——在一個以零知識 (ZK) 為核心的未來，EVM 已經成為效能瓶頸：
當前 zkEVM 依賴直譯器，導致 50–800 倍的效能減慢；預編譯模組讓協議變得複雜且風險增加；256 位元堆疊設計在生成證明時效率極低。
RISC-V 的解決方案：
極簡設計 (約 47 個基礎指令) + 成熟的 LLVM 生態系 (支援 Rust、C++、Go 等語言)；已成為事實上的 zkVM 標準 (90% 的專案採用)；具備正式的 SAIL 規範 (相比模糊的黃皮書) → 實現嚴格驗證；硬體證明路徑 (ASICs/FPGAs) 已在測試中 (SP1、Nervos、Cartesi 等)。
遷移過程分為三個階段：
將 RISC-V 作為預編譯模組替換 (低風險測試)；雙虛擬機時代：EVM 與 RISC-V 並存並完全互操作；在 RISC-V 內重新實現 EVM (Rosetta 策略)。
生態系影響：
樂觀型 Rollup (如 Arbitrum 和 Optimism) 需重建詐欺證明機制；零知識型 Rollup (如 Polygon、zkSync、Scroll) 將獲得巨大優勢 → 更便宜、更快、更簡單；開發者可直接在 L1 層使用 Rust、Go 和 Python 等語言庫；用戶將享受約 100 倍更低成本的證明 → 通往 Gigagas L1 (約 10,000 TPS)。
最終，以太坊將從一個「智慧合約虛擬機」進化為網路的極簡、可驗證信任層，其終極目標是「讓一切都被 ZK-Snark 化」。
以太坊的十字路口
Vitalik Buterin 曾說過：「終點包括……讓一切都被 ZK-Snark 化。」
零知識證明 (ZK) 的終局已不可避免，而其核心論點很簡單：以太坊正從零開始，以零知識證明為基礎重塑自身。這標誌著協議的技術終點——透過對 L1 的重構，達成其最終形態，由核心開發團隊 (如 Succinct) 提供支援的高效能 zkVM 驅動。
以此願景為終點，以太坊正處於自誕生以來最重要的架構轉型關口。這次討論已不再是關於逐步升級，而是對其計算核心進行全面重構——替換以太坊虛擬機 (EVM)。這一舉措是更廣泛的「精簡以太坊」(Lean Ethereum) 願景的基石。
精簡以太坊 (Lean Ethereum) 願景旨在系統性簡化整個協議，將其拆分為三個核心模組：精簡共識 (Lean Consensus)、精簡資料 (Lean Data) 和精簡執行 (Lean Execution)。而在精簡執行的核心問題中，最關鍵的一點是：作為推動智慧合約革命的引擎，EVM 是否已成為以太坊未來發展的主要瓶頸？
正如以太坊基金會的 Justin Drake 所言，以太坊的長期目標始終是「讓一切都被 Snark 化」(Snarkify everything)，這是一種能夠增強協議各層的強大工具。然而，長期以來，這個目標更像是「遙不可及的藍圖」，因為實現它需要即時證明 (real-time proving) 的概念。而現在，隨著即時證明逐漸成為現實，EVM 的理論低效已轉化為一個亟待解決的實際問題。
本文將深入分析將以太坊 L1 遷移至 RISC-V 指令集架構 (ISA) 的技術和戰略論點。這一舉措不僅有望釋放前所未有的可擴展性，還將簡化協議結構，並使以太坊與可驗證計算的未來保持一致。
究竟發生了什麼變化？
在探討「為什麼」之前，首先需要明確「什麼」正在發生變化。
EVM (以太坊虛擬機) 是以太坊智慧合約的運行環境，被稱為處理交易並更新區塊鏈狀態的「世界計算機」。多年來，它的設計堪稱革命性，為去中心化金融 (DeFi) 和 NFT 生態系的誕生奠定了基礎。然而，這套近十年前的客製化架構如今已累積了大量技術債。
相比之下，RISC-V 並非一個產品，而是一種開放標準——一種免費的、通用的處理器設計「字母表」。正如 Jeremy Bruestle 在 Ethproofs 會議上所強調的，它的關鍵原則使其成為這一角色的絕佳選擇：
極簡主義：RISC-V 的基礎指令集極其簡單，僅包含約 40 到 47 條指令。正如 Jeremy 所言，這使它「幾乎完美適用於我們所需的超級簡約通用機器的用例」。模組化設計：更複雜的功能透過可選擴展來添加。這一特性至關重要，因為它允許核心保持簡單，同時根據需求擴展功能，而不會將不必要的複雜性強加到基礎協議中。開放生態系：RISC-V 擁有龐大且成熟的工具鏈支援，包括 LLVM 編譯器，使開發者能夠使用主流程式語言，如 Rust、C++ 和 Go。正如 Justin Drake 所提到的：「圍繞編譯器的工具非常豐富，而編譯器的構建極其困難……因此擁有這些編譯器工具鏈的價值極高。」RISC-V 讓以太坊能夠免費繼承這些現成的工具。
直譯器開銷問題
推動替換 EVM 的原因並非某個單一缺陷，而是多個根本性限制的匯合，這些問題在以零知識證明為核心的未來背景下已無法忽視。這些限制包括零知識證明系統中的效能瓶頸，以及協議內部累積的日益複雜性所帶來的風險。
直譯器開銷問題
這一轉型最緊迫的驅動力是 EVM 在零知識證明系統中的固有低效性。隨著以太坊逐步轉向透過 ZK 證明驗證 L1 狀態的模型，證明者效能成為最大的瓶頸。
問題出在當前 zkEVM 的工作方式上。它們並非直接對 EVM 進行零知識證明，而是對 EVM 的直譯器進行證明，而該直譯器本身又被編譯為 RISC-V。Vitalik Buterin 直言不諱地指出了這一核心問題：
「……如果 zkVM 的實現方式是將 EVM 的執行編譯為最終成為 RISC-V 程式碼的內容，那為什麼不直接將底層的 RISC-V 暴露給智慧合約開發者？這樣可以完全減免整個外層虛擬機的開銷。」
這一額外的解釋層帶來了巨大的效能損失。估算表明，與證明原生程式相比，這一層可能導致 50 到 800 倍的效能下降。在優化其他瓶頸 (如透過切換到 Poseidon 雜湊演算法) 後，這部分「區塊執行」仍會佔據所有證明時間的 80-90%，使 EVM 成為擴展 L1 的最終且最棘手的障礙。透過移除這一層，Vitalik 預計執行效率可能會提升 100 倍。
技術債陷阱
為了彌補 EVM 在特定密碼學操作中的效能不足，以太坊引入了預編譯合約——直接硬編碼到協議中的專用功能。雖然這一解決方案在當時顯得務實，但如今卻引發了 Vitalik Buterin 所稱的「糟糕」局面：
「預編譯對我們來說是災難性的……它們極大地膨脹了以太坊的可信程式碼庫……並且它們曾導致我們幾次幾乎發生共識失敗的嚴重問題。」
這種複雜性令人震驚。Vitalik 舉例說明，單個預編譯合約 (如 modexp) 的包裝程式碼比整個 RISC-V 直譯器還要複雜，而預編譯的邏輯實際上更為繁瑣。添加新的預編譯合約需要透過緩慢且充滿政治爭議的硬分叉過程，這嚴重阻礙了需要新密碼學原語的應用創新。對此，Vitalik 得出了明確的結論：
「我認為我們應該從今天開始停止添加任何新的預編譯合約。」
以太坊的架構技術債
EVM 的核心設計反映了過去時代的優先級，但它已不適用於現代計算需求。 EVM 選擇了 256 位元架構以處理密碼學值，但對於智慧合約中通常使用的 32 位元或 64 位元整數來說，這種架構效率極低。這種低效在 ZK 系統中尤為昂貴。正如 Vitalik 所解釋的：
「當使用較小的數字時，每個數字實際上不會節省任何資源，而複雜性則會增加兩到四倍。」
除此之外，EVM 的堆疊架構比 RISC-V 和現代 CPU 的暫存器架構效率更低。它需要更多指令才能完成相同的操作，同時也使編譯器優化更加複雜。
這些問題——包括 ZK 證明的效能瓶頸、預編譯的複雜性以及過時的架構選擇——共同構成了一個令人信服且緊迫的理由：以太坊必須超越 EVM，迎接更適合未來的技術架構。
RISC-V 藍圖：以更強基礎重塑以太坊未來
RISC-V 的優勢不僅在於 EVM 的不足，更在於其設計哲學的內在強大。其架構提供了一個穩健、簡單且可驗證的基礎，非常適合以太坊這樣高風險的環境。
為什麼開放標準優於客製化設計？
與需要從零開始構建整個軟體生態的客製化指令集架構 (ISA) 不同，RISC-V 是一個成熟的開放標準，具備以下三大關鍵優勢：
成熟的生態系
透過採用 RISC-V，以太坊能夠借助計算機科學領域數十年的集體進步。正如 Justin Drake 所解釋的，這為以太坊提供了直接使用世界級工具的機會：
「有一個基礎設施組件叫 LLVM，它是一套編譯器工具鏈，允許你將高階程式語言編譯為多種後端目標之一。其中一個支援的後端就是 RISC-V。所以如果你支援 RISC-V，就可以自動支援所有 LLVM 支援的高階語言。」
這極大降低了開發門檻，使數百萬熟悉 Rust、C++ 和 Go 等語言的開發者能夠輕鬆上手。
極簡主義的設計哲學 RISC-V 的極簡主義是刻意為之的特性，而非局限性。其基礎指令集僅包含約 47 條指令，使虛擬機的核心保持極度簡潔。這種簡潔性在安全性方面具有顯著優勢，因為更小的可信程式碼庫更容易進行審計和形式化驗證。
零知識證明領域的事實標準 更重要的是，zkVM 生態系已經做出了選擇。正如 Justin Drake 指出，從 Ethproofs 資料中可以看到一個清晰的趨勢：
「RISC-V 是 zkVM 後端的領先指令集架構 (ISA)。」
在能夠證明以太坊區塊的十個 zkVM 中，已有九個選擇了 RISC-V 作為目標架構。這一市場趨同釋放了強而有力的訊號：以太坊透過採用 RISC-V 並非在進行投機性嘗試，而是與一個已經過實際驗證並被建構其零知識未來的專案所認可的標準保持一致。
為信任而生，不僅僅是執行
除了廣泛的生態系，RISC-V 的內部架構也特別適合建構安全且可驗證的系統。 首先，RISC-V 擁有一個正式化、機器可讀的規範——SAIL。這相比於 EVM 的規範 (主要以文字形式存在的《黃皮書》)，是一個巨大的進步。《黃皮書》存在一定的模糊性，而 SAIL 規範提供了「黃金標準」，能夠支援關鍵的數學正確性證明，這對保護價值巨大的協議至關重要。正如以太坊基金會 (EF) 的 Alex Hicks 在 Ethproofs 會議上提到的，這使得 zkVM 電路能夠直接「與官方 RISC-V 規範進行驗證」。 其次，RISC-V 包含一個特權架構，這是一個常被忽視但對安全性至關重要的特性。它定義了不同的操作級別，主要包括用戶模式 (用於不可信應用，如智慧合約) 和監督模式 (用於可信的「執行內核」)。Cartesi 的 Diego 對此進行了深入解釋：
「作業系統本身必須保護自己免受其他程式碼的影響。它需要將不同的程式運行彼此隔離，而所有這些機制都是 RISC-V 標準的一部分。」
在 RISC-V 的架構中，運行在用戶模式 (User Mode) 下的智慧合約無法直接存取區塊鏈的狀態。相反，它需要透過一個特殊的 ECALL (環境呼叫) 指令向運行在監督模式 (Supervisor Mode) 中的可信內核發出請求。這種機制構建了一個由硬體強制執行的安全邊界，比 EVM 純粹依賴軟體沙盒的模型更加穩健且易于驗證。
Vitalik 的願景
這一轉型被設想為一個漸進的、多階段的過程，以確保系統的穩定性和向後相容性。正如以太坊創辦人 Vitalik Buterin 所闡述的，這種方法旨在實現一種「演化式」的發展，而非徹底的「革命性」變革。
第一步：預編譯替代
初始階段採取最保守的方式，引入新虛擬機 (VM) 的有限功能。正如 Vitalik Buterin 所建議的：「我們可以從有限的場景開始使用新 VM，例如替代預編譯功能。」具體來說，這將暫停新增 EVM 預編譯功能，取而代之的是透過白名單批准的 RISC-V 程式實現所需功能。這種方法允許新 VM 在主網中以低風險環境進行實戰測試，同時透過以太坊客戶端充當兩種執行環境間的中介。
第二步：雙虛擬機共存
下一階段將「讓新 VM 直接對用戶開放」。智慧合約可以透過標記來指示其位元組碼是 EVM 還是 RISC-V。關鍵特性是實現無縫的互操作性：「兩種類型的合約能夠相互呼叫。」這一功能將透過系統呼叫 (ECALL) 實現，使兩種虛擬機能夠在同一生態系中協作。
第三步：EVM 作為模擬合約 (“Rosetta” 策略)
最終目標是實現協議的極簡化。在這一階段，「我們將 EVM 作為新 VM 中的一種實現。」規範化的 EVM 將成為運行在原生 RISC-V L1 上的經過形式驗證的智慧合約。這不僅確保了對舊版應用的永久支援，同時允許客戶端開發者僅維護一個簡化的執行引擎，從而顯著降低複雜性和維護成本。
生態系的漣漪效應
從 EVM 向 RISC-V 的過渡不僅僅是核心協議的變革，它將對整個以太坊生態系產生深遠影響。這一轉型不僅會重塑開發者體驗，還將根本性地改變 Layer-2 解決方案的競爭格局，並解鎖新的經濟驗證模式。
Rollup 的重新定位：Optimistic 與 ZK 的對決
在 L1 層採用 RISC-V 執行層將對兩種主要類型的 Rollup 產生截然不同的影響。
Optimistic Rollup (如 Arbitrum、Optimism) 面臨架構挑戰。它們的安全模型依賴於透過 L1 EVM 重新執行有爭議的交易來解決詐欺證明。如果 L1 的 EVM 被替換，這一模型將徹底瓦解。這些專案將面臨艱難選擇：要麼進行大規模的工程改造，設計一個針對新 L1 VM 的詐欺證明系統，要麼完全脫離以太坊的安全模型。
相比之下，ZK Rollup 將獲得巨大的戰略優勢。絕大多數 ZK Rollup 已經將 RISC-V 作為其內部指令集架構 (ISA)。一個「講同一種語言」的 L1 將使其能夠實現更緊密、更高效的整合。Justin Drake 提出了「原生 Rollup」的未來願景：L2 實際上成為 L1 自身執行環境的專業化實例，利用 L1 的內置 VM 實現無縫結算。這種對齊將帶來以下變化：
技術棧簡化：L2 團隊將不再需要在內部的 RISC-V 執行環境與 EVM 之間建構複雜的橋接機制。
工具和程式碼複用：針對 L1 RISC-V 環境開發的編譯器、除錯器和形式化驗證工具可以直接被 L2 使用，大幅降低開發成本。
經濟激勵對齊：L1 的 Gas 費用將更準確地反映出基於 RISC-V 的 ZK 驗證實際成本，從而形成更合理的經濟模型。
開發者與用戶的新紀元
對以太坊開發者而言，這一轉型將是漸進的，而非破壞性的。
對於開發者，他們將能夠接觸到更廣泛、更成熟的軟體開發生態。正如 Vitalik Buterin 所指出，開發者將「能夠用 Rust 編寫合約，同時這些選項可以共存」。與此同時，他預測「Solidity 和 Vyper 仍會因其在智慧合約邏輯上的優雅設計而長期受歡迎」。透過 LLVM 工具鏈使用主流程式語言及其龐大的庫資源，這種轉變將是革命性的。Vitalik 將其比喻為一種「NodeJS 式體驗」，開發者可以用同一種語言編寫鏈上程式碼和鏈下程式碼，實現開發的一體化。
對用戶而言，這一轉型最終將為用戶帶來更低成本、更高性能的網路體驗。預計證明成本將降低約 100 倍，從每筆交易幾美元降至幾分錢甚至更少。這直接轉化為更低的 L1 費用和 L2 結算費用。這種經濟可行性將解鎖「Gigagas L1」的願景，目標實現約 10,000 TPS 的效能，為未來更複雜、更高價值的鏈上應用鋪平道路。
Succinct Labs 與 SP1：在當下建構證明未來
以太坊正在蓄勢待發。「擴展 L1，擴展塊」是 EF 協議集群內的戰略緊迫任務。預計未來 6 至 12 個月將實現顯著的效能提升。
https://blog.ethereum.org/2025/07/31/lean-ethereum
像 Succinct Labs 這樣的團隊已經在實踐中展示了 RISC-V 的理論優勢，他們的工作成為驗證這一提案的有力案例。
Succinct Labs 開發的 SP1 是一款基於 RISC-V 的高效能、開源 zkVM，它驗證了新的架構方法的可行性。SP1 採用「預編譯中心化」(precompile-centric) 的哲學，完美解決了 EVM 的密碼學瓶頸問題。與傳統依賴緩慢、硬編碼的預編譯方式不同，SP1 將諸如 Keccak 雜湊等密集型操作卸載到專門設計、手動優化的 ZK 電路中，並透過標準的 ECALL 指令呼叫。這種方法結合了客製化硬體的效能與軟體的靈活性，為開發者提供了更高效且可擴展的解決方案。
Succinct Labs 的實際影響已經顯現。他們的 OP Succinct 產品利用 SP1 為 Optimistic Rollups 賦予零知識證明能力 (ZK-ify)。正如 Succinct 聯合創辦人 Uma Roy 所解釋的：
「使用 OP Stack 的 Rollup，不再需要等待七天才能完成最終確認和提現……現在只需一小時即可完成確認。這種速度提升非常棒。」
這一突破解決了整個 OP Stack 生態系的關鍵痛點。此外，Succinct 的基礎設施——Succinct Prover Network——被設計為一個去中心化的證明生成市場，展示了未來可驗證計算的可行經濟模式。他們的工作不僅是一個概念驗證，更是一個切實可行的未來藍圖，正如本文所描述的那樣。
以太坊如何降低風險
RISC-V 的一大優勢在於，它使形式化驗證的聖杯——透過數學證明系統的正確性——成為可實現的目標。EVM 的規範以自然語言編寫於 Yellow Paper 中，難以形式化。而 RISC-V 則擁有官方的、機器可讀的 SAIL 規範，為其行為提供了明確的「黃金參考」。
這為更強的安全性鋪平了道路。正如以太坊基金會的 Alex Hicks 所指出，目前已經在進行將「zkVM RISC-V 電路與官方 RISC-V 規範提取到 Lean 中進行形式化驗證」的工作。這是一個里程碑式的進展，將信任從容易出錯的人類實現轉移到可驗證的數學證明上，為區塊鏈安全性開闢了新的高度。
轉型的主要風險
儘管 RISC-V 架構的 L1 具有諸多優勢，但它也帶來了新的複雜挑戰。
Gas 計量問題
為通用指令集架構 (ISA) 創建一個確定性且公平的 Gas 模型是一個尚未解決的難題。簡單的指令計數方法容易受到拒絕服務攻擊的威脅。例如，攻擊者可以設計一個程式反覆觸發快取未命中，從而以極低的 Gas 費用造成高資源消耗。這種問題對網路穩定性和經濟模型提出了嚴峻挑戰。
工具鏈安全與「可複現建構」問題
這是轉型過程中最重要且常被低估的風險。安全模型從依賴鏈上虛擬機轉向依賴鏈下編譯器 (如 LLVM)，而這些編譯器複雜度極高且已知包含漏洞。攻擊者可能利用編譯器漏洞，將看似無害的原始碼轉化為惡意位元組碼。此外，確保鏈上的編譯後二進制檔案與公開的原始碼完全一致，即「可複現建構」問題，也極為困難。建構環境中的微小差異可能導致生成不同的二進制檔案，從而影響透明性与信任。這些問題對開發者和用戶的安全性提出了嚴峻考驗。
緩解策略
前進的道路需要多層次的防禦策略。
分階段推廣
採用逐步、多階段的過渡計畫是應對風險的核心策略。透過首先將 RISC-V 引入作為預編譯替代方案，然後在雙虛擬機環境中運行，社群可以在低風險的環境中累積操作經驗並建立信心，避免任何不可逆的變更。這種漸進式方法為技術轉型提供了穩定的基礎。
全面審計：模糊測試與形式化驗證
儘管形式化驗證是最終目標，但它必須與持續的、高強度測試相結合。正如 Diligence Security 的 Valentine 在 Ethproofs 電話會議中展示的那樣，他們的 Argus 模糊測試工具已經發現了領先 zkVM 中 11 個關鍵的健全性與完整性漏洞。這表明，即使是設計最完善的系統，也可能存在只有透過嚴格的對抗性測試才能發現的漏洞。模糊測試與形式化驗證的結合為系統安全性提供了更強的保障。
標準化
為避免生態系的碎片化，社群需統一採用單一、標準化的 RISC-V 配置。這可能會是 RV64GC 與相容 Linux 的 ABI 組合，因為這一組合在主流程式語言和工具中擁有最廣泛的支援，能夠最大化新生態系的優勢。標準化不僅能提升開發者的效率，還能為生態系的長期發展奠定堅實基礎。
以太坊的可驗證未來
以 RISC-V 取代以太坊虛擬機 (EVM) 的提議不僅僅是一次漸進式升級，而是對以太坊執行層的根本性重構。這一雄心勃勃的願景旨在解決深層次的擴展性瓶頸、簡化協議複雜性，並將平台與通用計算領域的更廣泛生態對齊。儘管這一轉型面臨巨大的技術和社會挑戰，其長期戰略收益足以為這項大膽的努力提供正當性。
此次轉型聚焦於一系列核心權衡：
ZK 原生架構帶來的巨大效能提升與對向後相容性的迫切需求之間的平衡；簡化協議帶來的安全性優勢與 EVM 龐大的網路效應慣性之間的權衡；通用生態系的強大能力與依賴複雜第三方工具鏈的風險之間的選擇。
最終，這種架構轉型將是實現「精簡執行」(Lean Execution) 承諾的關鍵，也是「精簡以太坊」(Lean Ethereum) 願景的重要組成部分。它將以太坊的 L1 從一個簡單的智慧合約平台轉變為一個高效且安全的結算與資料可用性層，專為支援可驗證計算的廣闊宇宙而設計。
正如 Vitalik Buterin 所言，「終點是……為一切提供 ZK-snark。」
像 Ethproofs 這樣的專案為這一轉型提供了客觀資料和協作平台，而 Succinct Labs 團隊透過其 SP1 zkVM 的實際應用，則為這一未來提供了可操作的藍圖。透過擁抱 RISC-V，以太坊不僅解決了自身的擴展性瓶頸，還將自身定位為下一代網路的基礎信任層——由雜湊和簽名之後的第三大密碼學原語 SNARK 驅動。
證明世界的軟體，開啟加密新時代。
了解更多：
Vitalik 的解讀：點擊觀看
ETHProofs 第四次討論：點擊觀看
EVM該退場了！Vitalik提案改用RISC-V，ZK證明效能可提升百倍以上
加速以太坊 ZK 採用：RISC Zero新開發的 Steel 是什麼？
以太坊的麥當勞時刻：Rollups 如何成為 Web3 的特許經營模式？
