Struct InitialAndFloorGas 

pub struct InitialAndFloorGas {
    pub initial_total_gas: u64,
    pub initial_state_gas: u64,
    pub floor_gas: u64,
    pub eip7702_reservoir_refund: u64,
}

Init and floor gas from transaction

Fields

initial_total_gas: u64

Initial gas for transaction.

initial_state_gas: u64

State gas component of initial_gas (subset of initial_total_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)

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.

eip7702_reservoir_refund: u64

EIP-7702 state gas refund for existing authorities. Added to the reservoir after initial_state_gas is deducted. In the Python spec, set_delegation adds this back to state_gas_reservoir rather than reducing initial_state_gas, so the refunded gas stays as reservoir gas (not regular gas).

Implementations

impl InitialAndFloorGas

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

Create a new InitialAndFloorGas instance.

pub const fn new_with_state_gas( initial_total_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 fn initial_gas_and_reservoir( &self, tx_gas_limit: u64, tx_gas_limit_cap: u64, is_eip8037: bool, ) -> (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