Trait snarkos_models::gadgets::utilities::select::CondSelectGadget

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

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

Required methods

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

fn cost() -> usize

Loading content...

Implementors

impl<F: PrimeField> CondSelectGadget<F> for Boolean

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

fn cost() -> usize

impl<F: PrimeField> CondSelectGadget<F> for FpGadget<F>

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

fn cost() -> usize

impl<F: PrimeField> CondSelectGadget<F> for AllocatedBit

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

fn cost() -> usize

impl<F: PrimeField> CondSelectGadget<F> for UInt128

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

fn cost() -> usize

impl<F: PrimeField> CondSelectGadget<F> for UInt8

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

fn cost() -> usize

impl<F: PrimeField> CondSelectGadget<F> for UInt16

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

fn cost() -> usize

impl<F: PrimeField> CondSelectGadget<F> for UInt32

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

fn cost() -> usize

impl<F: PrimeField> CondSelectGadget<F> for UInt64

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

fn cost() -> usize

impl<P, F: PrimeField> CondSelectGadget<F> for Fp6Gadget<P, F> where
    P: Fp6Parameters,
    P::Fp2Params: Fp2Parameters<Fp = F>, 

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

fn cost() -> usize

impl<P, F: PrimeField> CondSelectGadget<F> for Fp12Gadget<P, F> where
    P: Fp12Parameters,
    <P::Fp6Params as Fp6Parameters>::Fp2Params: Fp2Parameters<Fp = F>, 

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

fn cost() -> usize

impl<P: Fp2Parameters<Fp = F>, F: PrimeField> CondSelectGadget<F> for Fp2Gadget<P, F>

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

fn cost() -> usize

Loading content...