Trait snarkvm_wasm::ConditionalOrEqualsGadget[−][src]

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

    fn cost() -> usize;
}

Required methods

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

fn cost() -> usize[src]

Implementors

impl<F, T> ConditionalOrEqualsGadget<F> for T where
    T: ConditionalEqGadget<F> + CondSelectGadget<F>,
    F: Field, [src]

pub fn conditional_enforce_equal_or<CS>(
    cs: CS,
    cond: &Boolean,
    var: &T,
    first: &T,
    second: &T,
    should_enforce: &Boolean
) -> Result<(), SynthesisError> where
    CS: ConstraintSystem<F>, [src]

pub fn cost() -> usize[src]