Struct zebra_chain::sapling::tree::NoteCommitmentTree

pub struct NoteCommitmentTree { /* private fields */ }

Sapling Incremental Note Commitment Tree.

Implementations

impl NoteCommitmentTree

pub fn append( &mut self, cm_u: NoteCommitmentUpdate ) -> Result<(), NoteCommitmentTreeError>

Adds a note commitment u-coordinate to the tree.

The leaves of the tree are actually a base field element, the u-coordinate of the commitment, the data that is actually stored on the chain and input into the proof.

Returns an error if the tree is full.

pub fn position(&self) -> Option<u64>

Returns the position of the most recently appended leaf in the tree.

This method is used for debugging, use incrementalmerkletree::Address for tree operations.

pub fn contains_new_subtree(&self, prev_tree: &Self) -> bool

Returns true if this tree has at least one new subtree, when compared with prev_tree.

pub fn is_complete_subtree(&self) -> bool

Returns true if the most recently appended leaf completes the subtree

pub fn subtree_index(&self) -> Option<NoteCommitmentSubtreeIndex>

Returns the subtree index at TRACKED_SUBTREE_HEIGHT. This is the number of complete or incomplete subtrees that are currently in the tree. Returns None if the tree is empty.

pub fn remaining_subtree_leaf_nodes(&self) -> usize

Returns the number of leaf nodes required to complete the subtree at TRACKED_SUBTREE_HEIGHT.

Returns 2^TRACKED_SUBTREE_HEIGHT if the tree is empty.

pub fn completed_subtree_index_and_root( &self ) -> Option<(NoteCommitmentSubtreeIndex, Node)>

Returns subtree index and root if the most recently appended leaf completes the subtree

pub fn root(&self) -> Root

Returns the current root of the tree, used as an anchor in Sapling shielded transactions.

pub fn cached_root(&self) -> Option<Root>

Returns the current root of the tree, if it has already been cached.

pub fn recalculate_root(&self) -> Root

Calculates and returns the current root of the tree, ignoring any caching.

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

Gets the Jubjub-based Pedersen hash of root node of this merkle tree of note commitments.

pub fn uncommitted() -> [u8; 32]

An as-yet unused Sapling note commitment tree leaf node.

Distinct for Sapling, a distinguished hash value of:

Uncommitted^Sapling = I2LEBSP_l_MerkleSapling(1)

pub fn count(&self) -> u64

Counts of note commitments added to the tree.

For Sapling, the tree is capped at 2^32.

pub fn assert_frontier_eq(&self, other: &Self)

Checks if the tree roots and inner data structures of self and other are equal.

Panics

If they aren’t equal, with a message explaining the differences.

Only for use in tests.

Trait Implementations

impl Clone for NoteCommitmentTree

fn clone(&self) -> Self

Clones the inner tree, and creates a new RwLock with the cloned root data.

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

Performs copy-assignment from source.

impl Debug for NoteCommitmentTree

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

Formats the value using the given formatter.

impl Default for NoteCommitmentTree

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for NoteCommitmentTree

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<&NoteCommitmentTree> for SerializedTree

fn from(tree: &NoteCommitmentTree) -> Self

Converts to this type from the input type.

impl From<LegacyNoteCommitmentTree> for NoteCommitmentTree

fn from(nct: LegacyNoteCommitmentTree) -> Self

Converts to this type from the input type.

impl From<NoteCommitmentTree> for LegacyNoteCommitmentTree

fn from(nct: NoteCommitmentTree) -> Self

Converts to this type from the input type.

impl From<Vec<Scalar, Global>> for NoteCommitmentTree

fn from(values: Vec<Fq>) -> Self

Computes the tree from a whole bunch of note commitments at once.

impl PartialEq<NoteCommitmentTree> for NoteCommitmentTree

fn eq(&self, other: &Self) -> bool

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for NoteCommitmentTree

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for NoteCommitmentTree