Trait snarkvm_gadgets::traits::fields::to_constraint_field::ToConstraintFieldGadget

pub trait ToConstraintFieldGadget<F: PrimeField> {
    fn to_constraint_field<CS: ConstraintSystem<F>>(
        &self, 
        cs: CS
    ) -> Result<Vec<FpGadget<F>>, SynthesisError>;
}

Specifies how to convert a variable of type Self to variables of type FpGadget<F>

Required methods

fn to_constraint_field<CS: ConstraintSystem<F>>(
    &self,
    cs: CS
) -> Result<Vec<FpGadget<F>>, SynthesisError>

Converts self to FpGadget<F> variables.

Implementors

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

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

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

impl<P, F, FG> ToConstraintFieldGadget<F> for AffineGadget<P, F, FG> where
    P: ShortWeierstrassParameters,
    F: PrimeField,
    FG: FieldGadget<P::BaseField, F> + ToConstraintFieldGadget<F>, 

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

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

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