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::Params::CAPACITY 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 CubicExtParameters>::BasePrimeField> for CubicExtVar<BF, P> where
    BF: FieldVar<P::BaseField, P::BasePrimeField>,
    for<'a> &'a BF: FieldOpsBounds<'a, P::BaseField, BF>,
    P: CubicExtVarParams<BF>,
    BF: ToConstraintFieldGadget<P::BasePrimeField>, 

impl<BF, P> ToConstraintFieldGadget<<P as QuadExtParameters>::BasePrimeField> for QuadExtVar<BF, P> where
    BF: FieldVar<P::BaseField, P::BasePrimeField>,
    for<'a> &'a BF: FieldOpsBounds<'a, P::BaseField, BF>,
    P: QuadExtVarParams<BF>,
    BF: ToConstraintFieldGadget<P::BasePrimeField>, 

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

impl<P, F> ToConstraintFieldGadget<<<P as ModelParameters>::BaseField as Field>::BasePrimeField> for ProjectiveVar<P, F> where
    P: SWModelParameters,
    F: FieldVar<P::BaseField, <P::BaseField as Field>::BasePrimeField>,
    for<'a> &'a F: FieldOpsBounds<'a, P::BaseField, F>,
    F: ToConstraintFieldGadget<<P::BaseField as Field>::BasePrimeField>, 

impl<P, F> ToConstraintFieldGadget<<<P as ModelParameters>::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>,
    for<'a> &'a F: FieldOpsBounds<'a, P::BaseField, F>,
    F: ToConstraintFieldGadget<<P::BaseField as Field>::BasePrimeField>,