fix: remove unnecessary constraint in is_less_than_array chip

GunaDD · GunaDD · commit d5df285d18b3 · 2025-09-16T17:22:22.000-04:00
diff --git a/crates/circuits/primitives/src/is_less_than_array/mod.rs b/crates/circuits/primitives/src/is_less_than_array/mod.rs
@@ -134,7 +134,7 @@ impl<const NUM: usize> IsLtArraySubAir<NUM> {
                 .assert_zero(not::<AB::Expr>(prefix_sum.clone()) * diff.clone());
             builder.when(marker).assert_one(diff * diff_inv);
         }
-        builder.assert_bool(prefix_sum.clone());
+
         // When condition != 0,
         // - If `x != y`, then `prefix_sum = 1` so marker[i] must be nonzero iff i is the first
         //   index where `x[i] != y[i]`. Constrains that `diff_inv * (y[i] - x[i]) = 1` (`diff_val`

Original file line number	Diff line number	Diff line change
`@@ -134,7 +134,7 @@ impl<const NUM: usize> IsLtArraySubAir<NUM> {`
`134`	`134`	`.assert_zero(not::<AB::Expr>(prefix_sum.clone()) * diff.clone());`
`135`	`135`	`builder.when(marker).assert_one(diff * diff_inv);`
`136`	`136`	`}`
`137`		`- builder.assert_bool(prefix_sum.clone());`
	`137`	`+`
`138`	`138`	`// When condition != 0,`
`139`	`139`	// - If `x != y`, then `prefix_sum = 1` so marker[i] must be nonzero iff i is the first
`140`	`140`	// index where `x[i] != y[i]`. Constrains that `diff_inv * (y[i] - x[i]) = 1` (`diff_val`