Hybrid Proof Types

Hybrid proofs embed verified ETH_BLOCK_HEADER_DATA (14 fields, ~540 bytes) directly instead of full consensus-layer proofs. The verifier trusts this data because the local prover already verified it (hybrid mode = same process). These proofs are significantly smaller than their full counterparts.

EthHybridAccountProof

Hybrid account proof: MPT proof + verified header data (stateRoot from header_data)

The Type is defined in src/chains/eth/ssz/verify_proof_types.h.

class EthHybridAccountProof(Container):
    accountProof : List [bytes_1024, 256]
    address      : Address
    storageProof : List [EthStorageProof, 256]
    header_data  : EthBlockHeaderData

Referenced Types

• EthStorageProof

• EthBlockHeaderData

EthHybridCallProof

Hybrid call proof: accounts + verified header data (stateRoot, feeRecipient, etc.)

The Type is defined in src/chains/eth/ssz/verify_proof_types.h.

class EthHybridCallProof(Container):
    accounts    : List [EthCallAccount, 256]
    header_data : EthBlockHeaderData

Referenced Types

• EthCallAccount

• EthBlockHeaderData

EthHybridTransactionProof

Hybrid transaction proof: tx + SSZ Merkle proof against embedded SSZ transactionsRoot

The Type is defined in src/chains/eth/ssz/verify_proof_types.h.

class EthHybridTransactionProof(Container):
    transaction      : Bytes[1073741824]
    transactionIndex : Uint32
    txProof          : List [bytes32, 64]
    header_data      : EthBlockHeaderData

Referenced Types

• EthBlockHeaderData

EthHybridReceiptProof

Hybrid receipt proof: raw tx + SSZ Merkle proof for tx + Patricia proof for receipt + header_data

The Type is defined in src/chains/eth/ssz/verify_proof_types.h.

class EthHybridReceiptProof(Container):
    transaction      : Bytes[1073741824]
    transactionIndex : Uint32
    txProof          : List [bytes32, 64]
    receipt_proof    : List [bytes_1024, 64]
    header_data      : EthBlockHeaderData

Referenced Types

• EthBlockHeaderData

EthHybridLogsBlock

Hybrid logs block: header_data + SSZ multi-merkle proof for txs + Patricia receipt proofs

The Type is defined in src/chains/eth/ssz/verify_proof_types.h.

class EthHybridLogsBlock(Container):
    header_data : EthBlockHeaderData
    txProof     : List [bytes32, 256]
    txs         : List [EthLogsTx, 256]

Referenced Types

• EthBlockHeaderData

• EthLogsTx

EthHybridBlockReceiptsProof

Hybrid block receipts proof: transactions + receipts + header_data (no multi-merkle proof needed)

The Type is defined in src/chains/eth/ssz/verify_proof_types.h.

class EthHybridBlockReceiptsProof(Container):
    transactions : List [transactionsBytes, 1048576]
    receipts     : List [bytesList, 65536]
    header_data  : EthBlockHeaderData

Referenced Types

• EthBlockHeaderData

EthHybridBlockProof

Hybrid block proof: full execution payload (no merkle proof against bodyRoot needed)

The Type is defined in src/chains/eth/ssz/verify_proof_types.h.

class EthHybridBlockProof(Container):
    executionPayload : Union [ 
        DenepExecutionPayload,  # DenepExecutionPayload
        GnosisExecutionPayload] # GnosisExecutionPayload

Referenced Types

• DenepExecutionPayload

• GnosisExecutionPayload

EthHybridBlockHeaderProof

Hybrid block header proof: header_data alone serves as trusted proof for eth_getBlockHeader / eth_blobBaseFee / eth_blockNumber

The Type is defined in src/chains/eth/ssz/verify_proof_types.h.

class EthHybridBlockHeaderProof(Container):
    header_data : EthBlockHeaderData

Referenced Types

• EthBlockHeaderData