Struct snarkvm_circuit::merkle_tree::MerklePath

pub struct MerklePath<E, const DEPTH: u8>where
    E: Environment,{ /* private fields */ }

Implementations

impl<E, const DEPTH: u8> MerklePath<E, DEPTH>where
    E: Environment,

pub fn verify<LH, PH>(
    &self,
    leaf_hasher: &LH,
    path_hasher: &PH,
    root: &<PH as PathHash<E>>::Hash,
    leaf: &<LH as LeafHash<E>>::Leaf
) -> Boolean<E>where
    LH: LeafHash<E, Hash = <PH as PathHash<E>>::Hash>,
    PH: PathHash<E, Hash = Field<E>>,

Returns true if the Merkle path is valid for the given root and leaf.

Trait Implementations

impl<E, const DEPTH: u8> Eject for MerklePath<E, DEPTH>where
    E: Environment,

fn eject_mode(&self) -> Mode

Ejects the mode of the Merkle path.

fn eject_value(&self) -> <MerklePath<E, DEPTH> as Eject>::Primitive

Ejects the Merkle path.

type Primitive = MerklePath<<E as Environment>::Network, DEPTH>

fn eject(&self) -> (Mode, Self::Primitive)

Ejects the mode and primitive value of the circuit type.

fn is_constant(&self) -> bool

Returns true if the circuit is a constant.

fn is_public(&self) -> bool

Returns true if the circuit is a public.

fn is_private(&self) -> bool

Returns true if the circuit is a private.

impl<E, const DEPTH: u8> Inject for MerklePath<E, DEPTH>where
    E: Environment,

fn new(
    mode: Mode,
    merkle_path: <MerklePath<E, DEPTH> as Inject>::Primitive
) -> MerklePath<E, DEPTH>

Initializes a Merkle path from the given mode and native Merkle path.

type Primitive = MerklePath<<E as Environment>::Network, DEPTH>

fn constant(value: Self::Primitive) -> Selfwhere
    Self: Sized,

Initializes a constant of the given primitive value.