Struct HashedLeanIMT

pub struct HashedLeanIMT<const N: usize, H> { /* private fields */ }

Hashed LeanIMT struct.

Implementations

impl<const N: usize, H> HashedLeanIMT<N, H>

where H: LeanIMTHasher<N>,

pub fn new(leaves: &[[u8; N]], hasher: H) -> Result<Self, LeanIMTError>

Creates a new tree with optional initial leaves.

pub fn new_from_tree(tree: LeanIMT<N>, hasher: H) -> Self

Creates a new tree from a LeanIMT.

pub fn insert(&mut self, leaf: &[u8; N])

Inserts a single leaf.

pub fn insert_many(&mut self, leaves: &[[u8; N]]) -> Result<(), LeanIMTError>

Inserts multiple leaves.

pub fn update( &mut self, index: usize, new_leaf: &[u8; N], ) -> Result<(), LeanIMTError>

Updates a leaf at the given index.

pub fn generate_proof( &self, index: usize, ) -> Result<MerkleProof<N>, LeanIMTError>

Generates a Merkle proof for a leaf at the given index.

pub fn verify_proof(proof: &MerkleProof<N>) -> bool

Verifies a Merkle proof.

pub fn leaves(&self) -> &[[u8; N]]

Returns the leaves.

pub fn size(&self) -> usize

Returns the number of leaves in the tree.

pub fn root(&self) -> Option<[u8; N]>

Returns the tree root, if it exists.

pub fn depth(&self) -> usize

Returns the tree depth.

pub fn get_leaf(&self, index: usize) -> Result<[u8; N], LeanIMTError>

Retrieves a leaf at the given index.

pub fn get_node( &self, level: usize, index: usize, ) -> Result<[u8; N], LeanIMTError>

Retrieves the node at a specified level and index.

pub fn index_of(&self, leaf: &[u8]) -> Option<usize>

Finds the index of a given leaf, if it exists.

pub fn contains(&self, leaf: &[u8]) -> bool

Checks whether the tree contains the specified leaf.

pub fn tree(&self) -> &LeanIMT<N>

Returns the tree.

pub fn hasher(&self) -> &H

Returns the hasher.

Trait Implementations

impl<const N: usize, H: Clone> Clone for HashedLeanIMT<N, H>

fn clone(&self) -> HashedLeanIMT<N, H>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<const N: usize, H: Debug> Debug for HashedLeanIMT<N, H>

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

Formats the value using the given formatter.

impl<const N: usize, H: Default> Default for HashedLeanIMT<N, H>

fn default() -> HashedLeanIMT<N, H>

Returns the “default value” for a type.

impl<const N: usize, H: PartialEq> PartialEq for HashedLeanIMT<N, H>

fn eq(&self, other: &HashedLeanIMT<N, H>) -> 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<const N: usize, H: Eq> Eq for HashedLeanIMT<N, H>

impl<const N: usize, H> StructuralPartialEq for HashedLeanIMT<N, H>