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>,