Debug constraints

darth-cy · darth-cy · commit 12fe6fdc6736 · 2025-09-25T14:58:56.000-04:00
diff --git a/extensions/native/circuit/src/sumcheck/air.rs b/extensions/native/circuit/src/sumcheck/air.rs
@@ -386,7 +386,6 @@ impl<AB: InteractionBuilder> Air<AB>
             )
             .eval(builder, logup_row_within_max_round);
 
-        /* _debug
         // Calculate evaluations
         let next_round_p_evals = FieldExtension::add(
             FieldExtension::multiply::<AB::Var, AB::Expr>(p1, c1),
@@ -419,6 +418,5 @@ impl<AB: InteractionBuilder> Air<AB>
             next_logup_row_specfic.acc_eval,
         );
         assert_array_eq::<_, _, _, EXT_DEG>(&mut builder.when(next.logup_acc), next.eval_acc, next_acc);
-        */
     }
 }

Original file line number	Diff line number	Diff line change
`@@ -386,7 +386,6 @@ impl<AB: InteractionBuilder> Air<AB>`
`386`	`386`	`)`
`387`	`387`	`.eval(builder, logup_row_within_max_round);`
`388`	`388`
`389`		`- /* _debug`
`390`	`389`	`// Calculate evaluations`
`391`	`390`	`let next_round_p_evals = FieldExtension::add(`
`392`	`391`	`FieldExtension::multiply::<AB::Var, AB::Expr>(p1, c1),`
`@@ -419,6 +418,5 @@ impl<AB: InteractionBuilder> Air<AB>`
`419`	`418`	`next_logup_row_specfic.acc_eval,`
`420`	`419`	`);`
`421`	`420`	`assert_array_eq::<_, _, _, EXT_DEG>(&mut builder.when(next.logup_acc), next.eval_acc, next_acc);`
`422`		`- */`
`423`	`421`	`}`
`424`	`422`	`}`