Offchain Labs 反對 V神 的 RISC-V 推動，提出在以太坊 L1 上使用 WASM 的案例

Offchain Labs認爲以太坊應該將交付和證明指令集分開，以保持長期靈活性。

團隊指出，ZK-VM設計的迅速變化使得將以太坊鎖定在RISC-V上變得不確定。

WASM爲鏈上智能合約執行提供結構穩定性、硬件兼容性和強大的驗證特性。

Offchain Labs 的研究人員對 Vitalik Buterin 提出的將以太坊的執行層轉向 RISC-V 指令集的提案提出了詳細的挑戰。他們的立場引入了一種不同的結構來評估以太坊如何處理智能合約代碼。研究人員在 11 月的以太坊研究討論中提出了他們的研究結果，討論了 WebAssembly 如何作爲以太坊第 1 層的長期交付格式。

研究人員強調交付系統和證明系統的不同角色

團隊解釋了智能合約系統如何依賴於兩個不同的層。他們描述了一個交付指令集，用於確定合約如何在鏈上出現。他們還詳細介紹了一個由 ZK 虛擬機使用的證明指令集，用於驗證執行。他們表示，這些角色不需要共享相同的設計。

他們的帖子將這種分離描述爲一種爲未來證明系統保留靈活性的方法。他們提到正在進行的工作，將WASM合約編譯爲RISC-V，然後再進行證明。他們補充說，這種方法已經在處理實時區塊數據的Arbitrum測試中運行。

研究人員檢查了ZK-VM開發中的快速變化。他們指出，RISC-V實現最近從32位轉向64位設計。他們表示，這一變化給證明系統的長期優化帶來了不確定性。他們關注將單一硬件導向的ISA嵌入以太坊基礎層的風險，而其他ZK-VM項目則在開發替代證明結構。他們提到了以WASM爲導向的證明工作，如Ligero的Ligetron，作爲該領域新方向的例子。

大佬證明成本在整個生態系統中持續下降

這篇文章描述了ZK證明成本的下降。研究人員表示，當前成本接近每個以太坊區塊0.025美元。他們補充說，隨着證明系統的發展，成本持續下降。他們解釋說，這些數字減少了僅圍繞證明效率設計交付格式的需求。

他們指出，構建者仍然可以在正常區塊條件下收取超過證明費用的燃氣費和MEV。研究人員提到了WASM的結構化格式。他們解釋說，這種結構使得代碼更新變得更容易，而不會破壞現有合約。他們補充說，WASM在大多數以太坊節點使用的普通硬件上運行效率很高。

他們還指出，WASM 包含內置驗證，這在執行環境中強制執行類型安全。他們提到了其廣泛的工具基礎，這源於在許多應用中的廣泛使用。他們將 WASM 描述爲一個穩定的層，連接合約語言與多樣的執行和證明系統。