Offchain Labs質疑Vitalik的RISC-V提案，稱WASM更適合Ethereum L1

作為Ethereum Layer 2 Arbitrum的核心開發者，Offchain Labs對Vitalik Buterin提出將Ethereum執行層轉換為RISC-V的建議提出質疑，並發佈了一篇詳細的技術文章，主張WebAssembly（WASM）在長遠來看具有更優越的優勢。

在11月20日發佈於Ethereum Research的文章中，四位Offchain Labs研究人員認為，儘管RISC-V目前在生成ZK證明方面表現出色，但這並不意味著它就是Ethereum智能合約交付和儲存的最佳選擇。

Ethereum聯合創辦人Buterin曾於四月在Ethereum Magicians發文，提出以開源RISC-V（發音為“risk-five”）指令集架構（ISA）取代Ethereum虛擬機的位元組碼，並認為此舉在某些情況下可將鏈上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的區塊鏈上，利用基於RISC-V的ZK-VM作為後端，對真實世界的區塊進行ZK證明，」文章寫道。

RISC-V未必能長期保持最佳

該團隊質疑RISC-V是否代表ZK-VM發展的終點，並指出證明領域正在迅速變化。近期從32位RISC-V轉向64位RISC-V的趨勢就凸顯了這種不確定性。

他們警告稱，若在L1層將RISC-V標準化，可能會讓Ethereum被鎖定在某一種證明技術上，而此時更好的替代方案可能會出現；同時，像Ligero的Ligetron這樣基於WASM的ZK-VM已經展現出硬體導向ISA難以匹敵的優勢。

與此同時，ZK證明成本已經降至每個Ethereum區塊約0.025美元，且仍在持續下降，研究人員認為，這使得僅僅為證明效率而優化變得沒那麼重要。「即使L1每個區塊需要多個ZK證明，這個成本與建塊者可從區塊獲得的gas費和MEV相比也微不足道，」他們寫道。

WASM的優勢

團隊強調WASM的結構化設計，使其更易於修改和優化程式碼，同時不會破壞現有合約。WASM也能在常見硬體上高效執行，而大多數Ethereum節點並未運行RISC-V CPU，若採用RISC-V則需進行模擬。

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

「我們認為WASM可以成為智能合約的類似網際網路協議的存在，作為智能合約多元原始語言與多元執行及證明後端之間的理想中介層，」研究人員寫道。