Struct Proof 

pub struct Proof<H: Hasher> {
    pub siblings: Vec<H::Digest>,
}

A Merkle proof for a leaf in a Binary Merkle Tree.

Fields

siblings: Vec<H::Digest>

The sibling hashes from the leaf up to the root.

Implementations

impl<H: Hasher> Proof<H>

pub fn verify( &self, hasher: &mut H, leaf: &H::Digest, position: u32, root: &H::Digest, ) -> Result<(), Error>

Verifies that a given leaf at position is included in a Binary Merkle Tree with root using the provided hasher.

The proof consists of sibling hashes stored from the leaf up to the root. At each level, if the current node is a left child (even index), the sibling is combined to the right; if it is a right child (odd index), the sibling is combined to the left.

Trait Implementations

impl<H: Clone + Hasher> Clone for Proof<H>

where H::Digest: Clone,

fn clone(&self) -> Proof<H>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<H: Debug + Hasher> Debug for Proof<H>

where H::Digest: Debug,

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

Formats the value using the given formatter.

impl<H: Hasher> EncodeSize for Proof<H>

fn encode_size(&self) -> usize

Returns the encoded size of this value (in bytes).

impl<H: Hasher> PartialEq for Proof<H>

where H::Digest: PartialEq,

fn eq(&self, other: &Self) -> 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<H: Hasher> Read for Proof<H>

type Cfg = ()

The Cfg type parameter allows passing configuration during the read process. This is crucial for safely decoding untrusted data, for example, by providing size limits for collections or strings.

fn read_cfg(reader: &mut impl Buf, _: &Self::Cfg) -> Result<Self, Error>

Reads a value from the buffer using the provided configuration cfg.

impl<H: Hasher> Write for Proof<H>

fn write(&self, writer: &mut impl BufMut)

Writes the binary representation of self to the provided buffer buf.

impl<H: Eq + Hasher> Eq for Proof<H>

where H::Digest: Eq,