
正如以太坊基金会的 Justin Drake 所言,以太坊的长期目标始终是“让一切都被 Snark 化”(Snarkify everything),这是一种能够增强协议各层的强大工具。然而,长期以来,这个目标更像是“遥不可及的蓝图”,因为实现它需要实时证明(real-time proving)的概念。而现在,随着实时证明逐渐成为现实,EVM 的理论低效已转化为一个亟待解决的实际问题。
本文将深入分析将以太坊 L1 迁移至 RISC-V 指令集架构(ISA)的技术和战略论点。这一举措不仅有望释放前所未有的可扩展性,还将简化协议结构,并使以太坊与可验证计算的未来保持一致。
究竟发生了什么变化?在探讨“为什么”之前,首先需要明确“什么”正在发生变化。
EVM(以太坊虚拟机)是以太坊智能合约的运行环境,被称为处理交易并更新区块链状态的“世界计算机”。多年来,它的设计堪称革命性,为去中心化金融(DeFi)和NFT生态系统的诞生奠定了基础。然而,这套近十年前的定制架构如今已积累了大量技术债务。
相比之下,RISC-V 并非一个产品,而是一种开放标准——一种免费的、通用的处理器设计“字母表”。正如 Jeremy Bruestle 在 Ethproofs 会议上所强调的,它的关键原则使其成为这一角色的绝佳选择:
-
极简主义:RISC-V 的基础指令集极其简单,仅包含约40到47条指令。正如 Jeremy 所言,这使它“几乎完美适用于我们所需的超级简约通用机器的用例”。
-
模块化设计:更复杂的功能通过可选扩展来添加。这一特性至关重要,因为它允许核心保持简单,同时根据需求扩展功能,而不会将不必要的复杂性强加到基础协议中。
-
开放生态系统:RISC-V 拥有庞大且成熟的工具链支持,包括 LLVM 编译器,使开发者能够使用主流编程语言,如 Rust、C++ 和 Go。正如 Justin Drake 所提到的:“围绕编译器的工具非常丰富,而编译器的构建极其困难……因此拥有这些编译器工具链的价值极高。”RISC-V 让以太坊能够免费继承这些现成的工具。

推动替换EVM的原因并非某个单一缺陷,而是多个根本性限制的汇合,这些问题在以零知识证明为核心的未来背景下已无法忽视。这些限制包括零知识证明系统中的性能瓶颈,以及协议内部积累的日益复杂性所带来的风险。
解释器开销问题这一转型最紧迫的驱动力是EVM在零知识证明系统中的固有低效性。随着以太坊逐步转向通过ZK证明验证L1状态的模型,证明者性能成为最大的瓶颈。
