Trait snarkvm_wasm::CondSelectGadget[][src]

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

If condition is true, return first; else, select second.

Required methods

Implementors