Trait snarkvm_gadgets::traits::select::TwoBitLookupGadget

pub trait TwoBitLookupGadget<F: Field> where
    Self: Sized, {
    type TableConstant;
    fn two_bit_lookup<CS: ConstraintSystem<F>>(
        cs: CS, 
        bits: &[Boolean], 
        constants: &[Self::TableConstant]
    ) -> Result<Self, SynthesisError>;
    fn cost() -> usize;
}

Uses two bits to perform a lookup into a table

Associated Types

type TableConstant

Required methods

fn two_bit_lookup<CS: ConstraintSystem<F>>(
    cs: CS,
    bits: &[Boolean],
    constants: &[Self::TableConstant]
) -> Result<Self, SynthesisError>

fn cost() -> usize

Implementors

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

impl<F: PrimeField> TwoBitLookupGadget<F> for AllocatedFp<F>

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

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

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

impl<TargetField: PrimeField, BaseField: PrimeField> TwoBitLookupGadget<BaseField> for NonNativeFieldVar<TargetField, BaseField>

impl<TargetField: PrimeField, BaseField: PrimeField> TwoBitLookupGadget<BaseField> for AllocatedNonNativeFieldVar<TargetField, BaseField>