Denom is not zero (#793)

debug assert denom is not zero
starkware-libs · Aug 25, 2024 · 40cb2fe · 40cb2fe
2 parents f16ba08 + 4fc09a7
commit 40cb2fe
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/crates/prover/src/constraint_framework/logup.rs b/crates/prover/src/constraint_framework/logup.rs
@@ -252,6 +252,11 @@ impl<'a> LogupColGenerator<'a> {
         numerator: PackedSecureField,
         denom: PackedSecureField,
     ) {
+        debug_assert!(
+            denom.to_array().iter().all(|x| *x != SecureField::zero()),
+            "{:?}",
+            ("denom at vec_row {} is zero {}", denom, vec_row)
+        );
         unsafe {
             self.numerator.set_packed(vec_row, numerator);
             *self.gen.denom.data.get_unchecked_mut(vec_row) = denom;