Trait snarkos_models::gadgets::utilities::eq::ConditionalOrEqualsGadget

pub trait ConditionalOrEqualsGadget<F: Field> where
    Self: Sized, {
    fn conditional_enforce_equal_or<CS: ConstraintSystem<F>>(
        cs: CS, 
        cond: &Boolean, 
        var: &Self, 
        first: &Self, 
        second: &Self, 
        should_enforce: &Boolean
    ) -> Result<(), SynthesisError>;
    fn cost() -> usize;
}

Required methods

fn conditional_enforce_equal_or<CS: ConstraintSystem<F>>(
    cs: CS,
    cond: &Boolean,
    var: &Self,
    first: &Self,
    second: &Self,
    should_enforce: &Boolean
) -> Result<(), SynthesisError>

fn cost() -> usize

Loading content...

Implementors

impl<F: Field, T: Sized + ConditionalEqGadget<F> + CondSelectGadget<F>> ConditionalOrEqualsGadget<F> for T

fn conditional_enforce_equal_or<CS: ConstraintSystem<F>>(
    cs: CS,
    cond: &Boolean,
    var: &Self,
    first: &Self,
    second: &Self,
    should_enforce: &Boolean
) -> Result<(), SynthesisError>

fn cost() -> usize

Loading content...