Module proof 

Merkle-proof verification for bootstrap values. This is what turns an eth_getProof answer from “the RPC said so” into a value anchored to a block header’s state_root — promise #2 for the only records that do not come from a BAL.

Enums

ProofError

Why a proof was rejected. Any of these means the value must not be stored.

Functions

check_requested

Check that a proof answers exactly the requested slots (any order, no extras). A node that answers for other slots must not be able to plant values under the wrong key.

verify_account_proof

Verify the account leaf against state_root, then every storage proof against the account’s storage_hash. Returns (slot, value) pairs in the order they appear in the proof. A zero value is proven by absence (exclusion proof), which is exactly the distinction promise #3 needs.