Offchain Labs 對 Vitalik 的 RISC-V 提案提出質疑，稱 WASM 更適合以太坊 L1 緩存。

鏈下實驗室，以太坊 Layer 2 的核心開發者。 仲裁，針對 Vitalik Buterin 將以太坊執行層過渡到 RISC-V 的提議，他發表了一篇詳細的技術文章，論證 WebAssembly (WASM) 具有更優越的長期優勢。

在11月20日郵政以太坊研究，四Offchain Labs研究人員認為，雖然 RISC-V 目前在生成零知識證明方面表現出色，但這並不意味著它是智能合約在以太坊上交付和存儲的正確選擇。

以太坊聯合創始人布特林曾提出了這個想法4 月份，以太坊魔術師在 Ethereum Magicians 上發表了一篇文章，建議用開源的 RISC-V（發音為“risk-five”）指令集架構 (ISA) 替換以太坊虛擬機的字節碼，並認為這種改變在某些情況下可以將鏈上零知識證明成本降低 100 倍。

“我們支持這些目標，但對 Vitalik 的隱含假設表示質疑，即一個 ISA 可以最好地同時服務於零知識證明和智能合約交付，”Mario Alvarez、Matteo CAMPanelli、Tsahi Zidenberg 和 Daniel Lumi 寫道。

交付與驗證分開進行？

該團隊的核心論點在於區分“交付指令集架構”（dISA，用於將合約上傳到鏈上的格式）和“證明指令集架構”（PISA，ZK虛擬機使用的格式）。 他們認為，這兩者不必相同。

Offchain LABs 已經構建了一個原型來證明這一概念：仲裁區塊（包括基於 WASM 的 Stylus 智能合約）通過先將 WASM 編譯為 RISC-V，然後證明 RISC-V 執行來獲得零知識證明。

帖子中寫道：“如今，我們可以在以 WASM 為 dISA 的區塊鏈中，通過使用基於 RISC-V 的 ZK-VM 作為後端，對現實世界的區塊進行 ZK 證明。”

RISC-V 可能無法保持最佳狀態。

該團隊質疑 RISC-V 是否代表了零知識證明虛擬機 (ZK-VM) 演進的終點，並指出證明機制正在快速變化。 近期從 32 位 RISC-V 實現向 64 位 RISC-V 實現的轉變凸顯了這種不確定性。

他們警告說，將 RISC-V 固定在 L1 上可能會使以太坊鎖定在特定的證明技術中，而此時更好的替代方案正在出現；同時，像 Ligero 的 LigeTRON 這樣的基於 WASM 的 ZK-VM 已經展現出硬件導向型指令集架構 (ISA) 可能無法匹敵的優勢。

與此同時，ZK 證明成本已暴跌至每個以太坊區塊約 0.025 美元，並且還在持續下降，因此研究人員認為，僅僅為了提高證明效率而進行優化已不再那麼重要。 他們寫道：“即使 L1 認證需要每個區塊進行多次 ZK 證明，與區塊建造者可以從區塊中獲得的 gas 費和 MEV 相比，這部分成本也微不足道。”

WASM的優勢

該團隊強調了WASM的結構化設計，這種設計使得代碼的修改和優化更加便捷，而不會破壞現有合約。 此外，WASM在常用硬件上也能高效運行，而大多數以太坊節點並不運行RISC-V CPU，需要進行模擬。

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

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