diff --git a/src/circuit_data.rs b/src/circuit_data.rs index 912f05cc..787c446d 100644 --- a/src/circuit_data.rs +++ b/src/circuit_data.rs @@ -56,7 +56,7 @@ impl CircuitConfig { pub(crate) fn large_config() -> Self { Self { - num_wires: 134, + num_wires: 126, num_routed_wires: 34, security_bits: 128, rate_bits: 3, diff --git a/src/gates/gmimc.rs b/src/gates/gmimc.rs index 651879a5..a3c26608 100644 --- a/src/gates/gmimc.rs +++ b/src/gates/gmimc.rs @@ -310,7 +310,7 @@ mod tests { let gate = Gate::with_constants(constants.clone()); let config = CircuitConfig { - num_wires: 134, + num_wires: 126, num_routed_wires: 200, ..Default::default() }; diff --git a/src/recursive_verifier.rs b/src/recursive_verifier.rs index 66b63e7f..0e4080ea 100644 --- a/src/recursive_verifier.rs +++ b/src/recursive_verifier.rs @@ -363,7 +363,7 @@ mod tests { type F = CrandallField; const D: usize = 4; let config = CircuitConfig { - num_wires: 134, + num_wires: 126, num_routed_wires: 33, security_bits: 128, rate_bits: 3,