Function reth_trie_common::proof::verify_proof

pub fn verify_proof<'a, I>(
    root: FixedBytes<32>,
    key: Nibbles,
    value: Option<Vec<u8>>,
    proof: I,
) -> Result<(), ProofVerificationError>
where
    I: IntoIterator<Item = &'a Bytes>,

Verify the proof for given key value pair against the provided state root.

The expected node value can be either Some if it’s expected to be present in the tree or None if this is an exclusion proof.