diff --git a/src/gadgets/arithmetic.rs b/src/gadgets/arithmetic.rs index 63f149cd..3d54bdc3 100644 --- a/src/gadgets/arithmetic.rs +++ b/src/gadgets/arithmetic.rs @@ -185,11 +185,7 @@ impl, const D: usize> CircuitBuilder { /// Add `n` `Target`s. pub fn add_many(&mut self, terms: &[Target]) -> Target { - let terms_ext = terms - .iter() - .map(|&t| self.convert_to_ext(t)) - .collect::>(); - self.add_many_extension(&terms_ext).to_target_array()[0] + terms.iter().fold(self.zero(), |acc, &t| self.add(acc, t)) } /// Computes `x - y`.