Struct snarkvm_console_collections::kary_merkle_tree::KaryMerkleTree

pub struct KaryMerkleTree<LH: LeafHash<Hash = PH::Hash>, PH: PathHash, const DEPTH: u8, const ARITY: u8> { /* private fields */ }

Implementations

impl<LH: LeafHash<Hash = PH::Hash>, PH: PathHash, const DEPTH: u8, const ARITY: u8> KaryMerkleTree<LH, PH, DEPTH, ARITY>

pub fn new( leaf_hasher: &LH, path_hasher: &PH, leaves: &[LH::Leaf] ) -> Result<Self>

Initializes a new Merkle tree with the given leaves.

pub fn prove( &self, leaf_index: usize, leaf: &LH::Leaf ) -> Result<KaryMerklePath<PH, DEPTH, ARITY>>

Returns the Merkle path for the given leaf index and leaf.

pub fn verify( &self, path: &KaryMerklePath<PH, DEPTH, ARITY>, root: &PH::Hash, leaf: &LH::Leaf ) -> bool

Returns true if the given Merkle path is valid for the given root and leaf.

pub const fn root(&self) -> &PH::Hash

Returns the Merkle root of the tree.

pub fn tree(&self) -> &[PH::Hash]

Returns the Merkle tree (excluding the hashes of the leaves).

pub const fn empty_hash(&self) -> &PH::Hash

Returns the empty hash.

pub const fn number_of_leaves(&self) -> usize

Returns the number of leaves in the Merkle tree.

Trait Implementations

impl<LH: Clone + LeafHash<Hash = PH::Hash>, PH: Clone + PathHash, const DEPTH: u8, const ARITY: u8> Clone for KaryMerkleTree<LH, PH, DEPTH, ARITY>where PH::Hash: Clone,

fn clone(&self) -> KaryMerkleTree<LH, PH, DEPTH, ARITY>

Returns a copy of the value.

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

Performs copy-assignment from source.