diff --git a/src/gates/insertion.rs b/src/gates/insertion.rs index 8c91ced5..c98a86ca 100644 --- a/src/gates/insertion.rs +++ b/src/gates/insertion.rs @@ -103,10 +103,10 @@ impl, const D: usize> Gate for InsertionGate { if r > 0 { new_item += list_items[r - 1] * already_inserted.into(); } + already_inserted += insert_here; if r < self.vec_size { new_item += list_items[r] * (F::Extension::ONE - already_inserted).into(); } - already_inserted += insert_here; // Output constraint. constraints.extend((new_item - output_list_items[r]).to_basefield_array());