Type Alias SmtWasmFp

pub type SmtWasmFp = SparseMerkleTree<'static, SMT_FP_DEPTH, { _ }, Base, PoseidonFp, SmtWasmDbStorage>;

Aliased Type

struct SmtWasmFp {
    store: SmtWasmDbStorage,
    hasher: Poseidon<Fp, 2>,
    empty_nodes: &'static [Fp; 256],
}

Fields

store: SmtWasmDbStorage

A map from leaf indices to leaf data stored as field elements.

hasher: Poseidon<Fp, 2>

The hasher used to build the Merkle tree.

empty_nodes: &'static [Fp; 256]

An array of empty hashes hashed with themselves N times.

Implementations

impl<'a, const N: usize, const M: usize, F: FieldElement, H: FieldHasher<F, 2>, S: StorageAdapter<Value = F>> SparseMerkleTree<'a, N, M, F, H, S>

pub fn new(store: S, hasher: H, empty_nodes: &'a [F; M]) -> Self

Creates a new SMT

pub fn insert_batch(&mut self, leaves: Vec<(F, F)>) -> ContractResult

Takes a batch of field elements, inserts these hashes into the tree, and updates the Merkle root.

pub fn remove_leaves(&mut self, leaves: Vec<(F, F)>) -> ContractResult

pub fn root(&self) -> F

Returns the Merkle tree root.

fn recompute_tree(&mut self, dirty_idxs: &mut Vec<BigUint>) -> ContractResult

Recomputes the Merkle tree depth first from the bottom of the tree

pub fn prove_membership(&self, pos: &F) -> Path<N, F, H>

Give the path leading from the leaf at index up to the root. This is a “proof” in the sense of “valid path in a Merkle tree”, not a ZK argument.

pub fn get_leaf(&self, pos: &F) -> F

Fast lookup for leaf. The SMT can be used as a generic container for objects with very little overhead using this method.

fn get_node(&self, idx: &BigUint) -> F

fn put_node(&mut self, key: BigUint, value: F) -> ContractResult

fn remove_node(&mut self, key: &BigUint) -> ContractResult

Trait Implementations

impl<'a, const N: usize, const M: usize, F: Clone + FieldElement, H: Clone + FieldHasher<F, 2>, S: Clone + StorageAdapter<Value = F>> Clone for SparseMerkleTree<'a, N, M, F, H, S>

fn clone(&self) -> SparseMerkleTree<'a, N, M, F, H, S>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a, const N: usize, const M: usize, F: Debug + FieldElement, H: Debug + FieldHasher<F, 2>, S: Debug + StorageAdapter<Value = F>> Debug for SparseMerkleTree<'a, N, M, F, H, S>

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

Formats the value using the given formatter.