Nonce
and BlockRef
in the transaction model. Let and represent the values of TX fields Nonce
and Gas
, respectively. We use to denote the number of the block indexed by TX field BlockRef
and the number of the block that includes the TX. Let Ξ© denote the TX without fields Nonce
and Signature
, the TX sender's account address, the base gas price, the hash function and the RLP encoding function.BlockRef
must refer to an existing block, that is, its value must equal the first four bytes of an existing block ID;GasPriceCoef
(is the bounded interval between 0-255) and the extra gas price converted from the proven local computational work.