Debug constraint

Author: Ray Gao

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

@@ -173,6 +173,7 @@ impl<AB: InteractionBuilder> Air<AB>
 
         // Termination condition
         assert_array_eq(&mut builder.when::<AB::Expr>(not(continuation)), eval_acc, [AB::F::ZERO; 4]);
+        assert_array_eq(&mut builder.when(header_continuation), next.challenges[0..EXT_DEG].try_into().expect(""), [AB::F::ONE, AB::F::ZERO, AB::F::ZERO, AB::F::ZERO]);
 
         /* _debug
         // Randomness transition