以太坊虚拟机（Ethereum Virtual Machine, EVM）是以太坊智能合约的运行环境，是以太坊区块链的核心组件之一，它赋予了区块链“可编程性”，使得开发者能够构建去中心化应用（DApps），EVM的相关知识是区块链开发、智能合约开发以及区块链技术面试中的重中之重，本文将梳理常见的EVM面试题，并深入解析其背后的核心概念，希望能为您的面试 preparation 提供有力支持。

EVM基础概念

  1. 什么是EVM？它的主要作用是什么？

    • 参考回答： EVM是以太坊网络中一个沙箱化、图灵完备的虚拟机，它负责执行智能合约的字节码（Bytecode），并将执行结果记录在以太坊区块链上，其主要作用是提供一个隔离、确定性的执行环境，确保所有节点对智能合约的执行结果达成一致，从而维护区块链的共识和安全性，EVM就是以太坊的“CPU”,处理所有智能合约的逻辑。

  2. EVM的“图灵完备”意味着什么？这带来了哪些优势和潜在问题？

    • 参考回答： 图灵完备意味着EVM支持编程语言中的所有基本逻辑操作，包括条件判断、循环、递归等，理论上可以执行任何可计算的任务。
      • 优势： 为开发者提供了极大的灵活性，可以构建复杂逻辑的智能合约,实现各种业务场景。
      • 潜在问题： 由于无限循环的存在，可能导致合约执行时间过长，甚至“死循环”，从而消耗大量Gas并阻塞网络（历史上的“The DAO”攻击就利用了递归深度问题），复杂的逻辑也增加了合约漏洞的风险,Solidity等智能合约语言通常会限制循环次数或引入Gas机制来避免这些问题。

  3. 什么是Gas？为什么EVM需要Gas？

    • 参考回答： Gas是以太坊网络中用于衡量计算资源消耗的单位，也是交易和合约执行的费用，EVM需要Gas的主要目的有两个：
      1. 防止资源滥用： 通过要求用户为计算资源付费，避免恶意用户或错误合约消耗网络大量资源（如无限循环）。
      2. 激励矿工/验证者： Gas费用是对打包交易、验证并执行合约的矿工（或PoS下的验证者）的激励。 每个操作（如加法、存储写入、合约调用）都有特定的Gas消耗，Gas Limit是用户愿意为某笔交易支付的最大Gas量，Gas Price是单位Gas的价格。

EVM架构与数据存储

  1. EVM的主要组成部分有哪些？

    • 参考回答： EVM主要由以下几个部分组成：
      • 堆栈（Stack）： 后进先出（LIFO）的数据结构，用于存储操作数和中间计算结果,最大深度1024。
      • 内存（Memory）： 线性、易失性的存储空间，用于合约执行过程中的临时数据存储,按字节付费。
      • 存储（Storage）： 合约特有的持久化存储空间，以键值对（key-value）形式存储数据，存储在区块链上，修改成本高昂（Gas消耗高）。
      • 程序计数器（PC, Program Counter）： 指向当前正在执行的字节码指令的位置。
      • Gas计价器（Gasometer）： 跟踪剩余Gas，并在Gas不足时触发“Out of Gas”异常。
      • 指令集（Instruction Set）： EVM支持的一套操作码（Opcode），如ADD, MUL, SLOAD, SSTORE, CALL等,用于执行各种计算和操作。

  2. 解释EVM中的内存（Memory）和存储（Storage）的区别。

    • 参考回答：
      • 持久性： Storage是持久化的，数据会永久存储在区块链上，即使合约执行结束也不会丢失，内存是临时性的,合约执行结束后会被清空。
      • 成本： Storage的读写操作Gas消耗远高于内存，写入Storage的Gas成本尤其高，因为需要修改区块链状态，内存按字节数计费，初始扩容有成本,后续访问相对便宜。
      • 用途： Storage用于存储合约的重要状态变量（如余额、所有者地址等），内存用于合约执行过程中的临时数据计算、复杂类型（如数组、结构体）的内部处理、以及调用其他合约时的参数传递和返回值处理。

  3. 什么是存储槽（Storage Slot）？Solidity中的状态变量是如何映射到存储槽的？

    • 参考回答： 存储槽是EVM Storage的最小单位，每个槽位大小为32字节（256位），Solidity中的状态变量按顺序依次存储在连续的存储槽中。
      • 基本类型： uint8, uint16, bool, address等基本类型，如果单个变量占用空间小于32字节，它会独占一个存储槽（高位补零），如果多个小变量可以放入一个槽，它们会被打包（packing）到一个槽中,按顺序从低位到高位存放。
      • 复合类型： 数组和映射（mapping）的起始位置由其哈希值决定（通常是keccak256(abi.encodePacked(slot))），其中slot是该变量在合约中的声明槽位索引，结构体（struct）的变量按顺序依次存储,每个成员占据其所需的空间或槽位。

智能合约执行与操作码

  1. 简述一笔智能合约交易的执行流程。

    • 参考回答：
      1. 交易发起： 用户创建一笔指向智能合约地址的交易，并包含调用数据（calldata，即函数选择器和参数）。
      2. 交易广播与打包： 交易被广播到以太坊网络，由矿工（或验证者）打包进区块。
      3. EVM初始化： 对于每个区块，EVM会为每个交易初始化一个新的执行环境，包括设置堆栈、内存、Gas计价器等。
      4. 字节码执行： EVM从合约地址读取字节码，根据交易中的调用数据确定起始指令（通常是函数选择器对应的位置）,然后逐条执行操作码。
      5. 状态修改： 执行过程中，如果涉及Storage修改、事件日志（LOG操作码）等,EVM会记录这些状态变更。
      6. Gas消耗与结算： 执行过程中不断消耗Gas，若Gas耗尽则抛出异常，所有状态回滚；若执行成功，扣除实际消耗的Gas，并将状态变更、日志、返回值等记录到区块中。
      7. 结果返回： 执行结果返回给调用者,并在区块链上永久保存。

  2. 解释一下常见的EVM操作码，如SLOAD, SSTORE, CALL, CREATE, DELEGATECALL。

    • 参考回答：
      • SLOAD / SSTORE： 分别用于从合约的Storage中读取和写入数据，SSTORE是修改区块链状态的操作,Gas消耗很高。
      • CALL： 用于调用另一个合约（可以是内部或外部）或发送以太坊，是最常用的合约交互方式,会创建一个新的上下文执行被调用合约。
      • CREATE： 用于创建一个新的合约，部署新合约时使用,返回新合约的地址。
      • DELEGATECALL： 与CALL类似，但它在调用合约时，不会创建新的上下文，而是使用调用合约的存储、代码上下文和msg.sender，主要用于代理模式（Proxy Pattern），如Transparent Proxy、UUPS Proxy,使得逻辑合约可以修改代理合约的Storage。
      • STATICCALL： 与CALL类似，但保证调用是“静态”的，即不会修改任何状态（SSTORE、LOG等操作会报错）,用于查询函数。
      • RETURN / REVERT： RETURN用于正常结束执行并返回数据，REVERT用于异常回滚并返回错误数据，但不消耗所有剩余Gas（与INVALID不同）。

  3. 什么是函数选择器（Function Selector）？它是如何生成的？

    • 参考回答：随机配图