Enum arkworks_gadgets::merkle_tree::constraints::NodeVar

pub enum NodeVar<F, P, HG, LHG> where
    F: PrimeField,
    P: Config,
    HG: CRHGadget<P::H, F>,
    LHG: CRHGadget<P::LeafH, F>,  {
    Leaf(LHG::OutputVar),
    Inner(HG::OutputVar),
}

Variants

Leaf(LHG::OutputVar)

Inner(HG::OutputVar)

Trait Implementations

impl<F, P, HG, LHG> AllocVar<Node<P>, F> for NodeVar<F, P, HG, LHG> where
    F: PrimeField,
    P: Config,
    HG: CRHGadget<P::H, F>,
    LHG: CRHGadget<P::LeafH, F>, 

fn new_variable<T: Borrow<Node<P>>>(
    cs: impl Into<Namespace<F>>,
    f: impl FnOnce() -> Result<T, SynthesisError>,
    mode: AllocationMode
) -> Result<Self, SynthesisError>

Allocates a new variable of type Self in the ConstraintSystem cs. The mode of allocation is decided by mode.

fn new_constant(
    cs: impl Into<Namespace<F>>,
    t: impl Borrow<V>
) -> Result<Self, SynthesisError>

Allocates a new constant of type Self in the ConstraintSystem cs.

fn new_input<T>(
    cs: impl Into<Namespace<F>>,
    f: impl FnOnce() -> Result<T, SynthesisError>
) -> Result<Self, SynthesisError> where
    T: Borrow<V>, 

Allocates a new public input of type Self in the ConstraintSystem cs.

fn new_witness<T>(
    cs: impl Into<Namespace<F>>,
    f: impl FnOnce() -> Result<T, SynthesisError>
) -> Result<Self, SynthesisError> where
    T: Borrow<V>, 

Allocates a new private witness of type Self in the ConstraintSystem cs.

impl<F, P, HG, LHG> Clone for NodeVar<F, P, HG, LHG> where
    F: PrimeField,
    P: Config,
    HG: CRHGadget<P::H, F>,
    LHG: CRHGadget<P::LeafH, F>, 

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F, P, HG, LHG> CondSelectGadget<F> for NodeVar<F, P, HG, LHG> where
    F: PrimeField,
    P: Config,
    HG: CRHGadget<P::H, F>,
    LHG: CRHGadget<P::LeafH, F>, 

fn conditionally_select(
    cond: &Boolean<F>,
    true_value: &Self,
    false_value: &Self
) -> Result<Self, SynthesisError>

If cond == &Boolean::TRUE, then this returns true_value; else, returns false_value.

fn conditionally_select_power_of_two_vector(
    position: &[Boolean<ConstraintF>],
    values: &[Self]
) -> Result<Self, SynthesisError>

Returns an element of values whose index in represented by position. position is an array of boolean that represents an unsigned integer in big endian order.

impl<F: Debug, P: Debug, HG: Debug, LHG: Debug> Debug for NodeVar<F, P, HG, LHG> where
    F: PrimeField,
    P: Config,
    HG: CRHGadget<P::H, F>,
    LHG: CRHGadget<P::LeafH, F>,
    LHG::OutputVar: Debug,
    HG::OutputVar: Debug, 

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

Formats the value using the given formatter.

impl<F, P, HG, LHG> EqGadget<F> for NodeVar<F, P, HG, LHG> where
    F: PrimeField,
    P: Config,
    HG: CRHGadget<P::H, F>,
    LHG: CRHGadget<P::LeafH, F>, 

fn is_eq(&self, other: &Self) -> Result<Boolean<F>, SynthesisError>

Output a Boolean value representing whether self.value() == other.value().

fn is_neq(&self, other: &Self) -> Result<Boolean<F>, SynthesisError>

Output a Boolean value representing whether self.value() != other.value().

fn conditional_enforce_equal(
    &self,
    other: &Self,
    should_enforce: &Boolean<F>
) -> Result<(), SynthesisError>

If should_enforce == true, enforce that self and other are equal; else, enforce a vacuously true statement.

fn enforce_equal(&self, other: &Self) -> Result<(), SynthesisError>

Enforce that self and other are equal.

fn conditional_enforce_not_equal(
    &self,
    other: &Self,
    should_enforce: &Boolean<F>
) -> Result<(), SynthesisError>

If should_enforce == true, enforce that self and other are not equal; else, enforce a vacuously true statement.

fn enforce_not_equal(&self, other: &Self) -> Result<(), SynthesisError>

Enforce that self and other are not equal.

impl<F, P, HG, LHG> ToBytesGadget<F> for NodeVar<F, P, HG, LHG> where
    F: PrimeField,
    P: Config,
    HG: CRHGadget<P::H, F>,
    LHG: CRHGadget<P::LeafH, F>, 

fn to_bytes(&self) -> Result<Vec<UInt8<F>>, SynthesisError>

Outputs a canonical, little-endian, byte decomposition of self.

fn to_non_unique_bytes(&self) -> Result<Vec<UInt8<F>, Global>, SynthesisError>

Outputs a possibly non-unique byte decomposition of self.