Struct MerkleProof 

pub struct MerkleProof {
    pub leaf_index: usize,
    pub leaf_count: usize,
    pub siblings: Vec<MtHash>,
}

Fields

leaf_index: usize

Index of the leaf being proven

leaf_count: usize

Total number of leaves in the tree

siblings: Vec<MtHash>

The path of sibling chaining values (bottom-up order).

Implementations

impl MerkleProof

pub fn new(leaf_index: usize, leaf_count: usize, siblings: Vec<MtHash>) -> Self

pub fn verify<S>( &self, root: &MtHash, column_values: &[S], leaf_index: usize, ) -> Result<(), MerkleError>

where S: ConstTranscribable,

Verifies the proof against a known root hash and the claimed element data.

pub fn estimate_transcribed_size(merkle_tree_height: usize) -> usize

Estimate the number of bytes that would be written to [[PcsTranscript]] when an instance of this type is transcribed.

Trait Implementations

impl Clone for MerkleProof

fn clone(&self) -> MerkleProof

Returns a duplicate 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 Display for MerkleProof

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

Formats the value using the given formatter.

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 Eq for MerkleProof

impl StructuralPartialEq for MerkleProof