以太坊虚拟机,事务处理的核心引擎

事务池（Mempool）与排序： 广播的事务首先进入节点的“事务池”，矿工（或验证者，在 PoS 后）会从事务池中选择事务进行打包，选择的主要依据是 Gas Price，Gas Price 越高的事务越容易被优先选中，这形成了一个基于市场机制的优先级队列。

区块打包与事务验证： 矿工将选中的事务打包到一个区块中，在区块被添加到区块链之前，网络中的节点会对区块内的事务进行一系列验证，包括：

• 签名验证：确保事务确实由发送者发起。
• Nonce 验证：确保事务的 Nonce 与发送者账户的当前 Nonce 匹配。
• Gas Limit 验证：确保事务的 Gas Limit 不超过区块的 Gas Limit 总和，且发送者账户有足够的 ETH 支付 Gas 费用。
• ETH 余额验证：确保发送者账户有足够的 ETH 支付“值”和预估的 Gas 费用。

EVM 执行——核心阶段： 一旦事务被验证通过并包含在区块中，该区块被网络共识确认后，EVM 便开始正式执行事务，这是事务处理的核心，EVM 会按照特定的规则和状态来执行事务中的指令：

• 初始化执行环境：为事务创建一个独立的执行环境，包括设置事务发送者、接收者、值、数据、Gas Limit 等上下文信息。
• Gas 消耗与预扣费：从发送者账户中预扣最大可 Gas 费用（Gas Limit * Gas Price），如果事务执行失败，预扣的费用会退还（扣除基础 Gas 费）；如果成功，则按实际消耗的 Gas 结算，剩余退还。
• 指令执行：
  • 如果接收者是外部账户,EVM 会执行简单的 ETH 转账操作，更新发送者和接收者的账户余额。
  • 如果接收者是智能合约地址,EVM 会加载该合约的字节码，然后执行事务数据中指定的函数调用，EVM 会逐条解释执行合约字节码指令（如 ADD, MUL, SLOAD, SSTORE, CALL 等），读写合约的存储（Storage）、内存（Memory）和栈（Stack），并可能与其他合约或账户进行交互。
• 状态变更：在事务执行过程中，所有对账户状态、合约存储、内存等的修改都只是暂时的，记录在“世界状态”的一个临时副本中。
• Gas 消耗跟踪：每执行一条指令都会消耗一定量的 Gas，Gas 耗尽（Out of Gas），事务执行会立即中止，所有状态变更回滚，已消耗的 Gas 不会被退还。

状态提交与结果返回： 事务执行完毕后：

• 如果执行成功,EVM 会将执行过程中产生的所有状态变更永久写入到以太坊的“世界状态树”中。
• 如果执行失败（如 Gas 耗尽、无效指令、断言失败等），状态变更会被回滚，除了发送者支付的 Gas 费用外，不会有其他状态改变。
• 事务的输出结果（如果接收者是合约且函数有返回值）会被记录在区块中。

区块确认与最终性： 包含该事务的区块被越来越多的节点确认，最终达到以太坊共识机制所要求的确认数（如 PoS 中的 epoch 确认），此时事务被认为具有最终性，其结果不可篡改。