Offchain Labs，Ethereum Layer 2 Arbitrum 的核心开发者，挑战了 Vitalik Buterin 提出的将以太坊执行层转向 RISC-V 的提案，发布了一篇详细的技术文章，认为 WebAssembly (WASM) 提供了更优越的长期优势。
在 11 月 20 日的 文章 中，四位 Offchain Labs 研究人员认为，尽管 RISC-V 目前在生成 ZK 证明方面表现出色，但这并不意味着它是智能合约在以太坊上交付和存储的正确选择。
以太坊联合创始人 Buterin 在 4 月的以太坊魔法师论坛上曾 提出 用开源的 RISC-V（发音为“risk-five”）指令集架构 (ISA) 替换以太坊虚拟机的字节码，认为这一变化在某些情况下可以将链上 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 的区块链中 ZK 证明现实世界的区块，使用基于 RISC-V 的 ZK-VM 作为后端，”文章中写道。
团队质疑 RISC-V 是否代表 ZK-VM 发展的终点，指出证明领域正在迅速变化。最近从 32 位到 64 位 RISC-V 实现的转变突显了这种不确定性。
他们警告说，在 L1 上确立 RISC-V 可能会将以太坊锁定在某种特定的证明技术上，而更好的替代方案正在出现，同时基于 WASM 的 ZK-VM，如 Ligero 的 Ligetron，已经展示了硬件专注的 ISA 可能无法匹配的优势。
与此同时，ZK 证明成本已降至每个以太坊区块约 0.025 美元，并继续下降，这使得专门优化证明效率变得不那么关键，研究人员认为。“即使 L1 每个区块需要多个 ZK 证明，这一成本与构建者从区块中获得的燃气费用和 MEV 相比也是微不足道的，”他们写道。
团队强调了 WASM 的结构化设计，使得在不破坏现有合约的情况下更容易修改和优化代码。WASM 还在常见硬件上高效执行，而大多数以太坊节点并不运行 RISC-V CPU，需要进行仿真。
WASM 的验证能力确保了类型安全并防止漏洞，而其成熟的工具生态系统在数十亿个执行环境中经过了实战考验。
“我们认为 WASM 可以成为智能合约的一种互联网协议，充当智能合约编写所用多种源语言与用于执行和证明智能合约的多种后端之间的理想中间层，”研究人员写道。
免责声明：The Block 是一家独立媒体机构，提供新闻、研究和数据。截至 2023 年 11 月，Foresight Ventures 是 The Block 的主要投资者。Foresight Ventures 在加密领域投资于 其他公司。加密交易所 Bitget 是 Foresight Ventures 的主要有限合伙人。The Block 继续独立运作，提供关于加密行业的客观、重要和及时的信息。以下是我们当前的 财务披露。
© 2025 The Block. 版权所有。本文仅供信息参考。并不提供或意图作为法律、税务、投资、财务或其他建议。
免责声明：本文章仅代表作者个人观点，不代表本平台的立场和观点。本文章仅供信息分享，不构成对任何人的任何投资建议。用户与作者之间的任何争议，与本平台无关。如网页中刊载的文章或图片涉及侵权，请提供相关的权利证明和身份证明发送邮件到support@aicoin.com，本平台相关工作人员将会进行核查。
