Struct NoteCommitmentTree

pub struct NoteCommitmentTree { /* private fields */ }

Sapling Incremental Note Commitment Tree.

Note that the default value of the Root type is [0, 0, 0, 0]. However, this value differs from the default value of the root of the default tree which is the hash of the root’s child nodes. The default tree is the empty tree which has all leaves empty.

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 to_rpc_bytes(&self) -> Vec<u8>

Serializes Self to a format matching zcashd’s RPCs.

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<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>> for NoteCommitmentTree

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

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

impl PartialEq for NoteCommitmentTree

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

Tests for self and other values to be equal, and is used by ==.

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

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