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.

Implementations on Foreign Types

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

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

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

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

impl<ConstraintF: PrimeField> ToConstraintFieldGadget<ConstraintF> for [UInt8]

Parses the Vec<UInt8> in fixed-sized ConstraintF::Params::CAPACITY chunks and converts each chunk, which is assumed to be little-endian, to its FpGadget<ConstraintF> representation.

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

impl<ConstraintF: PrimeField> ToConstraintFieldGadget<ConstraintF> for Vec<UInt8>

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

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 snarkvm_gadgets::curves::templates::bls12::affine::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: TwistedEdwardsParameters, F: PrimeField> ToConstraintFieldGadget<F> for snarkvm_gadgets::curves::templates::twisted_edwards::AffineGadget<P, F, FpGadget<F>> where
    P: TwistedEdwardsParameters<BaseField = F>, 

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

impl<PairingE, P> ToConstraintFieldGadget<<PairingE as PairingEngine>::Fq> for VerifyingKeyGadget<PairingE, P> where
    PairingE: PairingEngine,
    P: PairingGadget<PairingE>,