Struct poseidon252::tree::PoseidonTree

pub struct PoseidonTree<T, H> where
    T: Content<H>,
    &'a T: Into<StorageScalar>,
    H: ByteHash,  { /* fields omitted */ }

A zk-friendly datastructure to store elements

Implementations

impl<T, H> PoseidonTree<T, H> where
    T: Content<H>,
    &'a T: Into<StorageScalar>,
    H: ByteHash, 

pub fn new(depth: usize) -> Self

Constructs a new empty PoseidonTree

pub fn root(&self) -> Result<BlsScalar>

Returns the scalar root-hash of the poseidon tree

This includes padding the value to the correct branch length equivalent

pub fn poseidon_branch(&self, idx: u64) -> Result<Option<PoseidonBranch>>

Returns a poseidon branch pointing at the specific index

This includes padding the value to the correct branch length equivalent

pub fn push(&mut self, t: T) -> Result<u64>

Push a new item onto the tree

pub fn get(
    &self,
    idx: u64
) -> Result<Option<Branch<NStack<T, PoseidonAnnotation, H>, H>>>

Get a branch reference to the element at index idx, if any

pub fn get_mut(
    &mut self,
    idx: u64
) -> Result<Option<BranchMut<NStack<T, PoseidonAnnotation, H>, H>>>

Get a mutable branch reference to the element at index idx, if any

Trait Implementations

impl<T, H> Clone for PoseidonTree<T, H> where
    T: Content<H>,
    &'a T: Into<StorageScalar>,
    H: ByteHash, 

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T, H> Content<H> for PoseidonTree<T, H> where
    T: Content<H>,
    &'a T: Into<StorageScalar>,
    H: ByteHash, 

fn persist(&mut self, sink: &mut Sink<H>) -> Result<()>

Write the type to a Sink

fn restore(source: &mut Source<H>) -> Result<Self>

Restore the type from a Source