Struct InitialAndFloorGas 

pub struct InitialAndFloorGas {
    pub initial_regular_gas: u64,
    pub initial_state_gas: u64,
    pub state_refund: u64,
    pub floor_gas: u64,
}

Init and floor gas from transaction

Fields

initial_regular_gas: u64

Regular (non-state) portion of the initial intrinsic gas.

Under EIP-8037, this is the part constrained by TX_MAX_GAS_LIMIT; state gas uses its own reservoir and is not subject to that cap.

initial_state_gas: u64

State gas component of the initial intrinsic gas. Under EIP-8037, this includes:

• EIP-7702 auth list state gas (per-auth account creation + metadata costs)
• For CREATE transactions: create_state_gas (account creation + contract metadata)
• For CALL transactions: 0 (state gas is unpredictable at validation time)

state_refund: u64

EIP-7702 refund for existing authorities. This is the refund given when an authorization is applied to an already existing account.

floor_gas: u64

If transaction is a Call and Prague is enabled floor_gas is at least amount of gas that is going to be spent.

Implementations

impl InitialAndFloorGas

pub const fn new(initial_regular_gas: u64, floor_gas: u64) -> Self

Create a new InitialAndFloorGas instance.

pub const fn new_with_state_gas( initial_regular_gas: u64, initial_state_gas: u64, floor_gas: u64, ) -> Self

Create a new InitialAndFloorGas instance with state gas tracking.

pub const fn initial_regular_gas(&self) -> u64

Regular (non-state) portion of the initial intrinsic gas.

Under EIP-8037, this is the part constrained by TX_MAX_GAS_LIMIT; state gas uses its own reservoir and is not subject to that cap.

pub const fn initial_state_gas_final(&self) -> u64

State gas component of the initial intrinsic gas. This is the state gas component of the initial intrinsic gas minus the EIP-7702 refund.

pub const fn floor_gas(&self) -> u64

EIP-7623 floor gas.

pub const fn initial_total_gas(&self) -> u64

Total initial intrinsic gas: initial_regular_gas + initial_state_gas.

pub const fn set_initial_regular_gas(&mut self, initial_regular_gas: u64)

Sets the initial_regular_gas field by mutable reference.

pub const fn set_initial_state_gas(&mut self, initial_state_gas: u64)

Sets the initial_state_gas field by mutable reference.

pub const fn set_floor_gas(&mut self, floor_gas: u64)

Sets the floor_gas field by mutable reference.

pub const fn with_initial_regular_gas(self, initial_regular_gas: u64) -> Self

Sets the initial_regular_gas field.

pub const fn with_initial_state_gas(self, initial_state_gas: u64) -> Self

Sets the initial_state_gas field.

pub const fn with_floor_gas(self, floor_gas: u64) -> Self

Sets the floor_gas field.

pub fn initial_gas_and_reservoir( &self, tx_gas_limit: u64, tx_gas_limit_cap: u64, ) -> (u64, u64)

Computes the regular gas budget and reservoir for the initial call frame.

EIP-8037 reservoir model: execution_gas = tx.gas_limit - intrinsic_gas (= gas_limit parameter) regular_gas_budget = min(execution_gas, TX_MAX_GAS_LIMIT - intrinsic_gas) reservoir = execution_gas - regular_gas_budget

Initial state gas is then deducted from the reservoir (spilling into the regular budget when the reservoir is insufficient), and the EIP-7702 refund for existing authorities is added back to the reservoir.

On mainnet (state gas disabled), reservoir = 0 and gas_limit is unchanged.

Returns (gas_limit, reservoir).

Trait Implementations

impl Clone for InitialAndFloorGas

fn clone(&self) -> InitialAndFloorGas

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for InitialAndFloorGas

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for InitialAndFloorGas

fn default() -> InitialAndFloorGas

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for InitialAndFloorGas

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for InitialAndFloorGas

fn eq(&self, other: &InitialAndFloorGas) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for InitialAndFloorGas

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for InitialAndFloorGas

impl Eq for InitialAndFloorGas

impl StructuralPartialEq for InitialAndFloorGas