以太坊虚拟机 (EVM) 是以太坊网络的核心引擎，负责执行智能合约并维护整个区块链的状态。理解 EVM 的工作原理对于开发者编写高效、安全的智能合约至关重要。本文将系统介绍 EVM 的核心组件、运行机制以及如何通过低级编程技术进行合约优化。
什么是以太坊虚拟机 (EVM)？
EVM 是一款运行在以太坊网络每个节点上的软件，它允许部署和执行用高级语言（如 Solidity）编写的智能合约。合约编写完成后，会被编译成字节码并部署到 EVM 中执行。
EVM 被设计为一种准图灵完备的状态机。这里的“准”意味着流程的执行受限于可用 Gas 数量，从而避免了无限循环或恶意代码导致网络瘫痪的风险。Gas 是以太坊中衡量计算工作量的单位，交易成本以以太币支付，与 Gas 消耗量和 Gas 价格相关。
Solidity Assembly 与 Yul 语言
Solidity Assembly 是一种低级编程语言，允许开发者在更接近 EVM 的层级编写代码。它提供了对智能合约执行的精细控制，能够实现仅通过高级 Solidity 无法完成的优化。
在 Solidity 中，内联汇编的语言称为 Yul。Yul 是一种基于堆栈的低级语言，充当编译为 EVM 字节码的中介。它可以在独立模式下使用，也可在 Solidity 中以 assembly { … } 块形式进行内联汇编。
代码优化实践
使用内联汇编可以显著降低执行成本，但需要谨慎操作，因为它绕过了 Solidity 的某些安全检查和功能。不恰当的使用可能引入新的安全问题。
EVM 中访问存储变量时，第一次访问（冷访问）需要消耗 2100 Gas，而后续访问（热访问）仅需 100 Gas。通过内联汇编优化存储访问，可以减少这些消耗。
例如，传统 Solidity 函数首次设置存储变量可能消耗 22514 Gas，后续操作降至 5414 Gas。而使用内联汇编实现相同功能，首次消耗可降至 22484 Gas，后续仅需 5384 Gas。虽然单次差异不大，但在多次执行时累计节省可观。
EVM 核心组件详解
EVM 是一种基于堆栈的机器，采用后进先出 (LIFO) 方式操作。每个堆栈项为 256 位字，与以太坊的加密标准保持一致。EVM 执行深度为 1024 项，并在执行智能合约时创建包含多种数据结构的执行上下文。
堆栈 (Stack)
堆栈用于存储临时值，是 EVM 执行操作的核心数据结构。它按照 LIFO 原则运行，最近插入的项位于顶部，最先被移除。堆栈操作通过一组操作码实现，包括：
- 堆栈操作：POP、PUSH、DUP、SWAP
- 算术/比较/位运算：ADD、SUB、GT、LT、AND、OR
- 环境操作：CALLER、CALLVALUE、NUMBER
- 内存操作：MLOAD、MSTORE、MSTORE8、MSIZE
- 存储操作：SLOAD、SSTORE
- 程序控制：JUMP、JUMPI、PC、JUMPDEST
- 终止操作：STOP、RETURN、REVERT、INVALID、SELFDESTRUCT
存储 (Storage)
存储是非易失性空间，采用 256 位键值对结构。每个智能合约拥有独立的存储空间，槽位总数高达 2²⁵⁶。存储用于持久化数据，在函数调用之间保持状态。
访问存储的操作码为 SLOAD（读取）和 SSTORE（写入）。外部账户 (EOA) 没有代码和存储空间，仅合约账户使用存储。
内存 (Memory)
内存是易失性区域，用于存储合约执行期间的临时数据。它不持久化到区块链，可动态调整大小，但访问成本高于堆栈。
内存布局包括：
- 前 64 字节用于哈希方法的暂存空间
- 空闲内存指针指向可用内存起始位置，防止数据覆盖
操作码 MLOAD、MSTORE 和 MSTORE8 用于内存访问。内存初始化为零，确保数据一致性。
Calldata 与程序计数器
Calldata 是只读区域，存储交易中发送的不可变数据。程序计数器 (PC) 指向下一条要执行的指令，通常每条指令执行后递增。
虚拟 ROM 存储合约字节码，为只读区域，确保代码完整性。
优化与安全实践
使用内联汇编优化合约时，需平衡性能与安全。以下是一些关键建议：
- 仅在必要时使用汇编：针对关键路径或高频操作进行优化
- 充分测试：确保优化不会引入漏洞或意外行为
- 理解 Gas 成本：重点优化高消耗操作，如存储访问
- 保持代码可读性：适当注释汇编代码，便于维护和审计
👉 获取进阶优化方法
常见问题
什么是 EVM 的准图灵完备性？
准图灵完备性指 EVM 的执行受 Gas 限制，确保计算在有限步骤内完成，防止无限循环和网络滥用。
为什么存储访问如此昂贵？
存储数据需在全网数万节点上复制和维护，未来访问还需高效检索。总体成本包括存储空间和计算资源消耗。
内联汇编主要风险是什么？
汇编绕过了 Solidity 的安全检查，可能引入重入、溢出等漏洞。务必在熟悉 EVM 和操作码后谨慎使用。
内存与存储有何区别？
内存是临时性的，执行结束后数据丢失；存储是永久性的，成为区块链状态的一部分。
如何学习 EVM 操作码？
可通过以太坊官方文档、操作码列表和实践项目逐步学习，重点关注常用操作码如 SLOAD、SSTORE 和 JUMP。
Yul 与 Solidity Assembly 是什么关系？
Yul 是 Solidity 内联汇编使用的低级语言，提供更接近 EVM 的控制层级，用于高级优化场景。
总结
EVM 是以太坊智能合约执行的基石，理解其堆栈、存储、内存等组件对编写高效合约至关重要。通过合理使用内联汇编和 Yul 语言，开发者可以在不牺牲安全性的前提下优化 Gas 消耗。后续我们将深入探讨字节码、ABI 及更多操作码示例，帮助您全面提升智能合约开发技能。