Struct poseidon252::PoseidonBranch

[+] Show declaration

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

[−] Expand description

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

[−] Expand description

Root of the Merkle Tree

levels: Vec<PoseidonLevel>

[−] Expand description

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[+]

[+] Show hidden undocumented items

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[+]

[+] Show hidden undocumented items

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.

[+] Show hidden undocumented items

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

Performs the conversion.

impl PartialEq<PoseidonBranch> for PoseidonBranch[+]

[+] Show hidden undocumented items

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