Trait SmtBackendReader

Source

pub trait SmtBackendReader: Sized {
    type Error: Error + Send + 'static;

    // Required methods
    fn num_leaves(&self) -> usize;
    fn num_entries(&self) -> usize;
    fn leaves(
        &self,
    ) -> Box<dyn Iterator<Item = (LeafIndex<SMT_DEPTH>, SmtLeaf)> + '_>;
    fn entries(&self) -> Box<dyn Iterator<Item = (Word, Word)> + '_>;
    fn open(&self, key: &Word) -> SmtProof;
    fn get_value(&self, key: &Word) -> Word;
    fn get_leaf(&self, key: &Word) -> SmtLeaf;
    fn root(&self) -> Word;
}

Expand description

Abstracts over the read-only operations of the different SMT backends (e.g. Smt and LargeSmt), so that the block trees can work with either implementation transparently.

This trait is value-agnostic: leaves are stored as raw Words. Trees that wrap a more specific value type (such as the nullifier tree) are responsible for converting to and from Word in their own accessors.

The method set is intentionally the superset required by both the account and nullifier trees, so a given tree only uses the subset relevant to it (e.g. the account tree iterates leaves, the nullifier tree iterates entries).

This trait contains only read-only methods. For write methods, see SmtBackend.