refactor(starky): cc-debug - is_zeros-api use (#31)

0xmozak · Jul 18, 2024 · 92a68ee · 92a68ee
1 parent d49fdf6
commit 92a68ee
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/starky/src/constraint_consumer.rs b/starky/src/constraint_consumer.rs
@@ -74,7 +74,7 @@ impl<P: PackedField> ConstraintConsumer<P> {
     #[allow(clippy::collapsible_if)]
     pub fn constraint(&mut self, constraint: P) {
         if std::intrinsics::unlikely(self.debug_api) {
-            if !constraint.as_slice().iter().all(|e| e.eq(&P::Scalar::ZERO)) {
+            if !constraint.is_zeros() {
                 println!(
                     "ConstraintConsumer - DEBUG trace (non-zero-constraint): {:?}",
                     Backtrace::new()