Trait snarkvm_wasm::OrEqualsGadget

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

Required methods

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

fn cost() -> usize

Implementors

impl<F, T> OrEqualsGadget<F> for T where
    T: ConditionalOrEqualsGadget<F>,
    F: Field, 

pub fn enforce_equal_or<CS>(
    cs: CS,
    cond: &Boolean,
    var: &T,
    first: &T,
    second: &T
) -> Result<(), SynthesisError> where
    CS: ConstraintSystem<F>, 

pub fn cost() -> usize