diff --git a/src/gadgets/insert.rs b/src/gadgets/insert.rs index 8cb4614d..d1e0331d 100644 --- a/src/gadgets/insert.rs +++ b/src/gadgets/insert.rs @@ -35,7 +35,9 @@ impl, const D: usize> CircuitBuilder { new_item = self.add(new_item, self.mul(insert_here, element)); new_item = self.add(new_item, self.mul(already_inserted, v[i-1])); already_inserted = self.add(already_inserted, insert_here); - new_item = self.add(new_item, self.mul(self.sub(self.one(), already_inserted), v[i])); + + let not_already_inserted = self.sub(self.one(), already_inserted); + new_item = self.mul_add(not_already_inserted, v[i], new_item); new_list.push(new_item); }