diff --git a/src/gates/exponentiation.rs b/src/gates/exponentiation.rs index a120970b..ae0f5d49 100644 --- a/src/gates/exponentiation.rs +++ b/src/gates/exponentiation.rs @@ -121,7 +121,7 @@ impl, const D: usize> Gate for ExponentiationGate { } fn num_constraints(&self) -> usize { - self.num_power_bits + 2 + self.num_power_bits + 1 } }