From 15a64017dc98cfec4ed4d7e080079e64a220123b Mon Sep 17 00:00:00 2001 From: wborgeaud Date: Thu, 22 Jul 2021 14:42:42 +0200 Subject: [PATCH] We need only 126 wires now --- src/circuit_data.rs | 2 +- src/gates/gmimc.rs | 2 +- src/recursive_verifier.rs | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) 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,