Offchain Labs 挑戰 Vitalik 的 RISC-V 提案，表示 WASM 對 Ethereum L1 更好

Offchain Labs，以太坊 Layer 2 Arbitrum 的核心開發者，對 Vitalik Buterin 提出將以太坊執行層轉向 RISC-V 的提案提出了質疑，發布了一篇詳細的技術文章，論證 WebAssembly (WASM) 提供了更優越的長期優勢。

在 11 月 20 日發表於以太坊研究論壇的文章中，四位 Offchain Labs 研究人員認為，儘管 RISC-V 目前在生成 ZK 證明方面表現出色，但這並不意味著它是以太坊上智能合約應該如何交付和存儲的正確選擇。

以太坊聯合創始人 Buterin 曾在 4 月於以太坊魔術師論壇上提出用開源的 RISC-V（發音為"risk-five"）指令集架構 (ISA) 替換以太坊虛擬機的字節碼的想法，認為這一變更在某些情況下可以將鏈上 ZK 證明成本降低了多達 100 倍。

"我們支持這些目標，但質疑 Vitalik 的隱含假設，即一種 ISA 可以最佳地同時服務於 ZK 證明和智能合約交付，"Mario Alvarez、Matteo Campanelli、Tsahi Zidenberg 和 Daniel Lumi 寫道。

將交付與證明分開？

團隊的核心論點集中在區分"交付 ISA"(dISA)——上傳合約到鏈上的格式——和 ZK 虛擬機使用的"證明 ISA"(pISA)。他們認為，這兩者不需要是相同的。

Offchain Labs 已經在構建一個證明這一概念的原型：Arbitrum 區塊，包括基於 WASM 的 Stylus 智能合約，通過首先將 WASM 編譯為 RISC-V，然後證明 RISC-V 執行來進行 ZK 證明。

"我們今天可以在使用 WASM 作為 dISA 的區塊鏈中對真實世界的區塊進行 ZK 證明，通過使用基於 RISC-V 的 ZK-VM 作為後端，"該文章指出。

RISC-V 可能不會保持最佳狀態

團隊質疑 RISC-V 是否代表 ZK-VM 演進的終點，指出證明領域正在迅速變化。最近從 32 位到 64 位 RISC-V 實現的轉變突顯了這種不確定性。

他們警告說，在 L1 上確立 RISC-V 可能會將以太坊鎖定在特定的證明技術上，而更好的替代方案正在出現，同時基於 WASM 的 ZK-VM，如 Ligero 的 Ligetron，已經展示了硬件專注的 ISA 可能無法匹配的優勢。

與此同時，ZK 證明成本已經暴跌到每個以太坊區塊約 0.025 美元，並繼續下降，研究人員認為，這使得專門為證明效率進行優化變得不那麼關鍵。"即使 L1 需要每個區塊多個 ZK 證明，與構建者可以從一個區塊中獲得的 gas 費用和 MEV 相比，這個成本也是微不足道的，"他們寫道。

WASM 的優勢

團隊強調了 WASM 的結構化設計，這使得修改和優化代碼而不破壞現有合約變得更加容易。WASM 也能在常見硬件上高效執行，而大多數以太坊節點不運行 RISC-V CPU，需要對其進行模擬。

WASM 的驗證能力確保了類型安全並防止漏洞，而其成熟的工具生態系統已經在數十億執行環境中經過了實戰測試。

"我們認為 WASM 可以成為智能合約的一種互聯網協議，作為智能合約編寫的各種源語言和用於執行和證明智能合約的各種後端之間的理想中間層，"研究人員寫道。