Struct LocalExitTreeData 

pub struct LocalExitTreeData<const TREE_DEPTH: usize = 32> {
    pub layers: [Vec<Digest>; TREE_DEPTH],
}

Represents a local exit tree as defined by the LxLy bridge.

Fields

layers: [Vec<Digest>; TREE_DEPTH]

The layers of the Merkle tree from bottom to top (i.e., the leaves are in layers[0])

This tree is contiguous: due to the structure of the LET, the empty trees must be right children only.

So if layers[0] has n exit leaf hashes, then layers[1] has round_up(n/2)` hashes, etc.

Implementations

impl<const TREE_DEPTH: usize> LocalExitTreeData<TREE_DEPTH>

pub fn new() -> Self

Creates a new empty LocalExitTreeData.

pub fn from_leaves( leaves: impl Iterator<Item = Digest>, ) -> Result<Self, LocalExitTreeError>

Creates a new LocalExitTreeData and populates its leaves.

pub fn add_leaf(&mut self, leaf: Digest) -> Result<u32, LocalExitTreeError>

Appends a leaf to the tree.

pub fn get( &self, height: usize, index: usize, ) -> Result<Digest, LocalExitTreeError>

pub fn is_empty(&self) -> bool

pub fn get_root(&self) -> Digest

Returns the root of the tree.

pub fn get_proof( &self, leaf_index: u32, ) -> Result<LETMerkleProof<TREE_DEPTH>, LocalExitTreeError>

Trait Implementations

impl<const TREE_DEPTH: usize> Clone for LocalExitTreeData<TREE_DEPTH>

fn clone(&self) -> LocalExitTreeData<TREE_DEPTH>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<const TREE_DEPTH: usize> Debug for LocalExitTreeData<TREE_DEPTH>

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

Formats the value using the given formatter.

impl<const TREE_DEPTH: usize> Default for LocalExitTreeData<TREE_DEPTH>

fn default() -> Self

Returns the “default value” for a type.

impl<'de, const TREE_DEPTH: usize> Deserialize<'de> for LocalExitTreeData<TREE_DEPTH>

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<const TREE_DEPTH: usize> Serialize for LocalExitTreeData<TREE_DEPTH>

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<const TREE_DEPTH: usize> TryFrom<&LocalExitTreeData<TREE_DEPTH>> for LocalExitTree<TREE_DEPTH>

type Error = LocalExitTreeError

The type returned in the event of a conversion error.

fn try_from(data: &LocalExitTreeData<TREE_DEPTH>) -> Result<Self, Self::Error>

Performs the conversion.