是t+1时刻的状态(account trie)。

是状态转换函数，也可以理解为执行引擎。

是transaction，一次交易。

是区块级别的状态转换函数。

是区块，由很多交易组成。

0号位置的交易。

是块终结状态转换函数（一个奖励挖矿者的函数）。

Ether的标识。

Ethereum中所用到的各种单位与Wei的换算关系（例如：一个Finney对应10^15个Wei）。

machine-state

一些基本的规则

• 对于大多数的函数来说，都用大写字母来标识。
• 元组一般用大写字母来标识
• 标量或者固定大小的字节数组都用小写字母标识。 比如 n 代表交易的nonce， 有一些可能有例外，比如δ代表 一个给定指令需要的堆栈数据的多少。
• 变长的字节数组一般用加粗的小写字母。 比如 o 代表一个message call的输出数据。对于某些重要的也可能使用加粗的大写字母

字节序列 正整数 32字节长度的字节序列 小于 2^256 的正整数 [ ] 用于索引数组里面的对应元素 代表机器堆栈(machine's stack)的第一个对象 代表了机器内存(machine's memory)里面的前32个元素 一个占位符号，可以是任意字符代表任意对象

代表这个对象被修改后的值 中间状态 中间状态2 如果前面的f代表了一个函数， 那么后面的f*代表了一个相似的函数，不过是对内部的元素依次执行f的一个函数。

代表了列表里面的最后一个元素 代表了列表里面的最后一个元素 求x的长度

a代表某个地址，代表某个账号的nonce banlance 余额 storage trie 的 root hash Code的hash。 如果code是b 那么KEC(b)===这个hash

world state collapse function

任意的 any 并集 or 交集 and

Homestead

交易

交易的nonce gasPrice gasLimit to value

通过者三个值可以得到sender的地址

合约的初始化代码 方法调用的入参

区块头

ParentHash OmmersHash beneficiary矿工地址 stateRoot transactionRoot receiptRoot logsBloom 难度 number高度 gasLimit gasUsed timestamp extraData mixHash nonce

回执

第i个交易的receipt

交易执行后的world-state 交易执行后区块总的gas使用量 本交易执行产生的所有log的布隆过滤数据 交易产生的日志集合

Log entry Oa日志产生的地址， Ot topic Od 时间

交易执行

substate suicide set log series refund balance

交易过程中使用的总gas数量。 交易产生的日志。

执行代码的拥有者 交易的发起者 gasPrice inputdata 引起代码执行的地址，如果是交易那么是交易的发起人 value 需要执行的代码 当前的区块头 当前的调用深度

执行模型 s suicide set; l 日志集合 o 输出 ; r refund

执行函数

当前可用的gas 程序计数器 内存内容 内存中有效的word数量 堆栈内容

w代表当前需要执行的指令

指令需要移除的堆栈对象个数 指令需要增加的堆栈对象个数