顶级区块链虚拟机：EVM、SVM、MoveVM、WebAssembly/RISC-V 与 CairoVM

每个智能合约都必须在某处运行。这个“某处”就是区块链虚拟机（VM）——由网络中的每个节点以完全相同的方式执行的沙盒化程序，因此无论由谁运行，相同的输入总会产生相同的输出。所构建的 VM 几乎决定了一条链的一切：可以使用哪些编程语言、交易能否同时运行还是只能依次运行，以及从第一天起能够接入多大范围的现有开发者生态系统。

本指南将介绍五类 VM；它们共同支撑了当今 Web3 中的大量智能合约活动：以太坊虚拟机（EVM）、Solana 的 SVM、Aptos 和 Sui 所使用的 MoveVM、可移植字节码 VM（包括使用 WebAssembly 的 CosmWasm 和执行 RISC-V 派生字节码的 PolkaVM），以及 Starknet 的 CairoVM。

什么是区块链虚拟机，为什么它重要？

区块链 VM 是一种确定性的沙盒化执行环境：每个全节点下载相同的交易，通过相同的 VM 执行它们，并得到相同的链上 (On-chain)状态。以太坊官方文档将 EVM 描述为“在所有以太坊节点上一致且安全地执行代码的去中心化虚拟环境”（ethereum.org）——这一描述同样适用于本指南中的每一种 VM。

VM 的设计权衡由两个属性决定：

语言和工具链。 开发者能用什么语言编写合约？已有多少经过审计的代码库、工具，以及熟悉该语言、可供招聘的开发者？
执行模型。 VM 是严格地一次处理一笔交易（串行），还是让相互独立的交易在多个 CPU 核心上同时运行（并行执行）？串行执行更容易推理；并行执行可提高理论吞吐量，但也增加了调度复杂性。

这些选择会进一步影响 Gas 成本、拥堵时的行为，以及哪些现有合约和工具无需重写即可迁移——因此，“选择哪种 VM”是每条新链，或构建在其上的每项代币化资产，都必须首先回答的问题之一。

EVM（以太坊虚拟机）

EVM 的扁平矢量图：作为单车道栈机器，指令指针将数值压入和弹出垂直栈，Gas 计量表盘跟踪执行成本

EVM 随以太坊于 2015 年推出，如今是部署最广泛的智能合约 VM 之一。它是一种基于栈的机器：以太坊文档规定，它“作为一台深度为 1024 项的栈机器运行”，每一项都是一个 256 位字（ethereum.org）。合约状态保存在与每个账户关联的 Merkle Patricia trie 中，而全局链状态同样组织为一个经修改的 Merkle Patricia trie，通过哈希连接所有账户（ethereum.org）。

语言。 合约几乎总是使用 Solidity 编写；以太坊官方文档将其描述为“一种用于实现智能合约的面向对象高级语言”，深受 C++ 语法影响（ethereum.org）。主流替代方案是 Vyper，一种刻意删减功能以便于审计合约的“Python 风格”语言（ethereum.org）。

执行模型。 EVM 在一个区块内串行地处理交易——按固定顺序一笔接一笔地执行——这使状态转换逻辑简单且易于审计，但也限制了基础层的吞吐量。

Gas。 每项操作都需要消耗Gas（交易费用）；Gas 是以太坊用于衡量“操作所需计算工作量”的单位，用于为执行定价，并保护网络免受垃圾交易或无限循环的侵害（ethereum.org）。

独特优势与覆盖范围。 EVM 真正的护城河在于其生态系统：它是加密领域实现最广泛的 VM，数十个二层网络和独立链（Arbitrum、Optimism、Base、Polygon、BNB Chain、Avalanche C-Chain）都提供EVM 兼容或EVM 等效环境，因此现有的 Solidity 合约、钱包和工具几乎无需修改即可部署。

SVM（Solana / Sealevel）

扁平矢量图：多车道公路上的交易汽车并行行驶，与单车道道路上排队的汽车形成对比，说明 Solana 的 Sealevel 并行执行与串行执行的区别

Solana 的运行时 Sealevel 建立在一个明确的判断之上：大多数交易触及的是相互独立的状态片段，因此可以同时执行，而不是一次执行一笔。Solana 自己的公告将 Sealevel 描述为“Solana 的并行智能合约运行时”，能够“使用验证者可用的任意数量核心，并行处理数千份合约”（solana.com）。

并行如何实现。 Solana 交易必须预先声明它们将读取或写入的每一个账户。这一声明使调度成为可能：运行时可以“排序数百万笔待处理交易”，并“将所有互不重叠的交易并行调度”；其中包括允许只读取同一账户的多笔交易并发运行（solana.com）。当两笔交易访问同一账户，且至少有一笔写入该账户时，它们必须相互串行化；如果两笔交易都只读取同一账户，仍可并发运行。

语言和 VM 内部机制。 Solana 程序（即其对智能合约的称呼）被编译为 Berkeley Packet Filter 字节码的一种变体——Solana Labs 表示，为链上 VM 选择了“Berkeley Packet Filter（BPF）字节码的一种变体”（solana.com）。程序最常使用 Rust 编写，也支持 C 和 C++。

独特优势。 由于账户级并行性是运行时的属性，而不是每个合约作者必须手动实现的能力，Solana 无需将执行移至链下即可维持高吞吐量；代价是更严格的账户声明模型，这改变了合约的编写方式，区别于 EVM 的自由形式存储。

MoveVM（Aptos 与 Sui）

扁平矢量图：一枚硬币被视为在两个账户方框之间传递的实体资源，带有“复制受限”和“不可隐式丢弃”保护徽章，说明 Move 由 ability 约束的资源模型

Move 是最初为 Meta 的 Diem 项目构建的智能合约语言，现在是 Aptos 和 Sui 的基础层；两者各自运行自己的 MoveVM 变体。Aptos 文档将 Move 描述为“一种面向 Web3 的安全、可靠编程语言，强调稀缺性和访问控制”（aptos.dev）。

资源模型。 Move 的核心理念是将数字资产视为资源——这种特殊的结构体类型，语言的类型系统保证其“不会被意外复制或丢弃”（aptos.dev）。一个被建模为 Move 资源的代币或 NFT，只有在其类型具备 copy ability 时才能复制，也只有在具备 drop ability 时才能被隐式丢弃；编译器会拒绝无效用法。定义该类型的模块仍可封装（pack）新值，并通过解构（unpack）显式消耗它们，也可以对外提供受控的铸造或销毁函数（Aptos Move ability 文档，Move 结构体与模块权限）。这些 ability 可防止意外的复制和丢弃错误，却不能证明合约更广泛的资产逻辑一定正确，也不能排除每一种可能的双花或销毁漏洞。

并行执行。 Aptos 通过 Block-STM 运行 Move 合约；文档称其可实现“无需用户任何输入的交易并发执行”——运行时在执行时推断哪些交易相互独立，而不是要求使用 Solana 那种已声明的账户列表（aptos.dev）。

Sui 的对象模型。 Sui 借助以对象为中心的存储层进一步扩展了 Move 的资源理念：“对象是网络上的基本存储单元。每一项资源、资产或链上数据都是一个对象。”它们通过唯一 ID 寻址，而不是存放在账户的键值存储中（Sui 对象模型）。Sui 当前的对象模型列出五种所有权形态：地址拥有（address-owned）、不可变（immutable）、共识地址拥有（consensus-address-owned，即 party）、共享（shared）和封装（wrapped）。只有当所有可变输入对象都属于地址拥有，其他输入对象则都不可变时，交易才能走 Sui 不需共识排序的直接快速路径。共识地址拥有对象和共享对象需要通过共识排序，即使交易只读取它们也是如此；不过，彼此不冲突的只读访问仍可并发执行（Sui 地址拥有对象，party 对象，Lutris 论文）。因此，相互独立的快速路径交易可以并发处理，而无需将每个对象都视为全局共享状态。

独特优势。 Move 的资源类型会阻止通用代码复制不具备 copy ability 的值，或让不具备 drop ability 的值在离开作用域时被隐式丢弃。定义该类型的模块仍可铸造新值，并通过解构它们来显式销毁；因此，这些检查本身不能证明资产守恒，也无法消除每一种资产逻辑漏洞。Aptos 和 Sui 都将这一安全模型与从一开始就为并行执行设计的架构结合起来，而非事后改造。

可移植字节码 VM（CosmWasm、PolkaVM）

有些链不定义区块链专用字节码，而是采用可移植的通用指令格式。CosmWasm 执行 WebAssembly，PolkaVM 则执行源自 RISC-V 的字节码；因此 PolkaVM 并不是基于 WASM 的 VM。WebAssembly 标准将 Wasm 描述为“一种基于栈虚拟机的二进制指令格式”，它被设计为“编程语言的可移植编译目标”，并“旨在以接近原生速度执行”（webassembly.org）。将 Wasm 用作合约 VM 意味着，原则上任何以 Wasm 为编译目标的语言——Rust、C、C++、Go——都能生成可部署的合约。

CosmWasm。 CosmWasm 是 Cosmos 生态系统中占主导地位的基于 Wasm 的智能合约平台，将自己描述为“面向多链世界的安全、高性能、可互操作智能合约平台”（cosmwasm.com）。合约使用 Rust 编写，并运行在“高度优化的 Web Assembly 运行时”上（cosmwasm.com）。CosmWasm 已部署在数十条 Cosmos SDK 链上，包括 Osmosis、Neutron、Injective、Secret Network 和 Terra，并继承了 Cosmos 原生的 IBC 跨链消息传递能力。

PolkaVM。 Polkadot 较新的智能合约 VM 另辟蹊径：Parity 没有执行原始 Wasm，而是在其仓库描述中将 PolkaVM 构建为“一种通用、用户级、基于 RISC-V 的虚拟机”（github.com/paritytech/polkavm）。根据 ink! 智能合约文档，其理由在于性能：RISC-V 的执行“与交易吞吐量和交易成本相关”，相比 ink! 先前使用的 Wasm 解释器，能够实现更快、更低成本的执行（use.ink）。值得注意的是，Polkadot 的 PolkaVM 栈（品牌名为 “Revive”）也提供 EVM 解释器层，使 Solidity 合约能在同一 RISC-V 后端运行。

独特优势。 可移植字节码 VM 用成熟的通用编译目标取代区块链专用字节码；Rust 尤其能为合约代码带来强大的内存安全保证，而 Wasm 和 RISC-V 都受益于为规模更大的非区块链使用场景构建的工具。CosmWasm 与 PolkaVM 仍是两种不同架构：前者执行 Wasm，后者执行源自 RISC-V 的字节码。

CairoVM（Starknet）

Cairo 是专为零知识证明生成而构建的智能合约语言和 VM，为以太坊 Layer 2 Starknet 提供底层支撑。Starknet 官方文档明确说明了其设计目标：“Cairo 是一种对 STARK 友好的冯·诺依曼架构，能够为任意计算生成有效性证明”（starknet.io）。“对 STARK 友好”意味着该指令集“针对 STARK 证明系统进行了优化，同时仍与其他证明系统后端兼容”（starknet.io）——这与 EVM 或 SVM 的优先级相反：后二者先为执行而设计，只在后来才为扩展性加入证明系统。

执行模型。 Cairo 会被编译为图灵完备的指令集（即“Cairo 机器”）；它被指定为一组代数中间表示，因此任何 Cairo 程序的执行轨迹都可以转化为可在以太坊 L1 上验证的简洁 STARK 证明（starknet.io）。这使 Starknet 能在链下批处理数千笔交易，再向以太坊提交一份紧凑的正确性证明，而不是重放每一笔交易。

独特优势。 可证明性是 Cairo 从一开始就采用的设计约束：其指令集和执行轨迹均以高效生成 STARK 证明为目标。不过，实际证明成本仍取决于程序、证明器实现、证明系统参数和比较对象，因此不能保证低于所有 zkEVM 工作负载。其权衡是：相较于来自以太坊、熟悉 Solidity 的开发者所面对的环境，它的语言生态较新、更小，学习曲线也更陡峭。

对比表

VM	合约语言	执行 / 状态模型	并行执行	生态系统规模	EVM 兼容性
EVM	Solidity、Vyper	栈机器；账户/存储状态位于 Merkle Patricia trie 中	否——在一个区块内串行执行	最大；二层网络和应用链的默认目标	原生
SVM（Solana）	Rust、C、C++	源自 BPF 的字节码；基于账户的状态，声明读/写集合	是——Sealevel 并发调度互不重叠的交易	大型、快速增长，主要为 Solana 原生	否（独立生态系统）
MoveVM（Aptos/Sui）	Move	资源类型化对象；Aptos 使用 Block-STM，Sui 使用多种所有权形态，并区分直接路径与共识排序路径	是——在运行时推断（Aptos），或通过对象所有权实现（Sui）	较小、仍在增长；两个相互独立的 Move 生态系统	否
可移植字节码（CosmWasm、PolkaVM）	Rust（CosmWasm）；Rust/C/RISC-V 工具链（PolkaVM）	Wasm 字节码（CosmWasm）或 RISC-V 字节码（PolkaVM）	取决于链；两种指令格式都不具备这种普遍属性	中等；分布在众多 Cosmos 链和 Polkadot 平行链集合中	PolkaVM/Revive 添加 EVM 解释器层；CosmWasm 不兼容 EVM
CairoVM（Starknet）	Cairo	为 STARK 证明设计的、基于 AIR 的图灵完备机器	不是主要设计目标——为可证明性而非并发性优化	五者中最小，但随 Starknet 的二层活动增长	否（zkEVM 项目会另行桥接 Solidity 合约）

这与代币化域名有何关联

一条链运行哪种 VM，直接关系到代币化域名基础设施。由NFT（非同质化代币）表示的域名，本质上是一个智能合约，负责强制执行谁拥有代币以及他们可以如何使用它——这类逻辑可以受益于 Move 在编译时对复制资源和隐式丢弃资源所施加的限制，而 EVM 成熟的工具链则使其易于审计，并与现有钱包和市场集成。Namefi 的代币化模式刻意面向 EVM 生态系统：EVM 兼容意味着代币化的 .com 或 .ai 域名的所有权 NFT 可以开箱即用地配合现有的 EVM 钱包、市场和 DeFi 协议，而不必为每一种新 VM 都专门构建集成。请访问 namefi.io 探索代币化域名。