feat: residue test

Cargo.toml

@@ -13,10 +13,14 @@ version = "0.8.0"
 edition = "2021"
 
 [package.metadata.docs.rs]
-rustdoc-args = [ "--html-in-header", "katex-header.html" ]
+rustdoc-args = ["--html-in-header", "katex-header.html"]
 
 [dependencies]
 sp1_precompiles = { git = "https://github.com/succinctlabs/sp1.git", package = "sp1-precompiles" }
+crypto-bigint = "0.5.5"
+rand = "0.8.5"
+num-bigint = "0.4.6"
+num-integer = "0.1.46"
 
 [dev-dependencies]
 csv = ">= 1.0, < 1.2" # csv 1.2 has MSRV 1.60
@@ -36,6 +40,7 @@ name = "hash_to_curve"
 harness = false
 required-features = ["experimental"]
 
+
 [dependencies.digest]
 version = "0.9"
 optional = true
@@ -70,7 +75,8 @@ optional = true
 default = ["groups", "pairings", "alloc", "bits"]
 bits = ["ff/bits"]
 groups = ["group"]
-pairings = ["groups", "pairing"]
+pairings = ["groups", "pairing", "fast-pairings"]
 alloc = ["group/alloc"]
 experimental = ["digest"]
 nightly = ["subtle/nightly"]
+fast-pairings = []

benches/groups.rs

@@ -18,14 +18,14 @@ fn criterion_benchmark(c: &mut Criterion) {
             b.iter(|| G2Prepared::from(h))
         });
         let prep = G2Prepared::from(h);
-        c.bench_function("miller loop for pairing", move |b| {
-            b.iter(|| multi_miller_loop(&[(&g, &prep)]))
-        });
-        let prep = G2Prepared::from(h);
-        let r = multi_miller_loop(&[(&g, &prep)]);
-        c.bench_function("final exponentiation for pairing", move |b| {
-            b.iter(|| r.final_exponentiation())
-        });
+        // c.bench_function("miller loop for pairing", move |b| {
+        //     b.iter(|| multi_miller_loop(&[(&g, &prep)]))
+        // });
+        // let prep = G2Prepared::from(h);
+        // let r = multi_miller_loop(&[(&g, &prep)]);
+        // c.bench_function("final exponentiation for pairing", move |b| {
+        //     b.iter(|| r.final_exponentiation())
+        // });
     }
     // G1Affine
     {