Struct dusk_poseidon_merkle::Proof

pub struct Proof<T: PoseidonLeaf> { /* fields omitted */ }

Set of pairs (idx, Hash) to reconstruct the merkle root. For every level of the tree, Required information to reconstruct the merkle root.

For every level of the tree, there is an index, and a slice of leaves.

The index will be the position in which the previously calculated information should be inserted.

The leaves will define the other elements required to perform the hash for that level of the tree.

Methods

impl<T: PoseidonLeaf> Proof<T>

pub fn data(&self) -> &[(usize, [Option<T>; 4]); 3]

Return the raw proof data

pub fn verify(&self, leaf: &T, root: &T) -> bool where
    Scalar: Mul<T, Output = T>, 

Verify if the provided leaf corresponds to the proof in the merkle construction

Trait Implementations

impl<T: Clone + PoseidonLeaf> Clone for Proof<T>

fn clone(&self) -> Proof<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Copy + PoseidonLeaf> Copy for Proof<T>

impl<T: PoseidonLeaf> Default for Proof<T>

fn default() -> Self

Returns the "default value" for a type.

impl<T: PartialEq + PoseidonLeaf> PartialEq<Proof<T>> for Proof<T>

fn eq(&self, other: &Proof<T>) -> bool

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

fn ne(&self, other: &Proof<T>) -> bool

This method tests for !=.

impl<T: Debug + PoseidonLeaf> Debug for Proof<T>

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

Formats the value using the given formatter.