def EvmYul.Transaction.to? : Transaction → Option AccountAddress

Equations

• (EvmYul.Transaction.legacy t).to? = t.recipient
• (EvmYul.Transaction.access t).to? = t.recipient
• (EvmYul.Transaction.dynamic t).to? = t.recipient
• (EvmYul.Transaction.blob t).to? = t.recipient

def EvmYul.Transaction.data : Transaction → ByteArray

Equations

• (EvmYul.Transaction.legacy t).data = t.data
• (EvmYul.Transaction.access t).data = t.data
• (EvmYul.Transaction.dynamic t).data = t.data
• (EvmYul.Transaction.blob t).data = t.data

def EvmYul.GAS_PER_BLOB : ℕ

Equations

• EvmYul.GAS_PER_BLOB = 2 ^ 17

def EvmYul.VERSIONED_HASH_VERSION_KZG : UInt8

Equations

• EvmYul.VERSIONED_HASH_VERSION_KZG = 1

def EvmYul.getTotalBlobGas (t : Transaction) : ℕ

Equations

• EvmYul.getTotalBlobGas (EvmYul.Transaction.blob t_2) = EvmYul.GAS_PER_BLOB * t_2.blobVersionedHashes.length
• EvmYul.getTotalBlobGas t = 0

def EvmYul.Transaction.blobVersionedHashes (t : Transaction) : List ByteArray

Equations

• (EvmYul.Transaction.blob t_2).blobVersionedHashes = t_2.blobVersionedHashes
• t.blobVersionedHashes = []

def EvmYul.calcBlobFee (header : BlockHeader) (t : Transaction) : ℕ

Equations

• EvmYul.calcBlobFee header t = EvmYul.getTotalBlobGas t * header.getBlobGasprice