pub fn verify_storage_value_proof<StorageKey, MerkleHasher, Success>(
storage_key: &StorageKey,
state_root: OutputOf<MerkleHasher>,
state_proof: impl IntoIterator<Item = Vec<u8>>
) -> Result<Success, MerkleProofError>where
StorageKey: AsRef<[u8]>,
MerkleHasher: Hash,
OutputOf<MerkleHasher>: Ord,
Success: Decode,
Expand description
Verify a Merkle-based storage proof for a given storage key according to the provided state root. The generic types indicate the following:
StorageKey
: defines the type of the storage key included in the proof.MerkleHasher
: defines the hashing algorithm used to calculate the Merkle root.Success
: defines the type expected to be revealed in a valid Merkle proof.