Function sp_runtime::proving_trie::verify_single_value_proof

pub fn verify_single_value_proof<Hashing, Key, Value>(
    root: <Hashing as Hasher>::Out,
    proof: &[Vec<u8>],
    key: Key,
    maybe_value: Option<Value>
) -> Result<(), DispatchError>
where
    Hashing: Hasher,
    Key: Encode,
    Value: Encode,

Verify the existence or non-existence of key and value in a given trie root and proof.

Proofs must be created with latest substrate trie format (LayoutV1).