Struct BlockContextRequirements 

pub struct BlockContextRequirements {
    pub require_number: bool,
    pub require_basefee: bool,
    pub require_coinbase: bool,
    pub require_prevrandao: bool,
    pub require_gas_limit: bool,
}

Which block-context header fields a cache requires to be present.

Block-env fields (NUMBER / BASEFEE / COINBASE / PREVRANDAO / GASLIMIT) are populated from a fetched block header. When a field is absent — because a fetch failed or the chain does not carry it — the EVM silently defaults it, which can steer contracts that branch on block context down a different code path and produce quietly-wrong simulations.

These per-field requirements let a caller opt into failing loudly instead. strict() requires every field; lenient() (the Default) requires none and reproduces the historical silently-default behavior. A chain without EIP-1559, for example, can start from strict() and clear require_basefee.

Requirements are checked by validate_header, which EvmCache::advance_block and EvmCacheBuilder::try_build call.

Fields

require_number: bool

Require the header to carry a block number (NUMBER).

require_basefee: bool

Require the header to carry an EIP-1559 base fee (BASEFEE).

require_coinbase: bool

Require the header to carry a beneficiary (COINBASE).

require_prevrandao: bool

Require the header to carry a prevrandao / mix hash (PREVRANDAO).

require_gas_limit: bool

Require the header to carry a gas limit (GASLIMIT).

Implementations

impl BlockContextRequirements

pub const fn strict() -> Self

Require every block-context field to be present.

Under this policy a header missing any required field is rejected rather than silently defaulted.

pub const fn lenient() -> Self

Require no block-context field (the Default).

Reproduces the historical behavior: a missing field is silently defaulted by the EVM.

pub fn validate_header<H: BlockHeader>( &self, header: &H, ) -> Result<(), BlockContextError>

Validate that a header carries every required block-context field.

Only the two Option-typed header fields can actually be absent: require_basefee checks base_fee_per_gas and require_prevrandao checks mix_hash. Number, beneficiary and gas limit are non-Option on the BlockHeader trait, so those requirement flags are satisfied whenever a header is present. Returns Ok(()) when all required fields are satisfied.

Trait Implementations

impl Clone for BlockContextRequirements

fn clone(&self) -> BlockContextRequirements

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for BlockContextRequirements

impl Debug for BlockContextRequirements

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

Formats the value using the given formatter.

impl Default for BlockContextRequirements

fn default() -> Self

Returns the “default value” for a type.

impl Eq for BlockContextRequirements

impl PartialEq for BlockContextRequirements

fn eq(&self, other: &BlockContextRequirements) -> 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 StructuralPartialEq for BlockContextRequirements