|
1 | 1 |
|
2 | 2 |
|
3 | 3 | 
|
4 |
| -是t+1时刻的状态(account trie). |
5 |
| -是状态转换函数,也可以理解为执行引擎 |
6 |
| - 是transaction。 一次交易。 |
| 4 | + |
| 5 | +是t+1时刻的状态(account trie)。 |
| 6 | + |
| 7 | +是状态转换函数,也可以理解为执行引擎。 |
| 8 | + |
| 9 | + 是transaction,一次交易。 |
| 10 | + |
7 | 11 | 
|
| 12 | + |
8 | 13 |  是区块级别的状态转换函数。
|
9 |
| - B是区块,由很多交易组成。 |
10 |
| - 0号位置的交易 |
11 |
| - 其中Ω是块终结状态转换函数(一个奖励挖矿者的函数) |
12 |
| - Ether的标识 |
13 |
| - Ether的价值 |
| 14 | + |
| 15 | + 是区块,由很多交易组成。 |
| 16 | + |
| 17 | + 0号位置的交易。 |
| 18 | + |
| 19 | + 是块终结状态转换函数(一个奖励挖矿者的函数)。 |
| 20 | + |
| 21 | + Ether的标识。 |
| 22 | + |
| 23 | + Ethereum中所用到的各种单位与Wei的换算关系(例如:一个Finney对应10^15个Wei)。 |
| 24 | + |
14 | 25 |  machine-state
|
15 | 26 |
|
16 | 27 | ## 一些基本的规则
|
|
36 | 47 |   如果前面的f代表了一个函数, 那么后面的f*代表了一个相似的函数,不过是对内部的元素依次执行f的一个函数。
|
37 | 48 |
|
38 | 49 |  代表了列表里面的最后一个元素
|
39 |
| - 代表了列表里面的最后一个元素 |
| 50 | + 代表了列表里面的最后一个元素 |
40 | 51 |  求x的长度
|
41 | 52 |
|
42 | 53 |
|
|
46 | 57 |  Code的hash。 如果code是b 那么KEC(b)===这个hash
|
47 | 58 |
|
48 | 59 |
|
49 |
| - |
| 60 | + |
50 | 61 |
|
51 | 62 |  world state collapse function
|
52 | 63 | 
|
|
69 | 80 |
|
70 | 81 |  合约的初始化代码
|
71 | 82 |  方法调用的入参
|
72 |
| - |
| 83 | + |
73 | 84 |
|
74 | 85 | ## 区块头
|
75 | 86 |
|
|
0 commit comments