M benches/compressed-snark.rs → benches/compressed-snark.rs

@@ -30,10 +30,10 @@ criterion_main!(compressed_snark);
 
 fn bench_compressed_snark(c: &mut Criterion) {
   let num_samples = 10;
-  let num_cons_verifier_circuit_primary = 20584;
+  let num_cons_verifier_circuit_primary = 9819;
   // we vary the number of constraints in the step circuit
   for &num_cons_in_augmented_circuit in
-    [20584, 32768, 65536, 131072, 262144, 524288, 1048576].iter()
+    [9819, 16384, 32768, 65536, 131072, 262144, 524288, 1048576].iter()
   {
     // number of constraints in the step circuit
     let num_cons = num_cons_in_augmented_circuit - num_cons_verifier_circuit_primary;

M benches/recursive-snark.rs → benches/recursive-snark.rs

@@ -27,10 +27,10 @@
 criterion_main!(recursive_snark);
 
 fn bench_recursive_snark(c: &mut Criterion) {
-  let num_cons_verifier_circuit_primary = 20584;
+  let num_cons_verifier_circuit_primary = 9819;
   // we vary the number of constraints in the step circuit
   for &num_cons_in_augmented_circuit in
-    [20584, 32768, 65536, 131072, 262144, 524288, 1048576].iter()
+    [9819, 16384, 32768, 65536, 131072, 262144, 524288, 1048576].iter()
   {
     // number of constraints in the step circuit
     let num_cons = num_cons_in_augmented_circuit - num_cons_verifier_circuit_primary;