Struct NotesFrontier 

pub struct NotesFrontier { /* private fields */ }

Constant-space append frontier.

Unlike ShardedNotesTree, this type retains no leaves, cap, reverse index, or owned-note witnesses. frontier[level] is the completed subtree covering the rightmost set bit of leaf_count; the optional slot at depth holds the root only when the tree is completely full. A depth-30 snapshot is at most 1,015 bytes and is therefore cheap to persist once per hot block for reorg rollback.

Implementations

impl NotesFrontier

pub fn new(depth: usize, shard_height: usize) -> Result<Self, TreeError>

pub fn production() -> Self

An empty frontier with the production notes-tree geometry (NOTES_TREE_DEPTH / NOTES_SHARD_HEIGHT).

Infallible: the protocol geometry is a compile-time constant that NotesFrontier::new accepts, which production_geometry_is_valid asserts.

pub fn depth(&self) -> usize

pub fn shard_height(&self) -> usize

pub fn shard_size(&self) -> usize

pub fn leaf_count(&self) -> usize

pub fn shard_count(&self) -> usize

Number of completed shards: leaf_count >> shard_height.

A partially filled trailing shard is not counted, so this is exactly the number of shard roots emitted by NotesFrontier::append so far.

pub fn root(&self) -> Fr

The depth-depth root using the protocol’s recursive zero padding.

pub fn append(&mut self, leaf: Fr) -> Result<FrontierAppend, TreeError>

Append one leaf in O(depth), returning an emitted shard root exactly when this leaf completes a 2^shard_height subtree.

pub fn append_many( &mut self, leaves: &[Fr], ) -> Result<Vec<CompletedShard>, TreeError>

Append a packed logical batch atomically with respect to capacity checks. Only completed shard descriptors are returned; leaf indices remain dense from the pre-append leaf_count.

pub fn append_be_32( &mut self, leaf: &[u8; 32], ) -> Result<FrontierAppend, TreeError>

NotesFrontier::append over a canonical big-endian 32-byte leaf.

Every consumer reaching this type across a byte boundary - the wasm/TS boundary otherwise repeats the same fr_from_be_32_checked marshalling. Rejects non-canonical encodings rather than reducing them into the field.

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

NotesFrontier::root as canonical big-endian 32 bytes.

pub fn encode_snapshot(&self) -> Vec<u8>

Canonical versioned snapshot suitable for a per-block database checkpoint.

pub fn from_snapshot_bytes(bytes: &[u8]) -> Result<Self, TreeError>

Trait Implementations

impl Clone for NotesFrontier

fn clone(&self) -> NotesFrontier

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NotesFrontier

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

Formats the value using the given formatter.

impl Eq for NotesFrontier

impl PartialEq for NotesFrontier

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for NotesFrontier