Struct arber::MerkleProof

pub struct MerkleProof {
    pub mmr_size: u64,
    pub path: Vec<Hash>,
}

Fields

mmr_size: u64

path: Vec<Hash>

Implementations

impl MerkleProof

pub fn new() -> MerkleProof

pub fn verify(
    &self,
    root: Hash,
    elem: &dyn Hashable,
    pos: u64
) -> Result<bool, Error>

Verfiy that elem is a MMR node at positon pos given the root hash root.

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

Formats the value using the given formatter.

impl Decode for MerkleProof

fn decode<__CodecInputEdqy: Input>(
    __codec_input_edqy: &mut __CodecInputEdqy
) -> Result<Self, Error>

Attempt to deserialise the value from input.

fn skip<I>(input: &mut I) -> Result<(), Error> where
    I: Input, 

Attempt to skip the encoded value from input.

fn encoded_fixed_size() -> Option<usize>

Returns the fixed encoded size of the type.

impl Default for MerkleProof

fn default() -> Self

Returns the “default value” for a type.

impl Encode for MerkleProof

fn encode_to<__CodecOutputEdqy: Output + ?Sized>(
    &self,
    __codec_dest_edqy: &mut __CodecOutputEdqy
)

Convert self to a slice and append it to the destination.

fn size_hint(&self) -> usize

If possible give a hint of expected size of the encoding.

fn encode(&self) -> Vec<u8, Global>

Convert self to an owned vector.

fn using_encoded<R, F>(&self, f: F) -> R where
    F: FnOnce(&[u8]) -> R, 

Convert self to a slice and then invoke the given closure with it.

fn encoded_size(&self) -> usize

Calculates the encoded size.

impl PartialEq<MerkleProof> for MerkleProof

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl EncodeLike<MerkleProof> for MerkleProof

impl StructuralPartialEq for MerkleProof