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 描述为一个稳定的层，连接合约语言与多样的执行和证明系统。