miden_crypto::merkle

Struct SimpleSmt

source
pub struct SimpleSmt<const DEPTH: u8> { /* private fields */ }
Expand description

A sparse Merkle tree with 64-bit keys and 4-element leaf values, without compaction.

The root of the tree is recomputed on each new leaf update.

Implementations§

source§

impl<const DEPTH: u8> SimpleSmt<DEPTH>

source

pub const EMPTY_VALUE: Word = _

The default value used to compute the hash of empty leaves

source

pub fn new() -> Result<Self, MerkleError>

Returns a new SimpleSmt.

All leaves in the returned tree are set to [ZERO; 4].

§Errors

Returns an error if DEPTH is 0 or is greater than 64.

source

pub fn with_leaves( entries: impl IntoIterator<Item = (u64, Word)>, ) -> Result<Self, MerkleError>

Returns a new SimpleSmt instantiated with leaves set as specified by the provided entries.

All leaves omitted from the entries list are set to [ZERO; 4].

§Errors

Returns an error if:

  • If the depth is 0 or is greater than 64.
  • The number of entries exceeds the maximum tree capacity, that is 2^{depth}.
  • The provided entries contain multiple values for the same key.
source

pub fn with_contiguous_leaves( entries: impl IntoIterator<Item = Word>, ) -> Result<Self, MerkleError>

Wrapper around SimpleSmt::with_leaves which inserts leaves at contiguous indices starting at index 0.

source

pub const fn depth(&self) -> u8

Returns the depth of the tree

source

pub fn root(&self) -> RpoDigest

Returns the root of the tree

source

pub fn num_leaves(&self) -> usize

Returns the number of non-empty leaves in this tree.

source

pub fn get_leaf(&self, key: &LeafIndex<DEPTH>) -> Word

Returns the leaf at the specified index.

source

pub fn get_node(&self, index: NodeIndex) -> Result<RpoDigest, MerkleError>

Returns a node at the specified index.

§Errors

Returns an error if the specified index has depth set to 0 or the depth is greater than the depth of this Merkle tree.

source

pub fn open(&self, key: &LeafIndex<DEPTH>) -> ValuePath

Returns an opening of the leaf associated with key. Conceptually, an opening is a Merkle path to the leaf, as well as the leaf itself.

source

pub fn is_empty(&self) -> bool

Returns a boolean value indicating whether the SMT is empty.

source

pub fn leaves(&self) -> impl Iterator<Item = (u64, &Word)>

Returns an iterator over the leaves of this SimpleSmt.

source

pub fn inner_nodes(&self) -> impl Iterator<Item = InnerNodeInfo> + '_

Returns an iterator over the inner nodes of this SimpleSmt.

source

pub fn insert(&mut self, key: LeafIndex<DEPTH>, value: Word) -> Word

Inserts a value at the specified key, returning the previous value associated with that key. Recall that by definition, any key that hasn’t been updated is associated with EMPTY_WORD.

This also recomputes all hashes between the leaf (associated with the key) and the root, updating the root itself.

source

pub fn compute_mutations( &self, kv_pairs: impl IntoIterator<Item = (LeafIndex<DEPTH>, Word)>, ) -> MutationSet<DEPTH, LeafIndex<DEPTH>, Word>

Computes what changes are necessary to insert the specified key-value pairs into this Merkle tree, allowing for validation before applying those changes.

This method returns a MutationSet, which contains all the information for inserting kv_pairs into this Merkle tree already calculated, including the new root hash, which can be queried with MutationSet::root(). Once a mutation set is returned, SimpleSmt::apply_mutations() can be called in order to commit these changes to the Merkle tree, or drop() to discard them.

§Example
let mut smt: SimpleSmt<3> = SimpleSmt::new().unwrap();
let pair = (LeafIndex::default(), Word::default());
let mutations = smt.compute_mutations(vec![pair]);
assert_eq!(mutations.root(), *EmptySubtreeRoots::entry(3, 0));
smt.apply_mutations(mutations);
assert_eq!(smt.root(), *EmptySubtreeRoots::entry(3, 0));
source

pub fn apply_mutations( &mut self, mutations: MutationSet<DEPTH, LeafIndex<DEPTH>, Word>, ) -> Result<(), MerkleError>

Apply the prospective mutations computed with SimpleSmt::compute_mutations() to this tree.

§Errors

If mutations was computed on a tree with a different root than this one, returns MerkleError::ConflictingRoots with a two-item alloc::vec::Vec. The first item is the root hash the mutations were computed against, and the second item is the actual current root of this tree.

source

pub fn set_subtree<const SUBTREE_DEPTH: u8>( &mut self, subtree_insertion_index: u64, subtree: SimpleSmt<SUBTREE_DEPTH>, ) -> Result<RpoDigest, MerkleError>

Inserts a subtree at the specified index. The depth at which the subtree is inserted is computed as DEPTH - SUBTREE_DEPTH.

Returns the new root.

Trait Implementations§

source§

impl<const DEPTH: u8> Clone for SimpleSmt<DEPTH>

source§

fn clone(&self) -> SimpleSmt<DEPTH>

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl<const DEPTH: u8> Debug for SimpleSmt<DEPTH>

source§

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

Formats the value using the given formatter. Read more
source§

impl<T: KvMap<RpoDigest, StoreNode>, const DEPTH: u8> From<&SimpleSmt<DEPTH>> for MerkleStore<T>

source§

fn from(value: &SimpleSmt<DEPTH>) -> Self

Converts to this type from the input type.
source§

impl<const DEPTH: u8> PartialEq for SimpleSmt<DEPTH>

source§

fn eq(&self, other: &SimpleSmt<DEPTH>) -> bool

Tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl<const DEPTH: u8> Eq for SimpleSmt<DEPTH>

source§

impl<const DEPTH: u8> StructuralPartialEq for SimpleSmt<DEPTH>

Auto Trait Implementations§

§

impl<const DEPTH: u8> Freeze for SimpleSmt<DEPTH>

§

impl<const DEPTH: u8> RefUnwindSafe for SimpleSmt<DEPTH>

§

impl<const DEPTH: u8> Send for SimpleSmt<DEPTH>

§

impl<const DEPTH: u8> Sync for SimpleSmt<DEPTH>

§

impl<const DEPTH: u8> Unpin for SimpleSmt<DEPTH>

§

impl<const DEPTH: u8> UnwindSafe for SimpleSmt<DEPTH>

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> CloneToUninit for T
where T: Clone,

source§

unsafe fn clone_to_uninit(&self, dst: *mut T)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dst. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> Same for T

source§

type Output = T

Should always be Self
source§

impl<T> ToOwned for T
where T: Clone,

source§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

source§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

source§

fn vzip(self) -> V