Debug constraints

Author: darth-cy

extensions/native/circuit/src/sumcheck/air.rs

@@ -177,12 +177,13 @@ impl<AB: InteractionBuilder> Air<AB>
         // Randomness transition
         let alpha_denominator = FieldExtension::multiply(alpha1, alpha);
         assert_array_eq::<_, _, _, EXT_DEG>(&mut builder.when(logup_row), alpha_denominator, alpha2);
+        let logup_next_alpha = FieldExtension::multiply(alpha2, alpha);
+        assert_array_eq::<_, _, _, EXT_DEG>(&mut builder.when(logup_continuation), logup_next_alpha, next_alpha1);
+        
+        /* _debug
         let prod_next_alpha = FieldExtension::multiply(alpha1, alpha);
         assert_array_eq::<_, _, _, EXT_DEG>(&mut builder.when(prod_continuation), prod_next_alpha, next_alpha1);
         
-        /* _debug
-        let logup_next_alpha = FieldExtension::multiply(alpha2, alpha);
-        assert_array_eq::<_, _, _, EXT_DEG>(&mut builder.when(logup_continuation), logup_next_alpha, next_alpha1);
         */
 
         // Header