Update src/fns/constrained_ops.nr

noir-lang · Jan 29, 2025 · b1766f3 · b1766f3
1 parent d074827
commit b1766f3
Showing 1 changed file with 1 addition and 7 deletions.
diff --git a/src/fns/constrained_ops.nr b/src/fns/constrained_ops.nr
@@ -277,13 +277,7 @@ pub(crate) fn eq<let N: u32, let MOD_BITS: u32>(
 }
 
 pub(crate) fn is_zero<let N: u32, let MOD_BITS: u32>(val: [Field; N]) -> bool {
-    let mut result: bool = true;
-
-    for i in 0..N {
-        result = result & (val[i] == 0);
-    }
-
-    result
+    val.all(|limb| limb == 0)
 }
 
 pub(crate) fn validate_in_field<let N: u32, let MOD_BITS: u32>(