Refactor field tests

src/bls12381/fq.rs

@@ -37,16 +37,17 @@ impl ExtField for Fq {
 #[cfg(test)]
 mod test {
     use super::*;
-    crate::field_testing_suite!(Fq, "field_arithmetic");
-    crate::field_testing_suite!(Fq, "conversion");
-    crate::field_testing_suite!(Fq, "serialization");
-    crate::field_testing_suite!(Fq, "quadratic_residue");
-    crate::field_testing_suite!(Fq, "bits");
-    crate::field_testing_suite!(Fq, "serialization_check");
-    crate::field_testing_suite!(Fq, "constants");
-    crate::field_testing_suite!(Fq, "sqrt");
-    crate::field_testing_suite!(Fq, "zeta");
-    crate::field_testing_suite!(Fq, "from_uniform_bytes", 64, 96);
+    use crate::{arith_test, constants_test, legendre_test, serde_test, test, test_uniform_bytes};
+
+    constants_test!(Fq);
+
+    arith_test!(Fq);
+    legendre_test!(Fq);
+    test!(arith, Fq, sqrt_test, 1000);
+
+    serde_test!(Fq PrimeFieldBits);
+    test_uniform_bytes!(Fq, 1000, L 64, L 96);
+
     #[test]
     fn test_fq_mul_nonresidue() {
         let e = Fq::random(rand_core::OsRng);

src/bls12381/fq12.rs

@@ -268,17 +268,31 @@ pub const FROBENIUS_COEFF_FQ12_C1: [Fq2; 12] = [
 
 #[cfg(test)]
 mod test {
+    macro_rules! test_fq12 {
+        ($test:ident, $size: expr) => {
+            paste::paste! {
+            #[test]
+            fn [< $test test >]() {
+                use rand::SeedableRng;
+                use rand_xorshift::XorShiftRng;
+                let mut rng = XorShiftRng::from_seed(crate::tests::SEED);
+                crate::bls12381::fq12::test::$test(&mut rng, $size);
+            }
+            }
+        };
+    }
     use super::*;
-    crate::field_testing_suite!(Fq12, "field_arithmetic");
-    // extension field-specific
-    crate::field_testing_suite!(Fq12, "quadratic_sparse_mul", Fq6, Fq2);
-    crate::field_testing_suite!(
-        Fq12,
-        "frobenius",
-        // Frobenius endomorphism power parameter for extension field
-        //  ϕ: E → E
-        //  (x, y) ↦ (x^p, y^p)
-        // p: modulus of base field (Here, Fq::MODULUS)
-        Fq::MODULUS_LIMBS
-    );
+    use crate::{arith_test, setup_f12_test_funcs, test, test_frobenius};
+    use ff::Field;
+    use rand::RngCore;
+
+    arith_test!(Fq12);
+    // TODO Compile problems with derive_serde feature
+    // serde_test!(fq12);
+
+    // F12 specific
+    setup_f12_test_funcs!(Fq12, Fq6, Fq2);
+    test_fq12!(f12_mul_by_014_, 500);
+    test_fq12!(f12_mul_by_034_, 500);
+    test_frobenius!(Fq12, Fq, 8);
 }

src/bls12381/fq2.rs

@@ -65,23 +65,21 @@ impl ExtField for Fq2 {
 mod test {
 
     use super::*;
-    crate::field_testing_suite!(Fq2, "field_arithmetic");
-    crate::field_testing_suite!(Fq2, "conversion");
-    crate::field_testing_suite!(Fq2, "serialization");
-    crate::field_testing_suite!(Fq2, "quadratic_residue");
-    crate::field_testing_suite!(Fq2, "sqrt");
-    crate::field_testing_suite!(Fq2, "zeta", Fq);
-    // extension field-specific
-    crate::field_testing_suite!(Fq2, "f2_tests", Fq);
-    crate::field_testing_suite!(
-        Fq2,
-        "frobenius",
-        // Frobenius endomorphism power parameter for extension field
-        //  ϕ: E → E
-        //  (x, y) ↦ (x^p, y^p)
-        // p: modulus of base field (Here, Fq::MODULUS)
-        Fq::MODULUS_LIMBS
-    );
+    use crate::{
+        arith_test, constants_test, f2_tests, legendre_test, serde_test, test, test_frobenius,
+    };
+    use rand_core::RngCore;
+
+    constants_test!(Fq2);
+
+    arith_test!(Fq2);
+    legendre_test!(Fq2);
+    test!(arith, Fq2, sqrt_test, 1000);
+
+    serde_test!(Fq2);
+
+    f2_tests!(Fq2, Fq);
+    test_frobenius!(Fq2, Fq, 20);
 
     #[test]
     fn test_fq2_mul_nonresidue() {

src/bls12381/fq6.rs

@@ -277,22 +277,32 @@ pub const FROBENIUS_COEFF_FQ6_C2: [Fq2; 6] = [
 #[cfg(test)]
 mod test {
     use super::*;
-    crate::field_testing_suite!(Fq6, "field_arithmetic");
-    // extension field-specific
-    crate::field_testing_suite!(Fq6, "cubic_sparse_mul", Fq2);
-    crate::field_testing_suite!(
-        Fq6,
-        "frobenius",
-        // Frobenius endomorphism power parameter for extension field
-        //  ϕ: E → E
-        //  (x, y) ↦ (x^p, y^p)
-        // p: modulus of base field (Here, Fq::MODULUS)
-        Fq::MODULUS_LIMBS
-    );
+    use crate::{arith_test, setup_f6_test_funcs, test, test_frobenius};
+    use rand_core::RngCore;
+
+    macro_rules! test_fq6 {
+        ($test:ident, $size: expr) => {
+            paste::paste! {
+            #[test]
+            fn [< $test test >]() {
+                use rand::SeedableRng;
+                use rand_xorshift::XorShiftRng;
+                let mut rng = XorShiftRng::from_seed(crate::tests::SEED);
+                crate::bls12381::fq6::test::$test(&mut rng, $size);
+            }
+            }
+        };
+    }
+
+    arith_test!(Fq6);
+    setup_f6_test_funcs!(Fq6, Fq2);
+    test_fq6!(f6_mul_nonresidue_, 1000);
+    test_fq6!(f6_mul_by_1_, 1000);
+    test_fq6!(f6_mul_by_01_, 1000);
+    test_frobenius!(Fq6, Fq, 10);
 
     #[test]
     fn test_fq6_mul_nonresidue() {
-        use ff::Field;
         let e = Fq6::random(rand_core::OsRng);
         let a0 = e.mul_by_nonresidue();
         let a1 = e * Fq6::NON_RESIDUE;

src/bls12381/fr.rs

@@ -24,15 +24,15 @@ crate::impl_from_bool!(Fr);
 
 #[cfg(test)]
 mod test {
-    use super::*;
-    crate::field_testing_suite!(Fr, "field_arithmetic");
-    crate::field_testing_suite!(Fr, "conversion");
-    crate::field_testing_suite!(Fr, "serialization");
-    crate::field_testing_suite!(Fr, "quadratic_residue");
-    crate::field_testing_suite!(Fr, "bits");
-    crate::field_testing_suite!(Fr, "serialization_check");
-    crate::field_testing_suite!(Fr, "constants");
-    crate::field_testing_suite!(Fr, "sqrt");
-    crate::field_testing_suite!(Fr, "zeta");
-    crate::field_testing_suite!(Fr, "from_uniform_bytes", 64);
+    use super::Fr;
+    use crate::{arith_test, constants_test, legendre_test, serde_test, test, test_uniform_bytes};
+
+    constants_test!(Fr);
+
+    arith_test!(Fr);
+    legendre_test!(Fr);
+    test!(arith, Fr, sqrt_test, 1000);
+
+    serde_test!(Fr PrimeFieldBits);
+    test_uniform_bytes!(Fr, 1000, L 64);
 }

src/bn256/fq.rs

@@ -35,22 +35,15 @@ impl ExtField for Fq {
 
 #[cfg(test)]
 mod test {
-    use super::*;
-    crate::field_testing_suite!(Fq, "field_arithmetic");
-    crate::field_testing_suite!(Fq, "conversion");
-    crate::field_testing_suite!(Fq, "serialization");
-    crate::field_testing_suite!(Fq, "quadratic_residue");
-    crate::field_testing_suite!(Fq, "bits");
-    crate::field_testing_suite!(Fq, "serialization_check");
-    crate::field_testing_suite!(Fq, "constants");
-    crate::field_testing_suite!(Fq, "sqrt");
-    crate::field_testing_suite!(Fq, "zeta");
-    crate::field_testing_suite!(Fq, "from_uniform_bytes", 64, 48);
-    #[test]
-    fn test_fq_mul_nonresidue() {
-        let e = Fq::random(rand_core::OsRng);
-        let a0 = e.mul_by_nonresidue();
-        let a1 = e * Fq::NON_RESIDUE;
-        assert_eq!(a0, a1);
-    }
+    use super::Fq;
+    use crate::{arith_test, constants_test, legendre_test, serde_test, test, test_uniform_bytes};
+
+    constants_test!(Fq);
+
+    arith_test!(Fq);
+    legendre_test!(Fq);
+    test!(arith, Fq, sqrt_test, 1000);
+
+    serde_test!(Fq PrimeFieldBits);
+    test_uniform_bytes!(Fq, 1000, L 64, L 48);
 }

src/bn256/fq12.rs

@@ -195,17 +195,32 @@ pub const FROBENIUS_COEFF_FQ12_C1: [Fq2; 12] = [
 
 #[cfg(test)]
 mod test {
+
+    macro_rules! test_fq12 {
+        ($test:ident, $size: expr) => {
+            paste::paste! {
+            #[test]
+            fn [< $test test >]() {
+                use rand::SeedableRng;
+                use rand_xorshift::XorShiftRng;
+                let mut rng = XorShiftRng::from_seed(crate::tests::SEED);
+                crate::bn256::fq12::test::$test(&mut rng, $size);
+            }
+            }
+        };
+    }
     use super::*;
-    crate::field_testing_suite!(Fq12, "field_arithmetic");
-    // extension field-specific
-    crate::field_testing_suite!(Fq12, "quadratic_sparse_mul", Fq6, Fq2);
-    crate::field_testing_suite!(
-        Fq12,
-        "frobenius",
-        // Frobenius endomorphism power parameter for extension field
-        //  ϕ: E → E
-        //  (x, y) ↦ (x^p, y^p)
-        // p: modulus of base field (Here, Fq::MODULUS)
-        Fq::MODULUS_LIMBS
-    );
+    use crate::{arith_test, setup_f12_test_funcs, test, test_frobenius};
+    use ff::Field;
+    use rand::RngCore;
+
+    arith_test!(Fq12);
+    // TODO Compile problems with derive_serde feature
+    // serde_test!(Fq12);
+
+    // F12 specific
+    setup_f12_test_funcs!(Fq12, Fq6, Fq2);
+    test_fq12!(f12_mul_by_014_, 500);
+    test_fq12!(f12_mul_by_034_, 500);
+    test_frobenius!(Fq12, Fq, 8);
 }

src/bn256/fq2.rs

@@ -68,23 +68,20 @@ impl ExtField for Fq2 {
 mod test {
 
     use super::*;
-    crate::field_testing_suite!(Fq2, "field_arithmetic");
-    crate::field_testing_suite!(Fq2, "conversion");
-    crate::field_testing_suite!(Fq2, "serialization");
-    crate::field_testing_suite!(Fq2, "quadratic_residue");
-    crate::field_testing_suite!(Fq2, "sqrt");
-    crate::field_testing_suite!(Fq2, "zeta", Fq);
-    // extension field-specific
-    crate::field_testing_suite!(Fq2, "f2_tests", Fq);
-    crate::field_testing_suite!(
-        Fq2,
-        "frobenius",
-        // Frobenius endomorphism power parameter for extension field
-        //  ϕ: E → E
-        //  (x, y) ↦ (x^p, y^p)
-        // p: modulus of base field (Here, Fq::MODULUS)
-        Fq::MODULUS_LIMBS
-    );
+    use crate::{
+        arith_test, constants_test, f2_tests, legendre_test, serde_test, test, test_frobenius,
+    };
+    use rand_core::RngCore;
+
+    constants_test!(Fq2);
+    arith_test!(Fq2);
+    legendre_test!(Fq2);
+    test!(arith, Fq2, sqrt_test, 1000);
+
+    serde_test!(Fq2);
+
+    f2_tests!(Fq2, Fq);
+    test_frobenius!(Fq2, Fq, 20);
 
     #[test]
     fn test_fq2_mul_nonresidue() {

src/bn256/fq6.rs

@@ -204,25 +204,28 @@ pub const FROBENIUS_COEFF_FQ6_C2: [Fq2; 6] = [
 #[cfg(test)]
 mod test {
     use super::*;
-    crate::field_testing_suite!(Fq6, "field_arithmetic");
-    // extension field-specific
-    crate::field_testing_suite!(Fq6, "cubic_sparse_mul", Fq2);
-    crate::field_testing_suite!(
-        Fq6,
-        "frobenius",
-        // Frobenius endomorphism power parameter for extension field
-        //  ϕ: E → E
-        //  (x, y) ↦ (x^p, y^p)
-        // p: modulus of base field (Here, Fq::MODULUS)
-        Fq::MODULUS_LIMBS
-    );
+    use crate::{arith_test, setup_f6_test_funcs, test, test_frobenius};
+    use rand_core::RngCore;
 
-    #[test]
-    fn test_fq6_mul_nonresidue() {
-        use ff::Field;
-        let e = Fq6::random(rand_core::OsRng);
-        let a0 = e.mul_by_nonresidue();
-        let a1 = e * Fq6::NON_RESIDUE;
-        assert_eq!(a0, a1);
+    macro_rules! test_fq6 {
+        ($test:ident, $size: expr) => {
+            paste::paste! {
+            #[test]
+            fn [< $test test >]() {
+                use rand::SeedableRng;
+                use rand_xorshift::XorShiftRng;
+                let mut rng = XorShiftRng::from_seed(crate::tests::SEED);
+                crate::bn256::fq6::test::$test(&mut rng, $size);
+            }
+            }
+        };
     }
+
+    arith_test!(Fq6);
+    setup_f6_test_funcs!(Fq6, Fq2);
+    test_fq6!(f6_mul_nonresidue_, 1000);
+    test_fq6!(f6_mul_by_1_, 1000);
+    test_fq6!(f6_mul_by_01_, 1000);
+    test_frobenius!(Fq6, Fq, 10);
+    // test_uniform_bytes!(Fq6, 1000, L 96);
 }

src/bn256/fr.rs

@@ -45,16 +45,15 @@ mod table_tests;
 
 #[cfg(test)]
 mod test {
+    use super::Fr;
+    use crate::{arith_test, constants_test, legendre_test, serde_test, test, test_uniform_bytes};
 
-    use super::*;
-    crate::field_testing_suite!(Fr, "field_arithmetic");
-    crate::field_testing_suite!(Fr, "conversion");
-    crate::field_testing_suite!(Fr, "serialization");
-    crate::field_testing_suite!(Fr, "quadratic_residue");
-    crate::field_testing_suite!(Fr, "bits");
-    crate::field_testing_suite!(Fr, "serialization_check");
-    crate::field_testing_suite!(Fr, "constants");
-    crate::field_testing_suite!(Fr, "sqrt");
-    crate::field_testing_suite!(Fr, "zeta");
-    crate::field_testing_suite!(Fr, "from_uniform_bytes", 64);
+    constants_test!(Fr);
+
+    arith_test!(Fr);
+    legendre_test!(Fr);
+    test!(arith, Fr, sqrt_test, 1000);
+
+    serde_test!(Fr PrimeFieldBits);
+    test_uniform_bytes!(Fr, 1000, L 64, L 48);
 }