Trait ark_r1cs_std::ToConstraintFieldGadget

pub trait ToConstraintFieldGadget<ConstraintF: PrimeField> {
    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 [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>

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

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: SWModelParameters,
    F: FieldVar<P::BaseField, <P::BaseField as Field>::BasePrimeField> + ToConstraintFieldGadget<<P::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: SWModelParameters,
    F: FieldVar<P::BaseField, <P::BaseField as Field>::BasePrimeField> + ToConstraintFieldGadget<<P::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: TEModelParameters,
    F: FieldVar<P::BaseField, <P::BaseField as Field>::BasePrimeField> + ToConstraintFieldGadget<<P::BaseField as Field>::BasePrimeField>,
    for<'a> &'a F: FieldOpsBounds<'a, P::BaseField, F>,

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

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