Skip to main content

validate_header_bal_indices

Function validate_header_bal_indices 

Source
pub fn validate_header_bal_indices(
    bal: &BlockAccessList,
    transaction_count: usize,
) -> Result<(), InvalidBlockError>
Expand description

Validates that all indices in the header BAL are within valid bounds (Amsterdam+). This is a subset of the full hash check — used in the parallel execution path where we have the header BAL but do not build a new BAL during execution. Per EIP-7928: valid indices are 0 (pre-exec) through len(transactions)+1 (post-exec).