Trait ark_r1cs_std::ToConstraintFieldGadget [−][src]
pub trait ToConstraintFieldGadget<ConstraintF: PrimeField> { fn to_constraint_field(
&self
) -> Result<Vec<FpVar<ConstraintF>>, SynthesisError>; }
Expand description
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>
fn to_constraint_field(&self) -> Result<Vec<FpVar<ConstraintF>>, SynthesisError>
Converts self
to FpVar<ConstraintF>
variables.
Implementations on Foreign Types
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.
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<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>,