pub fn verify_proof<'a, L, I, K, V>(
    root: &<L::Hash as Hasher>::Out,
    proof: &[Vec<u8>],
    items: I
) -> Result<(), Error<TrieHash<L>, CError<L>>> where
    L: TrieLayout,
    I: IntoIterator<Item = &'a (K, Option<V>)>,
    K: 'a + AsRef<[u8]>,
    V: 'a + AsRef<[u8]>, 
Expand description

Verify a compact proof for key-value pairs in a trie given a root hash.