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
.