Stateless input

The decoded semantic input. Its block body remains source-backed: transactions and withdrawals are decoded only when a consumer reaches the corresponding SSZ list element.

type StatelessInput

The guest's decoded input: the execution payload and the chain configuration it executes under.

struct StatelessInput = {
    payload : ExecutionPayload,
    chain_config : ChainConfig,
}

type WitnessContext

Authenticated facts about the parent block that validation rules compare the payload header against.

struct WitnessContext = {
    parent_hash : hash,
    parent_state_root : hash,
    parent_base_fee_per_gas : word,
    parent_blob_gas_used : blob_gas_used,
    parent_excess_blob_gas : excess_blob_gas,
}