以太坊虚拟机状态转换函数的数学定义与输入输出
以太坊虚拟机（EVM）被形式化为数学状态转换函数，其核心逻辑是给定旧状态和交易集，输出新状态，而非简单的分布式账本。
从账本到状态机的模型转变
以太坊常被误认为是类似比特币的分布式账本，但官方文档指出其本质是分布式状态机。这种转变意味着以太坊不仅记录交易历史，还维护一个可执行任意机器代码的机器状态。该状态是一个巨大的数据结构，包含所有账户、余额以及合约代码，并依据预定义规则随区块变化。这种模型支持智能合约的复杂逻辑，而不仅仅是基础的货币转账规则。
状态转换函数的形式化定义
为了精确描述EVM的行为，官方文档将其形式化为一个数学函数。该函数记为 Y(S, T) = S'，其中 S 代表旧的有效状态，T 代表一组新的有效交易。函数的输出 S' 是一个新的有效状态。这种定义确保了EVM在给定相同输入时产生确定性的输出，为智能合约的执行提供了严格的逻辑基础。
状态与交易的构成要素
在EVM的数学模型中，状态被定义为修改后的默克尔帕特里夏树，所有账户通过哈希链接并归约至区块链上的单一根哈希。交易则是账户签名的加密指令，分为两类：产生消息调用的交易和产生合约创建的交易。合约创建会生成包含编译字节码的新合约账户，而消息调用则执行该字节码，从而驱动状态机的状态转换。
资料与延伸阅读
你可以通过以下原始资料核对文中概念，并继续深入阅读。
