Struct BlockProductionState 

pub struct BlockProductionState {
    pub block_gas_left: u64,
    pub expected_balance_delta: i128,
    pub timestamp: u64,
    pub base_fee: U256,
    /* private fields */
}

Tracks block-level state during production.

The block executor creates a BlockProductionState at the start of the block, then calls next_tx_action in a loop to get transactions, and record_tx_outcome after executing each one. After the loop, call finalize for post-block checks.

Fields

block_gas_left: u64

Block gas remaining for rate-limiting.

expected_balance_delta: i128

Expected balance delta from L1 deposits/withdrawals.

timestamp: u64

Block timestamp.

base_fee: U256

Block base fee.

Implementations

impl BlockProductionState

pub fn new( per_block_gas_limit: u64, arbos_version: u64, timestamp: u64, base_fee: U256, ) -> Self

Create a new block production state.

pub fn next_tx_action<H: SequencingHooks>(&mut self, hooks: &mut H) -> TxAction

Get the next transaction action. The block executor calls this in a loop.

pub fn should_reject_for_block_gas( &self, compute_gas: u64, is_user_tx: bool, ) -> bool

Check whether a user tx can fit in the remaining block gas.

In ArbOS < 50, user txs whose compute gas exceeds block_gas_left are rejected (after the first tx). In ArbOS >= 50, per-tx gas limiting is handled in the gas charging hook instead.

pub fn compute_data_gas(poster_cost: U256, base_fee: U256, tx_gas: u64) -> u64

Compute the poster data gas cost in L2 terms for block-level tracking.

pub fn record_tx_outcome( &mut self, action: &TxAction, outcome: TxOutcome, ) -> Result<(), String>

Record the result of executing a transaction.

Returns an error string if the internal start-block tx failed.

pub fn track_deposit(&mut self, value: U256)

Track deposit balance delta for post-block verification.

pub fn track_withdrawal(&mut self, value: U256)

Track withdrawal balance delta from L2->L1 tx events.

pub fn set_arbos_version(&mut self, version: u64)

Update ArbOS version (called after internal tx execution may upgrade).

pub fn verify_balance_delta( &self, actual_balance_delta: i128, debug_mode: bool, ) -> Result<(), String>

Verify the post-block balance delta matches expected deposits/withdrawals.

pub fn user_txs_processed(&self) -> usize

Total user transactions processed.

pub fn arbos_version(&self) -> u64

Current ArbOS version.

Trait Implementations

impl Debug for BlockProductionState

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

Formats the value using the given formatter.