Offchain Labs 挑战 Vitalik 的 RISC-V 提案，称 WASM 更适合以太坊 L1

Offchain Labs，以太坊 Layer 2 Arbitrum 的核心开发者，对 Vitalik Buterin 提出的将以太坊执行层转换为 RISC-V 的提案提出了质疑，发布了一篇详细的技术文章，论证 WebAssembly (WASM) 提供了更优越的长期优势。

在 11 月 20 日发表在以太坊研究平台上的文章中，四位 Offchain Labs 研究人员认为，尽管 RISC-V 目前在生成零知识证明方面表现出色，但这并不意味着它是以太坊上智能合约交付和存储的正确选择。

以太坊联合创始人 Buterin 曾在 4 月份在以太坊魔术师论坛上提出用开源的 RISC-V（发音为"risk-five"）指令集架构 (ISA) 替代以太坊虚拟机的字节码的想法，认为这一变更在某些情况下可以将链上零知识证明成本降低多达 100 倍。

"我们支持这些目标，但质疑 Vitalik 的隐含假设，即一种 ISA 可以同时最佳地服务于零知识证明和智能合约交付，"Mario Alvarez、Matteo Campanelli、Tsahi Zidenberg 和 Daniel Lumi 写道。

将交付与证明分开？

团队的核心论点集中在区分"交付 ISA"(dISA)——用于链上上传合约的格式——和零知识虚拟机使用的"证明 ISA"(pISA)。他们认为，这两者不需要是相同的。

Offchain Labs 已经在构建一个证明这一概念的原型：Arbitrum 区块，包括基于 WASM 的 Stylus 智能合约，通过首先将 WASM 编译为 RISC-V，然后证明 RISC-V 执行来实现零知识证明。

"我们今天可以在使用 WASM 作为 dISA 的区块链中对真实世界的区块进行零知识证明，通过使用基于 RISC-V 的 ZK-VM 作为后端，"该文章指出。

RISC-V 可能不会保持最优

团队质疑 RISC-V 是否代表了 ZK-VM 演进的终点，指出证明领域正在迅速变化。最近从 32 位到 64 位 RISC-V 实现的转变突显了这种不确定性。

他们警告说，在 L1 上确立 RISC-V 可能会将以太坊锁定在特定的证明技术上，而更好的替代方案可能正在出现，同时基于 WASM 的 ZK-VM，如 Ligero 的 Ligetron，已经展示出硬件专注的 ISA 可能无法匹配的优势。

与此同时，零知识证明成本已经暴跌至每个以太坊区块约 0.025 美元，并且继续下降，研究人员认为，这使得专门为证明效率进行优化变得不那么关键。"即使 L1 需要每个区块多个零知识证明，与构建者从一个区块中可以获得的 gas 费用和 MEV 相比，这种成本也是微不足道的，"他们写道。

WASM 的优势

团队强调了 WASM 的结构化设计，这使得修改和优化代码而不破坏现有合约变得更加容易。WASM 在常见硬件上也能高效执行，而大多数以太坊节点不运行 RISC-V CPU，需要对其进行模拟。

WASM 的验证能力确保类型安全并防止漏洞，而其成熟的工具生态系统已在数十亿执行环境中经过实战测试。

"我们认为 WASM 可以成为智能合约的一种互联网协议，作为智能合约编写的各种源语言和用于执行和证明智能合约的各种后端之间的理想中间层，"研究人员写道。