Struct ibc::core::commitment_types::merkle::MerkleProof
source · pub struct MerkleProof {
pub proofs: Vec<CommitmentProof>,
}
Fields§
§proofs: Vec<CommitmentProof>
Implementations§
source§impl MerkleProof
impl MerkleProof
pub fn verify_membership<H>(
&self,
specs: &ProofSpecs,
root: MerkleRoot,
keys: MerklePath,
value: Vec<u8>,
start_index: u64
) -> Result<(), CommitmentError>where
H: HostFunctionsProvider,
pub fn verify_non_membership<H>(
&self,
specs: &ProofSpecs,
root: MerkleRoot,
keys: MerklePath
) -> Result<(), CommitmentError>where
H: HostFunctionsProvider,
Trait Implementations§
source§impl Clone for MerkleProof
impl Clone for MerkleProof
source§fn clone(&self) -> MerkleProof
fn clone(&self) -> MerkleProof
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for MerkleProof
impl Debug for MerkleProof
source§impl From<MerkleProof> for MerkleProof
impl From<MerkleProof> for MerkleProof
source§fn from(proof: MerkleProof) -> MerkleProof
fn from(proof: MerkleProof) -> MerkleProof
Converts to this type from the input type.
source§impl PartialEq for MerkleProof
impl PartialEq for MerkleProof
source§fn eq(&self, other: &MerkleProof) -> bool
fn eq(&self, other: &MerkleProof) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.source§impl Protobuf<MerkleProof> for MerkleProof
impl Protobuf<MerkleProof> for MerkleProof
source§fn encode<B>(self, buf: &mut B) -> Result<(), Error>where
B: BufMut,
fn encode<B>(self, buf: &mut B) -> Result<(), Error>where
B: BufMut,
Encode into a buffer in Protobuf format. Read more
source§fn encode_length_delimited<B>(self, buf: &mut B) -> Result<(), Error>where
B: BufMut,
fn encode_length_delimited<B>(self, buf: &mut B) -> Result<(), Error>where
B: BufMut,
Encode with a length-delimiter to a buffer in Protobuf format. Read more
source§fn decode<B>(buf: B) -> Result<Self, Error>where
B: Buf,
fn decode<B>(buf: B) -> Result<Self, Error>where
B: Buf,
Constructor that attempts to decode an instance from a buffer. Read more
source§fn decode_length_delimited<B>(buf: B) -> Result<Self, Error>where
B: Buf,
fn decode_length_delimited<B>(buf: B) -> Result<Self, Error>where
B: Buf,
Constructor that attempts to decode a length-delimited instance from
the buffer. Read more
source§fn encoded_len(self) -> usize
fn encoded_len(self) -> usize
Returns the encoded length of the message without a length delimiter. Read more
source§fn decode_vec(v: &[u8]) -> Result<Self, Error>
fn decode_vec(v: &[u8]) -> Result<Self, Error>
Constructor that attempts to decode a Protobuf-encoded instance from a
Vec<u8>
(or equivalent).source§impl<'a> TryFrom<&'a CommitmentProofBytes> for MerkleProof
impl<'a> TryFrom<&'a CommitmentProofBytes> for MerkleProof
§type Error = CommitmentError
type Error = CommitmentError
The type returned in the event of a conversion error.
source§fn try_from(
value: &'a CommitmentProofBytes
) -> Result<MerkleProof, <MerkleProof as TryFrom<&'a CommitmentProofBytes>>::Error>
fn try_from( value: &'a CommitmentProofBytes ) -> Result<MerkleProof, <MerkleProof as TryFrom<&'a CommitmentProofBytes>>::Error>
Performs the conversion.
source§impl TryFrom<MerkleProof> for CommitmentProofBytes
impl TryFrom<MerkleProof> for CommitmentProofBytes
§type Error = CommitmentError
type Error = CommitmentError
The type returned in the event of a conversion error.
source§fn try_from(
value: MerkleProof
) -> Result<CommitmentProofBytes, <CommitmentProofBytes as TryFrom<MerkleProof>>::Error>
fn try_from( value: MerkleProof ) -> Result<CommitmentProofBytes, <CommitmentProofBytes as TryFrom<MerkleProof>>::Error>
Performs the conversion.
source§impl TryFrom<MerkleProof> for MerkleProof
impl TryFrom<MerkleProof> for MerkleProof
§type Error = CommitmentError
type Error = CommitmentError
The type returned in the event of a conversion error.
source§fn try_from(
proof: MerkleProof
) -> Result<MerkleProof, <MerkleProof as TryFrom<MerkleProof>>::Error>
fn try_from( proof: MerkleProof ) -> Result<MerkleProof, <MerkleProof as TryFrom<MerkleProof>>::Error>
Performs the conversion.
impl StructuralPartialEq for MerkleProof
Auto Trait Implementations§
impl Freeze for MerkleProof
impl RefUnwindSafe for MerkleProof
impl Send for MerkleProof
impl Sync for MerkleProof
impl Unpin for MerkleProof
impl UnwindSafe for MerkleProof
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more