Struct CompletedGas 

pub struct CompletedGas { /* private fields */ }

Gas spent so far by the transactions parallel execution has finished, per EIP-8037 dimension, so it can stop once the block is over its gas limit.

Ordered admission (check_2d_gas_allowance) only runs after every transaction has executed, so without this a block that is over its gas limit still costs its full execution, which can be many times the work of any valid block.

Sound in the accepting direction: a valid block keeps the sum of each dimension within its gas limit, and the transactions finished so far are a subset of the block, so their sums cannot exceed the limit either.

Implementations

impl CompletedGas

pub fn check(&self, block_gas_limit: u64) -> Result<(), EvmError>

Rejects once the finished transactions exceed the gas limit in either dimension.

pub fn record( &self, regular_gas: u64, state_gas: u64, block_gas_limit: u64, ) -> Result<(), EvmError>

Adds one finished transaction’s gas, then applies Self::check.

Trait Implementations

impl Default for CompletedGas

fn default() -> Self

Returns the “default value” for a type.