掃描下載 Gate App
qrCode
更多下載方式
今天不再提醒

Offchain Labs 反對 Vitalik 的 RISC-V 提案,支持 WASM 作為以太坊 L1

Offchain Labs,作為以太坊頂尖 Layer 2 解決方案 Arbitrum 的主要開發團隊,日前對 Vitalik Buterin 關於將以太坊執行層遷移至 RISC-V 架構的提案提出反對意見。在 11 月 20 日於 Ethereum Research 發布的技術文章中,研究團隊認為 WebAssembly (WASM) 才是帶來長遠優勢的最佳選擇。

根據 Offchain Labs 的四位研究員——Mario Alvarez、Matteo Campanelli、Tsahi Zidenberg 和 Daniel Lumi——儘管 RISC-V 目前在生成 ZK 證明方面具有優勢,但這並不意味著它就是在以太坊部署和儲存智能合約的合適格式。

Vitalik 的具爭議提案

Vitalik Buterin 曾於 4 月在 Ethereum Magicians 發文,提議用開放指令集 RISC-V 取代以太坊虛擬機的 bytecode。這一構想旨在大幅降低 ZK 證明生成成本,有些情境下甚至可降至原本的 1/100。

然而,Offchain Labs 認為「一個 ISA 同時最適用於 proving 與智能合約部署」的假設並不合理。

區分「delivery ISA」與「proving ISA」

團隊的核心論點是需要區分:

  • Delivery ISA (dISA): 用於將智能合約上鏈的格式。
  • Proving ISA (pISA): 用於 ZK 虛擬機生成證明的格式。

這兩個層級不必相同

Offchain Labs 表示,他們已建立了驗證此方向的原型:Arbitrum 的區塊——包括運行在 WASM 上的 Stylus 智能合約——會先將 WASM 編譯為 RISC-V,再針對 RISC-V 執行生成證明,實現 ZK-prove。

「我們能夠用基於 RISC-V 的 ZK-VM 後端,以 WASM 為 dISA,對區塊進行 ZK-prove。」團隊表示。

RISC-V 未必是終點

研究人員也質疑 RISC-V 是否真的是 ZK-VM 的最佳終點,特別是在 proving 生態變化快速的情況下。最近從 RISC-V 32 位元轉向 64 位元的趨勢顯示,這項技術尚未穩定。

如果以太坊在 Layer 1 鎖定 RISC-V,區塊鏈可能會在更優 proving 解決方案出現時被困於過時技術。而基於 WASM 的 ZK-VM——如 Ligero 的 Ligetron——正在展現出純硬體 ISA 架構難以比擬的優勢。

此外,ZK-prove 的成本已大幅下滑至每個以太坊區塊約 0.025 美元,且仍持續下降,使極端優化 proving 變得不再那麼迫切。「即使 L1 需要每區塊多次 ZK 證明,其成本也遠低於 builder 可獲得的 gas 費與 MEV,」團隊指出。

WASM 的長線優勢

Offchain Labs 認為 WASM 具備以下優勢:

  • 結構清晰,便於優化或修改而不破壞現有合約。
  • 在主流硬體上效能佳,不需像 RISC-V 那樣進行模擬。
  • 強大的驗證機制,確保 type safety 並降低安全風險。
  • 成熟的工具生態,歷經數十億次運行驗證。

團隊總結:「我們相信 WASM 可望成為智能合約的網際網路協議——在多樣程式語言與各類執行、proving 後端之間的理想中介層。」

Thạch Sanh

ETH5.38%
ARB8.57%
查看原文
此頁面可能包含第三方內容,僅供參考(非陳述或保證),不應被視為 Gate 認可其觀點表述,也不得被視為財務或專業建議。詳見聲明
  • 讚賞
  • 留言
  • 轉發
  • 分享
留言
0/400
暫無留言
交易,隨時隨地
qrCode
掃碼下載 Gate App
社群列表
繁體中文
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)