Function sp_trie::verify_trie_proof

pub fn verify_trie_proof<'a, L, I, K, V>(
    root: &TrieHash<L>,
    proof: &[Vec<u8>],
    items: I,
) -> Result<(), VerifyError<TrieHash<L>, CError<L>>>
where
    L: TrieConfiguration,
    I: IntoIterator<Item = &'a (K, Option<V>)>,
    K: 'a + AsRef<[u8]>,
    V: 'a + AsRef<[u8]>,

Verify a set of key-value pairs against a trie root and a proof.

Checks a set of keys with optional values for inclusion in the proof that was generated by generate_trie_proof. If the value in the pair is supplied ((key, Some(value))), this key-value pair will be checked for inclusion in the proof. If the value is omitted ((key, None)), this key will be checked for non-inclusion in the proof.