Struct IndexedMerkleTree

#[repr(C)]
pub struct IndexedMerkleTree<H, I>
where
    H: Hasher,
    I: CheckedAdd + CheckedSub + Copy + Clone + PartialOrd + ToBytes + TryFrom<usize> + Unsigned,
{
    pub merkle_tree: MerkleTree<H>,
    /* private fields */
}

Fields

merkle_tree: MerkleTree<H>

Implementations

impl<H, I> IndexedMerkleTree<H, I>

where H: Hasher, I: CheckedAdd + CheckedSub + Copy + Clone + PartialOrd + ToBytes + TryFrom<usize> + Unsigned, usize: From<I>,

pub fn new( height: usize, canopy_depth: usize, ) -> Result<Self, IndexedReferenceMerkleTreeError>

pub fn init(&mut self) -> Result<(), IndexedReferenceMerkleTreeError>

Initializes the reference indexed merkle tree on par with the on-chain indexed concurrent merkle tree. Inserts the ranges 0 - BN254 Field Size - 1 into the tree.

pub fn init_opt(&mut self) -> Result<(), IndexedReferenceMerkleTreeError>

Initializes the reference indexed merkle tree on par with the on-chain indexed concurrent merkle tree. Inserts the ranges 0 - BN254 Field Size - 1 into the tree.

pub fn get_path_of_leaf( &self, index: usize, full: bool, ) -> Result<BoundedVec<[u8; 32]>, IndexedReferenceMerkleTreeError>

pub fn get_proof_of_leaf( &self, index: usize, full: bool, ) -> Result<BoundedVec<[u8; 32]>, IndexedReferenceMerkleTreeError>

pub fn root(&self) -> [u8; 32]

pub fn update( &mut self, new_low_element: &IndexedElement<I>, new_element: &IndexedElement<I>, new_element_next_value: &BigUint, ) -> Result<(), IndexedReferenceMerkleTreeError>

pub fn append( &mut self, value: &BigUint, indexed_array: &mut IndexedArray<H, I>, ) -> Result<(), IndexedReferenceMerkleTreeError>

pub fn get_non_inclusion_proof( &self, value: &BigUint, indexed_array: &IndexedArray<H, I>, ) -> Result<NonInclusionProof, IndexedReferenceMerkleTreeError>

pub fn verify_non_inclusion_proof( &self, proof: &NonInclusionProof, ) -> Result<(), IndexedReferenceMerkleTreeError>

Trait Implementations

impl<H, I> Clone for IndexedMerkleTree<H, I>

where H: Hasher + Clone, I: CheckedAdd + CheckedSub + Copy + Clone + PartialOrd + ToBytes + TryFrom<usize> + Unsigned + Clone,

fn clone(&self) -> IndexedMerkleTree<H, I>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<H, I> Debug for IndexedMerkleTree<H, I>

where H: Hasher + Debug, I: CheckedAdd + CheckedSub + Copy + Clone + PartialOrd + ToBytes + TryFrom<usize> + Unsigned + Debug,

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

Formats the value using the given formatter.