作者：jaehaerys.eth
編譯：深潮TechFlow
摘要
以太坊正準備迎接誕生以來最重要的架構轉型：將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 第四次討論：點擊觀看
