Fig. 4
状态转换函数
Ethereum state transition function showing gas deduction value transfer and code execution
上下文
该图出现在详细描述状态转换函数APPLY(S, TX) → S’的部分，展示了交易执行的逐步过程。
此图说明
该图详细展示了状态转换函数的执行步骤。当一笔交易被处理时：(1)验证交易格式正确且签名有效；(2)计算交易费用（起始Gas × Gas价格），从发送者余额中扣除，并递增发送者的随机数；(3)初始化Gas = 起始Gas，并根据交易数据中每个字节的费用扣除Gas；(4)将交易价值从发送者转移到接收者，如果接收者是合约则执行合约代码直到完成或Gas耗尽；(5)如果因余额不足或Gas耗尽导致转移失败，则回滚所有状态变更（Gas支付除外）；(6)否则，将剩余Gas退还给发送者，并将消耗的Gas费用支付给矿工。
重要性
状态转换函数图是理解以太坊Gas机制和交易执行模型的关键。它展示了Gas如何防止无限循环攻击——合约执行在Gas耗尽时强制停止，但矿工仍然获得Gas费用补偿。这一设计使得以太坊能够安全地执行图灵完备的计算。
