Enum SmtLeaf 

pub enum SmtLeaf {
    Empty(LeafIndex<miden_crypto::::merkle::smt::full::leaf::SmtLeaf::{constant#0}>),
    Single((Word, Word)),
    Multiple(Vec<(Word, Word)>),
}

Represents a leaf node in the Sparse Merkle Tree.

A leaf can be empty, hold a single key-value pair, or multiple key-value pairs.

Variants

Empty(LeafIndex<miden_crypto::::merkle::smt::full::leaf::SmtLeaf::{constant#0}>)

An empty leaf at the specified index.

Single((Word, Word))

A leaf containing a single key-value pair.

Multiple(Vec<(Word, Word)>)

A leaf containing multiple key-value pairs.

Implementations

impl SmtLeaf

pub fn new( entries: Vec<(Word, Word)>, leaf_index: LeafIndex<miden_crypto::::merkle::smt::full::leaf::{impl#0}::new::{constant#1}>, ) -> Result<SmtLeaf, SmtLeafError>

Returns a new leaf with the specified entries

Errors

• Returns an error if 2 keys in entries map to a different leaf index
• Returns an error if 1 or more keys in entries map to a leaf index different from leaf_index

pub fn new_empty( leaf_index: LeafIndex<miden_crypto::::merkle::smt::full::leaf::{impl#0}::new_empty::{constant#0}>, ) -> SmtLeaf

Returns a new empty leaf with the specified leaf index

pub fn new_single(key: Word, value: Word) -> SmtLeaf

Returns a new single leaf with the specified entry. The leaf index is derived from the entry’s key.

pub fn new_multiple(entries: Vec<(Word, Word)>) -> Result<SmtLeaf, SmtLeafError>

Returns a new multiple leaf with the specified entries. The leaf index is derived from the entries’ keys.

Errors

• Returns an error if 2 keys in entries map to a different leaf index
• Returns an error if the number of entries exceeds MAX_LEAF_ENTRIES

pub fn is_empty(&self) -> bool

Returns true if the leaf is empty

pub fn index( &self, ) -> LeafIndex<miden_crypto::::merkle::smt::full::leaf::{impl#0}::index::{constant#0}>

Returns the leaf’s index in the super::Smt

pub fn num_entries(&self) -> usize

Returns the number of entries stored in the leaf

pub fn hash(&self) -> Word

Computes the hash of the leaf

pub fn entries(&self) -> &[(Word, Word)]

Returns a slice with key-value pairs in the leaf.

pub fn to_elements(&self) -> Vec<BaseElement>

Converts a leaf to a list of field elements

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

pub fn into_elements(self) -> Vec<BaseElement>

Converts a leaf to a list of field elements

pub fn into_entries(self) -> Vec<(Word, Word)>

Converts a leaf the key-value pairs in the leaf

Trait Implementations

impl Clone for SmtLeaf

fn clone(&self) -> SmtLeaf

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SmtLeaf

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

Formats the value using the given formatter.

impl Deserializable for SmtLeaf

fn read_from<R>(source: &mut R) -> Result<SmtLeaf, DeserializationError>

where R: ByteReader,

Reads a sequence of bytes from the provided source, attempts to deserialize these bytes into Self, and returns the result.

fn read_from_bytes(bytes: &[u8]) -> Result<Self, DeserializationError>

Attempts to deserialize the provided bytes into Self and returns the result.

impl PartialEq for SmtLeaf

fn eq(&self, other: &SmtLeaf) -> 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 Serializable for SmtLeaf

fn write_into<W>(&self, target: &mut W)

where W: ByteWriter,

Serializes self into bytes and writes these bytes into the target.

fn to_bytes(&self) -> Vec<u8>

Serializes self into a vector of bytes.

fn get_size_hint(&self) -> usize

Returns an estimate of how many bytes are needed to represent self.

impl TryFrom<&SmtLeaf> for SmtLeaf

type Error = RpcConversionError

The type returned in the event of a conversion error.

fn try_from( value: &SmtLeaf, ) -> Result<SmtLeaf, <SmtLeaf as TryFrom<&SmtLeaf>>::Error>

Performs the conversion.

impl Eq for SmtLeaf

impl StructuralPartialEq for SmtLeaf