在《以太坊黄皮书中文版（一）》中，我们初步介绍了以太坊作为去中心化应用平台的愿景与整体架构，而本文将聚焦于以太坊技术规范的基石——以太坊虚拟机（Ethereum Virtual Machine, EVM），并结合《以太坊黄皮书中文版》的权威解读，深入剖析其核心机制与设计规范，为开发者和技术爱好者揭开以太坊“智能合约引擎”的神秘面纱。
EVM：以太坊的“世界计算机”核心
以太坊黄皮书将EVM定义为“一个基于堆栈的虚拟机，能够执行以太坊账户中的代码”，其本质是一个去中心化的、图灵完备的执行环境，负责处理所有智能合约的部署、调用与状态转换，作为以太坊区块链的“运行时”，EVM确保了全球数千个节点对同一合约执行逻辑的一致性，是“代码即法律”理念的技术保障。
黄皮书中文版特别强调，EVM的设计遵循“最小化攻击面”与“最大化可验证性”原则：其指令集经过精简（仅包含约144个操作码），状态模型基于简单的账户体系（外部账户与合约账户），且所有操作均通过“ gas 机制”限制计算资源消耗,从而避免无限循环等恶意行为导致网络瘫痪。
EVM核心组件：从状态模型到堆栈架构
状态模型：以太坊的“内存”与“存储”
黄皮书中文版对EVM的状态模型进行了严谨的数学定义，EVM的状态由一个全局的“状态树”（State Tree）维护，每个账户通过地址（Address）唯一标识,包含以下关键字段：
- nonce：外部账户为交易计数,合约账户为合约创建计数；
- balance：账户持有的以太币（以“wei”为单位）；
- storageRoot：合约账户的存储树根哈希,存储持久化数据；
- codeHash：合约账户的字节码哈希,外部账户则为空。
EVM还维护两个临时内存区域：
- 内存（Memory）：易失性的字节数组，用于合约执行过程中的临时数据存储，按字（32字节）计费；
- 存储（Storage）：持久化的键值对，仅合约账户可访问，修改操作成本高昂（gas消耗高）。
堆栈架构：EVM的“CPU”
EVM采用基于堆栈的执行模型，其核心是一个最大深度为1024的32字节整数堆栈，所有操作码（如ADD、MUL、SLOAD等）均从堆栈中读取操作数,并将结果压回堆栈。
- ADD：弹出堆栈顶部的两个值,计算其和后压回；
- PUSH1 0x10：将常数0x10压入堆栈；
- MUL：弹出堆栈顶部两个值,计算乘积后压回。
黄皮书中文版详细定义了每个操作码的语义、堆栈变换规则及gas消耗，确保执行过程的确定性，SHA3操作码用于计算哈希，其gas消耗与数据长度相关；而CREATE操作码用于创建新合约,需额外支付合约初始化的gas。
EVM执行流程：从交易到状态转换
黄皮书中文版通过形式化语言描述了EVM的完整执行流程,核心步骤如下：
- 交易验证：验证交易签名、nonce、gas_limit等参数,确保发送者余额足够支付gas费用；
- 初始化执行环境：创建一个新的“执行上下文”（Execution Context），包含调用者地址、被调用者地址、gas_limit、输入数据等；
- 字节码执行：从合约代码的起始位置（PC=0）开始，逐条解析操作码并执行，同时更新堆栈、内存和存储；
- 状态转换：执行完毕后，根据结果更新全局状态树（如转账、修改存储、创建合约等）；
- gas结算：退还未使用的gas，扣除支付给矿工的gas费用,并更新发送者与接收者的余额。
值得注意的是，EVM的执行是“原子性”的：若执行过程中因gas耗尽或错误中断（如除零错误），状态回滚至执行前的快照,确保区块链状态的一致性。
EVM的设计哲学与意义
黄皮书中文版不仅是对EVM技术规范的翻译,更蕴含了以太坊的设计哲学：
- 去中心化优先：EVM的简单性使得轻客户端与节点软件易于实现,降低网络参与门槛；
- 可验证性至上：形式化规范确保了不同实现（如geth、parity）的行为一致性，是区块链“信任最小化”的体现；
- 可扩展性基础：EVM作为“虚拟机层”，为上层应用（如DeFi、NFT）提供了统一的运行环境,而无需关心底层区块链的细节。
正如黄皮书所言：“EVM是以太坊成为‘世界计算机’的关键，它将‘计算’本身转化为一种可被全球节点共同验证的公共资源。”
《以太坊黄皮书中文版（二）》对EVM的解读，不仅是对技术细节的拆解，更是对以太坊“价值互联网”底层逻辑的深度诠释，通过理解EVM的堆栈操作、状态模型与执行流程，开发者能更高效地编写安全、高效的智能合约，而研究者则可在此基础上探索EVM的优化方向（如EVM、wasm等），随着以太坊向2.0的演进，EVM仍将作为连接共识层与应用层的核心桥
（注：本文基于《以太坊黄皮书中文版》核心内容整理，技术细节建议结合黄皮书原文及以太坊官方文档进一步研读。）