From c2ca106a29f4e778fac265872ce25b34bb7a03b4 Mon Sep 17 00:00:00 2001
From: wborgeaud <williamborgeaud@gmail.com>
Date: Thu, 2 Dec 2021 16:56:58 +0100
Subject: [PATCH] Rewrite `add_many`

---
 src/gadgets/arithmetic.rs | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

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<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
 
     /// 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::<Vec<_>>();
-        self.add_many_extension(&terms_ext).to_target_array()[0]
+        terms.iter().fold(self.zero(), |acc, &t| self.add(acc, t))
     }
 
     /// Computes `x - y`.