Struct MerkleProof 

pub struct MerkleProof {
    pub tree_size: usize,
    pub leaf_index: usize,
    pub audit_path: Vec<Hash>,
}

Merkle inclusion proof.

Fields

tree_size: usize

Total number of leaves in the tree.

leaf_index: usize

Index of the leaf being proved.

audit_path: Vec<Hash>

Audit path (sibling hashes from leaf to root).

Implementations

impl MerkleProof

pub fn compute_root(&self, leaf_bytes: &[u8]) -> Result<Hash, Error>

Compute the root from leaf bytes and the proof.

pub fn compute_root_from_hash(&self, lh: Hash) -> Result<Hash, Error>

Compute the root from a pre-hashed leaf and the proof.

pub fn verify(&self, leaf_bytes: &[u8], expected_root: &Hash) -> bool

Verify the proof against an expected root.

pub fn verify_hash(&self, lh: Hash, expected_root: &Hash) -> bool

Verify the proof from a pre-hashed leaf.

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<(), Error>

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for MerkleProof

fn deserialize<__D>( __deserializer: __D, ) -> Result<MerkleProof, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for MerkleProof

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.