pub fn verify_account_proof(
state_root: B256,
proof: &AccountProof,
) -> Result<Vec<(B256, U256)>, ProofError>Expand description
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.