Struct StaticTree 

pub struct StaticTree<const ARITY: usize, const HEIGHT: usize, H, const MAX_INPUT_LEN: usize, PB = Proof<ARITY, HEIGHT, H, MAX_INPUT_LEN>>
where
    [(); { _ }]: Sized,
    Assert<{ _ }>: IsTrue,
    H: HashT,
    PB: ProofBuilder<ARITY, H>,
{ /* private fields */ }

Basic statically-allocated Merkle Tree

Implementations

impl<const ARITY: usize, const HEIGHT: usize, H, const MAX_INPUT_LEN: usize, PB> StaticTree<ARITY, HEIGHT, H, MAX_INPUT_LEN, PB>

where [(); { _ }]: Sized, Assert<{ _ }>: IsTrue, H: HashT, PB: ProofBuilder<ARITY, H>,

pub fn try_from<T: AsRef<[u8]> + Deref<Target = [u8]>>( input: &[T], ) -> Result<Self, Error>

creates a tree from an input if possible

pub fn from<T: AsRef<[u8]> + Deref<Target = [u8]>>(input: &[T]) -> Self

creates a tree from an input if possible

pub fn try_from_leaves(leaves: &[Prefixed<ARITY, H>]) -> Result<Self, Error>

creates a tree from hashed leaves (of another tree)

Trait Implementations

impl<const ARITY: usize, const HEIGHT: usize, H, const MAX_INPUT_LEN: usize, PB> Clone for StaticTree<ARITY, HEIGHT, H, MAX_INPUT_LEN, PB>

where [(); { _ }]: Sized, Assert<{ _ }>: IsTrue, H: HashT, PB: ProofBuilder<ARITY, H>,

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<const ARITY: usize, const HEIGHT: usize, H, const MAX_INPUT_LEN: usize, PB> Debug for StaticTree<ARITY, HEIGHT, H, MAX_INPUT_LEN, PB>

where [(); { _ }]: Sized, Assert<{ _ }>: IsTrue, H: HashT, PB: ProofBuilder<ARITY, H>,

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

Formats the value using the given formatter.

impl<const ARITY: usize, const HEIGHT: usize, H, const MAX_INPUT_LEN: usize, PB> Default for StaticTree<ARITY, HEIGHT, H, MAX_INPUT_LEN, PB>

where [(); { _ }]: Sized, Assert<{ _ }>: IsTrue, H: HashT, PB: ProofBuilder<ARITY, H>,

fn default() -> Self

Returns the “default value” for a type.

impl<const ARITY: usize, const HEIGHT: usize, H, const MAX_INPUT_LEN: usize, PB> PartialEq for StaticTree<ARITY, HEIGHT, H, MAX_INPUT_LEN, PB>

where [(); { _ }]: Sized, Assert<{ _ }>: IsTrue, H: HashT, PB: ProofBuilder<ARITY, H>,

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<const ARITY: usize, const HEIGHT: usize, H, const MAX_INPUT_LEN: usize, PB> StaticTreeTrait<ARITY, H, PB> for StaticTree<ARITY, HEIGHT, H, MAX_INPUT_LEN, PB>

where [(); { _ }]: Sized, Assert<{ _ }>: IsTrue, H: HashT, PB: ProofBuilder<ARITY, H>,

fn generate_proof(&self, index: usize) -> PB

generate proof at given index on base layer

fn replace(&mut self, index: usize, input: &[u8])

replace an element at index with input panics if index is out of leaf layer bound

fn replace_leaf(&mut self, index: usize, leaf: H::Output)

replace a hashed leaf at index with a new hashed value

fn root(&self) -> H::Output

return a root

fn leaves(&self) -> &[Prefixed<ARITY, H>]

return a slice of leaves

fn base_layer_size(&self) -> usize

a size (not necessarily a number of currently present leaves) of the leaf layer

fn height(&self) -> usize

returns tree’s height (determined at compile time)

fn arity(&self) -> usize

returns tree’s arity (determined at compile time)

impl<const ARITY: usize, const HEIGHT: usize, H, const MAX_INPUT_LEN: usize, PB> Copy for StaticTree<ARITY, HEIGHT, H, MAX_INPUT_LEN, PB>

where [(); { _ }]: Sized, Assert<{ _ }>: IsTrue, H: HashT, PB: ProofBuilder<ARITY, H>,