Trait ark_r1cs_std::ToConstraintFieldGadget[−][src]

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>[src]

Converts self to FpVar<ConstraintF> variables.

Loading content...

Implementations on Foreign Types

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

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.

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

Loading content...

Implementors

impl<BF, P> ToConstraintFieldGadget<<P as CubicExtParameters>::BasePrimeField> for CubicExtVar<BF, P> where
    BF: FieldVar<P::BaseField, P::BasePrimeField>,
    &'a BF: FieldOpsBounds<'a, P::BaseField, BF>,
    P: CubicExtVarParams<BF>,
    BF: ToConstraintFieldGadget<P::BasePrimeField>, [src]

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

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

impl<F: PrimeField> ToConstraintFieldGadget<F> for FpVar<F>[src]

impl<F: PrimeField> ToConstraintFieldGadget<F> for AllocatedFp<F>[src]

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

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

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

Loading content...