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 指令集替换以太坊虚拟机的字节码。其核心理念在于大幅降低 ZK 证明的生成成本，部分情况下可降低高达 100 倍。

然而，Offchain Labs 认为“用一套 ISA 同时最优化证明和智能合约部署”这一假设并不合理。

区分“delivery ISA”和“proving ISA”

团队的核心观点是需要区分：

• Delivery ISA (dISA)： 用于将智能合约上传到链上的格式。
• Proving ISA (pISA)： 用于 ZK 虚拟机生成证明的格式。

这两层并不一定要相同。

Offchain Labs 表示，他们已经构建了验证这种方法的原型：Arbitrum 的区块——包括运行在 WASM 上的 Stylus 智能合约——通过先将 WASM 编译为 RISC-V，再生成 RISC-V 执行证明的方式，进行 ZK 证明。

“我们可以利用基于 RISC-V 的 ZK-VM 后端，将实际在区块链上运行的区块（使用 WASM 作为 dISA）进行零知识证明，”团队表示。

RISC-V 可能并非终极目标

研究人员还质疑，RISC-V 是否真的是 ZK-VM 的最优终点，因为证明生态正在快速变化。近期从 RISC-V 32 位向 64 位的转变表明该技术仍未完全稳定。

如果以太坊在 Layer 1 “锁死”RISC-V，区块链可能会被困在过时的证明技术中，而更优的解决方案一旦出现就难以切换。与此同时，以 WASM 为基础的 ZK-VM（如 Ligero 的 Ligetron）正在展现出硬件原生 ISA 架构难以企及的优势。

此外，ZK 证明的成本已大幅下降至每个以太坊区块约 0.025 美元，并有望继续降低，这让极端优化证明的紧迫性大大减弱。“即使 L1 需要为每个区块生成多个 ZK 证明，这一成本也远低于构建者能够获得的 gas 费和 MEV，”团队指出。

WASM 的长期优势

Offchain Labs 认为 WASM 具备以下突出优势：

• 结构清晰，便于优化和修改而不会破坏现有合约。
• 在主流硬件上性能优异，无需像 RISC-V 那样仿真。
• 强大的验证机制，确保类型安全并减少安全漏洞。
• 成熟的工具生态，已在数十亿真实环境中验证。

团队总结道：“我们相信 WASM 有潜力成为智能合约的‘互联网协议’——在多样化编程语言和不同执行、证明后端之间的理想中间层。”

Thạch Sanh