diff --git a/src/gates/insertion.rs b/src/gates/insertion.rs index 479c0b45..adf213df 100644 --- a/src/gates/insertion.rs +++ b/src/gates/insertion.rs @@ -142,7 +142,7 @@ impl, const D: usize> Gate for InsertionGate { } fn num_wires(&self) -> usize { - self.wires_insert_here_for_round_r(self.vec_size - 1) + 1 + self.wires_insert_here_for_round_r(self.vec_size) + 1 } fn num_constants(&self) -> usize {