Function ark_curve_constraint_tests::fields::field_test [−][src]
pub fn field_test<F, ConstraintF, AF>() -> Result<(), SynthesisError> where
F: Field,
ConstraintF: Field,
AF: FieldVar<F, ConstraintF>,
AF: TwoBitLookupGadget<ConstraintF, TableConstant = F>,
&'a AF: FieldOpsBounds<'a, F, AF>,