Trait frame_support::traits::VerifyExistenceProof

pub trait VerifyExistenceProof {
    type Proof;
    type Hash;

    // Required method
    fn verify_proof(
        proof: Self::Proof,
        root: &Self::Hash,
    ) -> Result<Vec<u8>, DispatchError>;
}

Something that can verify the existence of some data in a given proof.

Required Associated Types

type Proof

The proof type.

type Hash

The hash type.

Required Methods

fn verify_proof( proof: Self::Proof, root: &Self::Hash, ) -> Result<Vec<u8>, DispatchError>

Verify the given proof.

Ensures that the proof was build for root and returns the proved data.

Object Safety

This trait is not object safe.

Implementors

impl<H: Hasher> VerifyExistenceProof for BinaryMerkleTreeProver<H>

where H::Out: Decode + Encode,

type Proof = MerkleProof<<H as Hasher>::Out, Vec<u8>>

type Hash = <H as Hasher>::Out

impl<H: Hasher> VerifyExistenceProof for SixteenPatriciaMerkleTreeProver<H>

type Proof = SixteenPatriciaMerkleTreeExistenceProof

type Hash = <H as Hasher>::Out