BlockRefin the transaction model. Let and represent the values of TX fields
Gas, respectively. We use to denote the number of the block indexed by TX field
BlockRefand the number of the block that includes the TX. Let Ω denote the TX without fields
Signature, the TX sender's account address, the base gas price, the hash function and the RLP encoding function.
BlockRefmust 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.