Struct poseidon252::PoseidonBranch

pub struct PoseidonBranch {
    pub root: BlsScalar,
    pub levels: Vec<PoseidonLevel>,
}

The Poseidon structure will accept a number of inputs equal to the arity.

The levels are ordered so the first element of levels is actually the bottom level of the Kelvin tree.

Fields

root: BlsScalar

Root of the Merkle Tree

levels: Vec<PoseidonLevel>

Levels of the MerkleTree with it's corresponding leaves and offset.

Implementations

impl PoseidonBranch

pub fn new() -> Self

Generates a default PoseidonBranch with the specified capacity for storing n levels inside.

pub fn with_capacity(n: usize) -> Self

Generates a default PoseidonBranch with the specified capacity for storing n levels inside.

pub fn extend(&mut self, target_depth: usize) -> usize

Extends the branch to the specified length

Trait Implementations

impl Clone for PoseidonBranch

fn clone(&self) -> PoseidonBranch

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for PoseidonBranch

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

Formats the value using the given formatter.

impl<'_, '_, C, H> From<&'_ Branch<'_, C, H>> for PoseidonBranch where
    C: Compound<H>,
    C::Annotation: Borrow<StorageScalar>,
    H: ByteHash, 

Provides a conversion between Branch and PoseidonBranch.

We extract the data from the Branch and store it appropiately inside of the PoseidonBranch structure with the bitflags already computed and the offsets pointing to the next levels pointing also to the correct places.

fn from(branch: &Branch<C, H>) -> PoseidonBranch

Performs the conversion.

impl PartialEq<PoseidonBranch> for PoseidonBranch

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl StructuralPartialEq for PoseidonBranch