Trait ToConstraintFieldGadget

pub trait ToConstraintFieldGadget<ConstraintF: PrimeField> {
    // Required method
    fn to_constraint_field(
        &self,
    ) -> Result<Vec<FpVar<ConstraintF>>, SynthesisError>;
}

Specifies how to convert a variable of type Self to variables of type FpVar<ConstraintF>

Required Methods

fn to_constraint_field(&self) -> Result<Vec<FpVar<ConstraintF>>, SynthesisError>

Converts self to FpVar<ConstraintF> variables.

Implementations on Foreign Types

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

fn to_constraint_field(&self) -> Result<Vec<FpVar<ConstraintF>>, SynthesisError>

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

Parses the Vec<UInt8<ConstraintF>> in fixed-sized ConstraintF::MODULUS_BIT_SIZE - 1 chunks and converts each chunk, which is assumed to be little-endian, to its FpVar<ConstraintF> representation. This is the gadget counterpart to the [u8] implementation of `ToConstraintField``.

fn to_constraint_field(&self) -> Result<Vec<FpVar<ConstraintF>>, SynthesisError>

Implementors

impl<BF, P> ToConstraintFieldGadget<<P as CubicExtConfig>::BasePrimeField> for CubicExtVar<BF, P>

where BF: FieldVar<P::BaseField, P::BasePrimeField> + ToConstraintFieldGadget<P::BasePrimeField>, for<'a> &'a BF: FieldOpsBounds<'a, P::BaseField, BF>, P: CubicExtVarConfig<BF>,

impl<BF, P> ToConstraintFieldGadget<<P as QuadExtConfig>::BasePrimeField> for QuadExtVar<BF, P>

where BF: FieldVar<P::BaseField, P::BasePrimeField> + ToConstraintFieldGadget<P::BasePrimeField>, for<'a> &'a BF: FieldOpsBounds<'a, P::BaseField, BF>, P: QuadExtVarConfig<BF>,

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

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

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

impl<P, F> ToConstraintFieldGadget<<<P as CurveConfig>::BaseField as Field>::BasePrimeField> for ark_r1cs_std::groups::curves::short_weierstrass::AffineVar<P, F>

where P: SWCurveConfig, F: FieldVar<P::BaseField, <<P as CurveConfig>::BaseField as Field>::BasePrimeField> + ToConstraintFieldGadget<<<P as CurveConfig>::BaseField as Field>::BasePrimeField>, for<'a> &'a F: FieldOpsBounds<'a, P::BaseField, F>,

impl<P, F> ToConstraintFieldGadget<<<P as CurveConfig>::BaseField as Field>::BasePrimeField> for ProjectiveVar<P, F>

where P: SWCurveConfig, F: FieldVar<P::BaseField, <<P as CurveConfig>::BaseField as Field>::BasePrimeField> + ToConstraintFieldGadget<<<P as CurveConfig>::BaseField as Field>::BasePrimeField>, for<'a> &'a F: FieldOpsBounds<'a, P::BaseField, F>,

impl<P, F> ToConstraintFieldGadget<<<P as CurveConfig>::BaseField as Field>::BasePrimeField> for ark_r1cs_std::groups::curves::twisted_edwards::AffineVar<P, F>

where P: TECurveConfig, F: FieldVar<P::BaseField, <<P as CurveConfig>::BaseField as Field>::BasePrimeField> + ToConstraintFieldGadget<<<P as CurveConfig>::BaseField as Field>::BasePrimeField>, for<'a> &'a F: FieldOpsBounds<'a, P::BaseField, F>,

impl<TargetF: PrimeField, BaseF: PrimeField> ToConstraintFieldGadget<BaseF> for EmulatedFpVar<TargetF, BaseF>

impl<TargetF: PrimeField, BaseF: PrimeField> ToConstraintFieldGadget<BaseF> for AllocatedEmulatedFpVar<TargetF, BaseF>