Struct MerkleProof

pub struct MerkleProof {
    pub proofs: Vec<CommitmentProof>,
}

Fields

proofs: Vec<CommitmentProof>

Implementations

impl MerkleProof

pub fn verify_membership( &self, specs: &[ProofSpec], root: MerkleRoot, keys: MerklePath, value: Vec<u8>, start_index: usize, ) -> Result<(), Error>

pub fn verify_non_membership( &self, specs: &[ProofSpec], root: MerkleRoot, keys: MerklePath, ) -> Result<(), Error>

Trait Implementations

impl Clone for MerkleProof

fn clone(&self) -> MerkleProof

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for MerkleProof

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl DomainType for MerkleProof

type Proto = MerkleProof

fn encode_to_vec(&self) -> Vec<u8>

Encode this domain type to a byte vector, via proto type P.

fn to_proto(&self) -> Self::Proto

Convert this domain type to the associated proto type.

fn decode<B>(buf: B) -> Result<Self, Error>

where B: Buf,

Decode this domain type from a byte buffer, via proto type P.

impl PartialEq for MerkleProof

fn eq(&self, other: &MerkleProof) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl TryFrom<MerkleProof> for MerkleProof

Convert to ics23::CommitmentProof The encoding and decoding shouldn’t fail since ics23::CommitmentProof and ibc_proto::ics23::CommitmentProof should be the same Ref. https://github.com/informalsystems/ibc-rs/issues/853

type Error = Error

The type returned in the event of a conversion error.

fn try_from( proof: MerkleProof, ) -> Result<MerkleProof, <MerkleProof as TryFrom<MerkleProof>>::Error>

Performs the conversion.

impl StructuralPartialEq for MerkleProof