| σ |
world-state |
| µ |
machine-state |
| 𝚼 |
Ethereum state transition function |
| C |
the general cost function |
| CSSTORE |
the cost function for the SSTORE operation |
| KEC |
Keccak-256 |
| KEC512 |
Keccak 512 |
| T |
Ethereum Transaction, Tuples are denoted with an upper-case letter (see next table for further detail) |
| n |
transaction nonce, Scalars and fixed-size byte sequences (or arrays are denoted with a normal lower-case letter |
| δ |
number of items required on the stack, particularly special scalers or fixed-byte sequences may be a greek character |
| o |
byte sequence given as the output data of a message call, Arbitrary-length sequences are typically denoted as a bold lower-case letter |
| ℕ |
These are scalars are assumed to be non-negative integers |
| 𝔹 |
The set of Byte sequences |
| 𝔹32 |
Set length is defined with super subscript, B with length 32 |
| ℕ256 |
Non-negative integers smaller than 2256 |
| µs[0] |
the first item on the machine’s stack |
| µm[0..31] |
first 32 items of the machine's memory |
| σ[a] |
an account/address in the world state |
⃞ |
unmodified input value |
⃞' |
modified & utilisable value |
⃞* & ⃞**, & c |
intermediate values |
| f |
a function |
| f* |
a function similar element-wise version of function mapping |
| l function l(x) ≡ x[‖x‖ − 1] |
i.e. the last element in the given sequence |
| σ[a] |
an account in the world state with address a, this comprises four fields: |
| σ[a]n |
The account nonce, the number of transactions or number of contract-creations |
| σ[a]b |
The account balance, the number of Wei owned by the address |
| σ[a]s |
The storage root, a 256-bit hash of the root node that encodes the storage contents of the account. A mapping from the Keccak 256-bit hash of the 256-bit integer keys to the RLP-encoded 256-bit integer values. |
| σ[a]c |
The code hash, a hash of the EVM code of this account |
| b |
the account code, KEC(b) = σ[a]c |
