crandall-primes: reactivate tests for secp256k1

mratsim · mratsim · commit 4488f94321fd · 2024-12-03T11:18:12.000+01:00
diff --git a/tests/math_elliptic_curves/t_ec_shortw_jac_g1_add_double.nim b/tests/math_elliptic_curves/t_ec_shortw_jac_g1_add_double.nim
@@ -22,11 +22,11 @@ run_EC_addition_tests(
     moduleName = "test_ec_shortweierstrass_jacobian_g1_add_double_" & $BN254_Snarks
   )
 
-# run_EC_addition_tests(
-#     ec = EC_ShortW_Jac[Fp[Secp256k1], G1],
-#     Iters = Iters,
-#     moduleName = "test_ec_shortweierstrass_jacobian_g1_add_double_" & $Secp256k1
-#   )
+run_EC_addition_tests(
+    ec = EC_ShortW_Jac[Fp[Secp256k1], G1],
+    Iters = Iters,
+    moduleName = "test_ec_shortweierstrass_jacobian_g1_add_double_" & $Secp256k1
+  )
 
 run_EC_addition_tests(
     ec = EC_ShortW_Jac[Fp[BLS12_381], G1],
@@ -64,11 +64,11 @@ run_EC_addition_vartime_tests(
     moduleName = "test_ec_shortweierstrass_jacobian_g1_add_double_vartime_" & $BN254_Snarks
   )
 
-# run_EC_addition_vartime_tests(
-#     ec = EC_ShortW_Jac[Fp[Secp256k1], G1],
-#     Iters = Iters,
-#     moduleName = "test_ec_shortweierstrass_jacobian_g1_add_double_vartime_" & $Secp256k1
-#   )
+run_EC_addition_vartime_tests(
+    ec = EC_ShortW_Jac[Fp[Secp256k1], G1],
+    Iters = Iters,
+    moduleName = "test_ec_shortweierstrass_jacobian_g1_add_double_vartime_" & $Secp256k1
+  )
 
 run_EC_addition_vartime_tests(
     ec = EC_ShortW_Jac[Fp[BLS12_381], G1],
diff --git a/tests/math_elliptic_curves/t_ec_shortw_jac_g1_mixed_add.nim b/tests/math_elliptic_curves/t_ec_shortw_jac_g1_mixed_add.nim
@@ -23,11 +23,11 @@ run_EC_mixed_add_impl(
     moduleName = "test_ec_shortweierstrass_jacobian_mixed_add_" & $BN254_Snarks
   )
 
-# run_EC_mixed_add_impl(
-#     ec = EC_ShortW_Jac[Fp[Secp256k1], G1],
-#     Iters = Iters,
-#     moduleName = "test_ec_shortweierstrass_jacobian_mixed_add_" & $Secp256k1
-#   )
+run_EC_mixed_add_impl(
+    ec = EC_ShortW_Jac[Fp[Secp256k1], G1],
+    Iters = Iters,
+    moduleName = "test_ec_shortweierstrass_jacobian_mixed_add_" & $Secp256k1
+  )
 
 run_EC_mixed_add_impl(
     ec = EC_ShortW_Jac[Fp[BLS12_381], G1],
diff --git a/tests/math_elliptic_curves/t_ec_shortw_jac_g1_mul_sanity.nim b/tests/math_elliptic_curves/t_ec_shortw_jac_g1_mul_sanity.nim
@@ -68,11 +68,11 @@ suite "Order checks on BN254_Snarks":
       bool not ay.isSquare()
       bool not ay.sqrt_if_square()
 
-# run_EC_mul_sanity_tests(
-#     ec = EC_ShortW_Jac[Fp[Secp256k1], G1],
-#     ItersMul = ItersMul,
-#     moduleName = "test_ec_shortweierstrass_jacobian_g1_mul_sanity_" & $Secp256k1
-#   )
+run_EC_mul_sanity_tests(
+    ec = EC_ShortW_Jac[Fp[Secp256k1], G1],
+    ItersMul = ItersMul,
+    moduleName = "test_ec_shortweierstrass_jacobian_g1_mul_sanity_" & $Secp256k1
+  )
 
 run_EC_mul_sanity_tests(
     ec = EC_ShortW_Jac[Fp[BLS12_381], G1],
diff --git a/tests/math_elliptic_curves/t_ec_shortw_jac_g1_mul_vs_ref.nim b/tests/math_elliptic_curves/t_ec_shortw_jac_g1_mul_vs_ref.nim
@@ -23,11 +23,11 @@ run_EC_mul_vs_ref_impl(
     moduleName = "test_ec_shortweierstrass_jacobian_g1_mul_vs_ref_" & $BN254_Snarks
   )
 
-# run_EC_mul_vs_ref_impl(
-#     ec = EC_ShortW_Jac[Fp[Secp256k1], G1],
-#     ItersMul = ItersMul,
-#     moduleName = "test_ec_shortweierstrass_jacobian_g1_mul_vs_ref_" & $Secp256k1
-#   )
+run_EC_mul_vs_ref_impl(
+    ec = EC_ShortW_Jac[Fp[Secp256k1], G1],
+    ItersMul = ItersMul,
+    moduleName = "test_ec_shortweierstrass_jacobian_g1_mul_vs_ref_" & $Secp256k1
+  )
 
 run_EC_mul_vs_ref_impl(
     ec = EC_ShortW_Jac[Fp[BLS12_381], G1],
diff --git a/tests/math_elliptic_curves/t_ec_shortw_jacext_g1_add_double.nim b/tests/math_elliptic_curves/t_ec_shortw_jacext_g1_add_double.nim
@@ -22,11 +22,11 @@ run_EC_addition_tests(
     moduleName = "test_ec_shortweierstrass_jacobian_extended_g1_add_double_" & $BN254_Snarks
   )
 
-# run_EC_addition_tests(
-#     ec = EC_ShortW_JacExt[Fp[Secp256k1], G1],
-#     Iters = Iters,
-#     moduleName = "test_ec_shortweierstrass_jacobian_extended_g1_add_double_" & $Secp256k1
-#   )
+run_EC_addition_tests(
+    ec = EC_ShortW_JacExt[Fp[Secp256k1], G1],
+    Iters = Iters,
+    moduleName = "test_ec_shortweierstrass_jacobian_extended_g1_add_double_" & $Secp256k1
+  )
 
 run_EC_addition_tests(
     ec = EC_ShortW_JacExt[Fp[BLS12_381], G1],
diff --git a/tests/math_elliptic_curves/t_ec_shortw_jacext_g1_mixed_add.nim b/tests/math_elliptic_curves/t_ec_shortw_jacext_g1_mixed_add.nim
@@ -23,11 +23,11 @@ run_EC_mixed_add_impl(
     moduleName = "test_ec_shortweierstrass_jacobian_extendedmixed_add_" & $BN254_Snarks
   )
 
-# run_EC_mixed_add_impl(
-#     ec = EC_ShortW_JacExt[Fp[Secp256k1], G1],
-#     Iters = Iters,
-#     moduleName = "test_ec_shortweierstrass_jacobian_extendedmixed_add_" & $Secp256k1
-#   )
+run_EC_mixed_add_impl(
+    ec = EC_ShortW_JacExt[Fp[Secp256k1], G1],
+    Iters = Iters,
+    moduleName = "test_ec_shortweierstrass_jacobian_extendedmixed_add_" & $Secp256k1
+  )
 
 run_EC_mixed_add_impl(
     ec = EC_ShortW_JacExt[Fp[BLS12_381], G1],
diff --git a/tests/math_elliptic_curves/t_ec_shortw_prj_g1_add_double.nim b/tests/math_elliptic_curves/t_ec_shortw_prj_g1_add_double.nim
@@ -22,11 +22,11 @@ run_EC_addition_tests(
     moduleName = "test_ec_shortweierstrass_projective_g1_add_double_" & $BN254_Snarks
   )
 
-# run_EC_addition_tests(
-#     ec = EC_ShortW_Prj[Fp[Secp256k1], G1],
-#     Iters = Iters,
-#     moduleName = "test_ec_shortweierstrass_projective_g1_add_double_" & $Secp256k1
-#   )
+run_EC_addition_tests(
+    ec = EC_ShortW_Prj[Fp[Secp256k1], G1],
+    Iters = Iters,
+    moduleName = "test_ec_shortweierstrass_projective_g1_add_double_" & $Secp256k1
+  )
 
 run_EC_addition_tests(
     ec = EC_ShortW_Prj[Fp[BLS12_381], G1],
diff --git a/tests/math_elliptic_curves/t_ec_shortw_prj_g1_mixed_add.nim b/tests/math_elliptic_curves/t_ec_shortw_prj_g1_mixed_add.nim
@@ -23,11 +23,11 @@ run_EC_mixed_add_impl(
     moduleName = "test_ec_shortweierstrass_projective_mixed_add_" & $BN254_Snarks
   )
 
-# run_EC_mixed_add_impl(
-#     ec = EC_ShortW_Prj[Fp[Secp256k1], G1],
-#     Iters = Iters,
-#     moduleName = "test_ec_shortweierstrass_projective_mixed_add_" & $Secp256k1
-#   )
+run_EC_mixed_add_impl(
+    ec = EC_ShortW_Prj[Fp[Secp256k1], G1],
+    Iters = Iters,
+    moduleName = "test_ec_shortweierstrass_projective_mixed_add_" & $Secp256k1
+  )
 
 run_EC_mixed_add_impl(
     ec = EC_ShortW_Prj[Fp[BLS12_381], G1],
diff --git a/tests/math_elliptic_curves/t_ec_shortw_prj_g1_mul_distri.nim b/tests/math_elliptic_curves/t_ec_shortw_prj_g1_mul_distri.nim
@@ -23,11 +23,11 @@ run_EC_mul_distributive_tests(
     moduleName = "test_ec_shortweierstrass_projective_g1_mul_distributive_" & $BN254_Snarks
   )
 
-# run_EC_mul_distributive_tests(
-#     ec = EC_ShortW_Prj[Fp[Secp256k1], G1],
-#     ItersMul = ItersMul,
-#     moduleName = "test_ec_shortweierstrass_projective_g1_mul_distributive_" & $Secp256k1
-#   )
+run_EC_mul_distributive_tests(
+    ec = EC_ShortW_Prj[Fp[Secp256k1], G1],
+    ItersMul = ItersMul,
+    moduleName = "test_ec_shortweierstrass_projective_g1_mul_distributive_" & $Secp256k1
+  )
 
 run_EC_mul_distributive_tests(
     ec = EC_ShortW_Prj[Fp[BLS12_381], G1],
diff --git a/tests/math_elliptic_curves/t_ec_shortw_prj_g1_mul_sanity.nim b/tests/math_elliptic_curves/t_ec_shortw_prj_g1_mul_sanity.nim
@@ -67,11 +67,11 @@ suite "Order checks on BN254_Snarks":
       bool not ay.isSquare()
       bool not ay.sqrt_if_square()
 
-# run_EC_mul_sanity_tests(
-#     ec = EC_ShortW_Prj[Fp[Secp256k1], G1],
-#     ItersMul = ItersMul,
-#     moduleName = "test_ec_shortweierstrass_projective_g1_mul_sanity_" & $Secp256k1
-#   )
+run_EC_mul_sanity_tests(
+    ec = EC_ShortW_Prj[Fp[Secp256k1], G1],
+    ItersMul = ItersMul,
+    moduleName = "test_ec_shortweierstrass_projective_g1_mul_sanity_" & $Secp256k1
+  )
 
 run_EC_mul_sanity_tests(
     ec = EC_ShortW_Prj[Fp[BLS12_381], G1],
diff --git a/tests/math_elliptic_curves/t_ec_shortw_prj_g1_mul_vs_ref.nim b/tests/math_elliptic_curves/t_ec_shortw_prj_g1_mul_vs_ref.nim
@@ -23,11 +23,11 @@ run_EC_mul_vs_ref_impl(
     moduleName = "test_ec_shortweierstrass_projective_g1_mul_vs_ref_" & $BN254_Snarks
   )
 
-# run_EC_mul_vs_ref_impl(
-#     ec = EC_ShortW_Prj[Fp[Secp256k1], G1],
-#     ItersMul = ItersMul,
-#     moduleName = "test_ec_shortweierstrass_projective_g1_mul_vs_ref_" & $BN254_Snarks
-#   )
+run_EC_mul_vs_ref_impl(
+    ec = EC_ShortW_Prj[Fp[Secp256k1], G1],
+    ItersMul = ItersMul,
+    moduleName = "test_ec_shortweierstrass_projective_g1_mul_vs_ref_" & $BN254_Snarks
+  )
 
 run_EC_mul_vs_ref_impl(
     ec = EC_ShortW_Prj[Fp[BLS12_381], G1],
