update constants

microsoft · Feb 7, 2024 · af4b539 · af4b539
1 parent 32a071e
commit af4b539
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 6 deletions.
diff --git a/benches/compressed-snark.rs b/benches/compressed-snark.rs
@@ -50,8 +50,8 @@ cfg_if::cfg_if! {
 
 criterion_main!(compressed_snark);
 
-// This should match the value for the primary in test_recursive_circuit_pasta
-const NUM_CONS_VERIFIER_CIRCUIT_PRIMARY: usize = 9817;
+// This should match the value for the primary in test_recursive_circuit_bn256_grumpkin
+const NUM_CONS_VERIFIER_CIRCUIT_PRIMARY: usize = 9985;
 const NUM_SAMPLES: usize = 10;
 
 /// Benchmarks the compressed SNARK at a provided number of constraints

diff --git a/benches/recursive-snark.rs b/benches/recursive-snark.rs
@@ -42,8 +42,8 @@ cfg_if::cfg_if! {
 
 criterion_main!(recursive_snark);
 
-// This should match the value for the primary in test_recursive_circuit_pasta
-const NUM_CONS_VERIFIER_CIRCUIT_PRIMARY: usize = 9817;
+// This should match the value for the primary in test_recursive_circuit_bn256_grumpkin
+const NUM_CONS_VERIFIER_CIRCUIT_PRIMARY: usize = 9985;
 const NUM_SAMPLES: usize = 10;
 
 fn bench_recursive_snark(c: &mut Criterion) {

diff --git a/src/circuit.rs b/src/circuit.rs
@@ -461,7 +461,7 @@ mod tests {
   }
 
   #[test]
-  fn test_recursive_circuit_grumpkin() {
+  fn test_recursive_circuit_bn256_grumpkin() {
     let params1 = NovaAugmentedCircuitParams::new(BN_LIMB_WIDTH, BN_N_LIMBS, true);
     let params2 = NovaAugmentedCircuitParams::new(BN_LIMB_WIDTH, BN_N_LIMBS, false);
     let ro_consts1: ROConstantsCircuit<GrumpkinEngine> = PoseidonConstantsCircuit::default();
@@ -473,7 +473,7 @@ mod tests {
   }
 
   #[test]
-  fn test_recursive_circuit_secp() {
+  fn test_recursive_circuit_secpq() {
     let params1 = NovaAugmentedCircuitParams::new(BN_LIMB_WIDTH, BN_N_LIMBS, true);
     let params2 = NovaAugmentedCircuitParams::new(BN_LIMB_WIDTH, BN_N_LIMBS, false);
     let ro_consts1: ROConstantsCircuit<Secq256k1Engine> = PoseidonConstantsCircuit::default();