Struct snarkvm_wasm::MerklePath

pub struct MerklePath<P> where
    P: MerkleParameters,  {
    pub parameters: Arc<P>,
    pub path: Vec<(<<P as MerkleParameters>::H as CRH>::Output, <<P as MerkleParameters>::H as CRH>::Output), Global>,
}

Stores the hashes of a particular path (in order) from leaf to root. Our path is_left_child() if the boolean in path is true.

Fields

parameters: Arc<P>

path: Vec<(<<P as MerkleParameters>::H as CRH>::Output, <<P as MerkleParameters>::H as CRH>::Output), Global>

Implementations

impl<P> MerklePath<P> where
    P: MerkleParameters, 

pub fn verify<L>(
    &self,
    root_hash: &<<P as MerkleParameters>::H as CRH>::Output,
    leaf: &L
) -> Result<bool, MerkleError> where
    L: ToBytes, 

Trait Implementations

impl<P, HGadget, F> AllocGadget<MerklePath<P>, F> for MerklePathGadget<P, HGadget, F> where
    P: MerkleParameters,
    F: Field,
    HGadget: CRHGadget<<P as MerkleParameters>::H, F>, 

pub fn alloc<Fn, T, CS>(
    cs: CS,
    value_gen: Fn
) -> Result<MerklePathGadget<P, HGadget, F>, SynthesisError> where
    Fn: FnOnce() -> Result<T, SynthesisError>,
    CS: ConstraintSystem<F>,
    T: Borrow<MerklePath<P>>, 

pub fn alloc_input<Fn, T, CS>(
    cs: CS,
    value_gen: Fn
) -> Result<MerklePathGadget<P, HGadget, F>, SynthesisError> where
    Fn: FnOnce() -> Result<T, SynthesisError>,
    CS: ConstraintSystem<F>,
    T: Borrow<MerklePath<P>>, 

fn alloc_constant<Fn, T, CS>(_cs: CS, _f: Fn) -> Result<Self, SynthesisError> where
    Fn: FnOnce() -> Result<T, SynthesisError>,
    CS: ConstraintSystem<F>,
    T: Borrow<V>, 

fn alloc_checked<Fn, T, CS>(cs: CS, f: Fn) -> Result<Self, SynthesisError> where
    Fn: FnOnce() -> Result<T, SynthesisError>,
    CS: ConstraintSystem<F>,
    T: Borrow<V>, 

fn alloc_input_checked<Fn, T, CS>(cs: CS, f: Fn) -> Result<Self, SynthesisError> where
    Fn: FnOnce() -> Result<T, SynthesisError>,
    CS: ConstraintSystem<F>,
    T: Borrow<V>, 

impl<P> Clone for MerklePath<P> where
    P: Clone + MerkleParameters, 

pub fn clone(&self) -> MerklePath<P>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<P> Debug for MerklePath<P> where
    P: Debug + MerkleParameters, 

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

Formats the value using the given formatter.

impl<P> Default for MerklePath<P> where
    P: MerkleParameters, 

pub fn default() -> MerklePath<P>

Returns the “default value” for a type.