structure EvmYul.BlockHeader : Type

BlockHeader. H_<x>. Section 4.3.

parentHash p ommersHash o beneficiary c stateRoot r transRoot t receiptRoot e logsBloom b difficulty d [deprecated] number i gasLimit l gasUsed g timestamp s extraData x chainId n nonce n [deprecated] baseFeePerGas f withdrawalsRoot (EIP-4895) parentBeaconBlockRoot (EIP-4877)

• parentHash : UInt256
• ommersHash : UInt256
• beneficiary : AccountAddress
• stateRoot : UInt256
• transRoot : ByteArray
• receiptRoot : ByteArray
• logsBloom : ByteArray
• difficulty : ℕ
• number : ℕ
• gasLimit : ℕ
• gasUsed : ℕ
• timestamp : ℕ
• extraData : ByteArray
• nonce : UInt64
• prevRandao : UInt256
• baseFeePerGas : ℕ
• parentBeaconBlockRoot : ByteArray
• withdrawalsRoot : ByteArray
• blobGasUsed : UInt64
• excessBlobGas : UInt64

instance EvmYul.instDecidableEqBlockHeader : DecidableEq BlockHeader

Equations

• EvmYul.instDecidableEqBlockHeader = EvmYul.decEqBlockHeader✝

instance EvmYul.instInhabitedBlockHeader : Inhabited BlockHeader

Equations

• One or more equations did not get rendered due to their size.

instance EvmYul.instReprBlockHeader : Repr BlockHeader

Equations

• EvmYul.instReprBlockHeader = { reprPrec := EvmYul.reprBlockHeader✝ }

instance EvmYul.instBEqBlockHeader : BEq BlockHeader

Equations

• EvmYul.instBEqBlockHeader = { beq := EvmYul.beqBlockHeader✝ }

def EvmYul.prettyDifference (h₁ h₂ : BlockHeader) : String

Equations

• One or more equations did not get rendered due to their size.

def EvmYul.TARGET_BLOB_GAS_PER_BLOCK : ℕ

Equations

• EvmYul.TARGET_BLOB_GAS_PER_BLOCK = 393216

def EvmYul.calcExcessBlobGas (parent : BlockHeader) : Option UInt64

Equations

• One or more equations did not get rendered due to their size.

partial def EvmYul.fakeExponential0 (i output factor numerator denominator numeratorAccum : ℕ) : ℕ

def EvmYul.fakeExponential (factor numerator denominator : ℕ) : ℕ

Equations

• EvmYul.fakeExponential factor numerator denominator = EvmYul.fakeExponential0 1 0 factor numerator denominator (factor * denominator)

def EvmYul.MIN_BASE_FEE_PER_BLOB_GAS : ℕ

Equations

• EvmYul.MIN_BASE_FEE_PER_BLOB_GAS = 1

def EvmYul.BLOB_BASE_FEE_UPDATE_FRACTION : ℕ

Equations

• EvmYul.BLOB_BASE_FEE_UPDATE_FRACTION = 3338477

def EvmYul.BlockHeader.getBlobGasprice (h : BlockHeader) : ℕ

Equations

• h.getBlobGasprice = EvmYul.fakeExponential EvmYul.MIN_BASE_FEE_PER_BLOB_GAS h.excessBlobGas.toNat EvmYul.BLOB_BASE_FEE_UPDATE_FRACTION