Struct KaryMerklePath

pub struct KaryMerklePath<E: Environment, PH: PathHash<E>, const DEPTH: u8, const ARITY: u8> { /* private fields */ }

Implementations

impl<E: Environment, PH: PathHash<E>, const DEPTH: u8, const ARITY: u8> KaryMerklePath<E, PH, DEPTH, ARITY>

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

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

Trait Implementations

impl<E: Environment, PH: PathHash<E>, const DEPTH: u8, const ARITY: u8> Eject for KaryMerklePath<E, PH, DEPTH, ARITY>

fn eject_mode(&self) -> Mode

Ejects the mode of the Merkle path.

fn eject_value(&self) -> Self::Primitive

Ejects the Merkle path.

type Primitive = KaryMerklePath<<PH as PathHash<E>>::Primitive, DEPTH, ARITY>

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: Environment, PH: PathHash<E>, const DEPTH: u8, const ARITY: u8> Inject for KaryMerklePath<E, PH, DEPTH, ARITY>

fn new(mode: Mode, merkle_path: Self::Primitive) -> Self

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

type Primitive = KaryMerklePath<<PH as PathHash<E>>::Primitive, DEPTH, ARITY>

fn constant(value: Self::Primitive) -> Self

where Self: Sized,

Initializes a constant of the given primitive value.