Function sp_runtime::proving_trie::verify_proof

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

Verify the existence or non-existence of multiple items in a given trie root and proof.

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