diff --git a/src/gates/insertion.rs b/src/gates/insertion.rs index 2d60ea83..b224edff 100644 --- a/src/gates/insertion.rs +++ b/src/gates/insertion.rs @@ -142,10 +142,7 @@ impl, const D: usize> Gate for InsertionGate { } fn num_wires(&self) -> usize { - let num_input_wires = self.vec_size + 1; // the original vector, and the insertion index - let num_output_wires = self.vec_size + 1; // the final vector, with the inserted element - let num_intermediate_wires = 6 * self.vec_size; // six intermediate variables needed for each element of the vector - self.vec_size + 1 + self.insert_here_for_round_r(self.vec_size - 1) + 1 } fn num_constants(&self) -> usize {