It is the state of t+1 (account trie).
It is a state transition function, which can also be understood as an execution engine.
Is a state transition function at the block level.
It is a block and consists of many transactions.
Is the block termination state transition function (a function that rewards the miner).
The conversion relationship between the various units used in Ethereum and Wei (for example: a Finney corresponds to 10^15 Wei).
- For most functions, they are identified by uppercase letters.
- Tuples are generally identified by capital letters
- A scalar or fixed-size array of bytes is identified by a lowercase letter. For example, n represents the nonce of the transaction, and there may be some exceptions, such as δ representing the amount of stack data required for a given instruction.
- Variable-length byte arrays generally use bold lowercase letters. For example, o represents the output data of a message call. It is also possible to use bold uppercase letters for some important things.
Byte sequence positive integer byte sequence length of 32 bytes
positive integer smaller than 2 ^ 256, [ ] is used to index array elements which corresponds to the first object represents a stack machine (machine's stack) is representative of the machine memory (machine's memory) the first 32 elements inside a placeholder, any character may be representative of any object
Value representative of the object to be modified intermediate state 中间状态 2 intermediate state 2 if the previous f represents a function, f * represents the back of a similar function, but a function f is sequentially executed for the inner elements.
It represents the final element of the list which is representative of the last element of the list which is
a represents an address representing the hash of the root hash code of the nonce banlance storage trie of root hash If code is b then KEC(b)=== this hash
transaction nonce gasPrice gasLimit to value
The sender's address can be obtained by three values.
Initialization code contract method call
ParentHash OmmersHash beneficiary miner address stateRoot transactionRoot receiptRoot logsBloom difficult height number gasLimit gasUsed timestamp extraData mixHash nonce
Recitt of the i-th transaction
World-state after execution of the transaction
the total amount of gas after transaction execution block present transaction log to perform all the Bloom filter data generated set of logs generated by the transaction
Log entry Oa log generated address, Ot topic Od time
substate suicide set log series refund balance
The total amount of gas used during the transaction. The log generated by the transaction.
Execute code owner originator of the transaction gasPrice inputdata cause the address to execute code, so if a transaction is the transaction originator value code needs to execute the current header area current call depth
Execution model s suicide set; l log collection o output; r refund
Currently available gas program counter the memory contents of the memory word effective amount of stack contents
w represents the current instruction that needs to be executed
Stack Object number of instructions required to remove the number of instructions required to increase the stack object