remove repetition

Al-Kindi-0 · Al-Kindi-0 · commit 5082cbfabb53 · 2025-09-30T17:02:51.000+04:00
diff --git a/constraints/ace.air b/constraints/ace.air
@@ -162,11 +162,11 @@ ev section_block_flags_constraints([s0, s1, s2, s2_next, s3, s3_next, sstart, ss
     #
     # Hence:
     #
-    # Constraint degree: deg(f_ACE) + 2 = 3 + 2 = 5
-    let f_ace = flag_ace_active(s0, s1, s2, s3);
+    # Constraint degree: 5
+    #
     # The kernel ROM's sfirst would be at ace[1] (i.e., sblock) in the chiplets column layout
     # as the chiplet selector for the kernel ROM chiplet (i.e., s4) would correspond to ace[0]
-    enf f_ace * s3' * (1 - sblock') = 0;
+    enf s3' * (1 - sblock') = 0 when flag_ace;
 }
 
 # Constrains binary columns for flags and selectors

Original file line number	Diff line number	Diff line change
`@@ -162,11 +162,11 @@ ev section_block_flags_constraints([s0, s1, s2, s2_next, s3, s3_next, sstart, ss`
`162`	`162`	`#`
`163`	`163`	`# Hence:`
`164`	`164`	`#`
`165`		`- # Constraint degree: deg(f_ACE) + 2 = 3 + 2 = 5`
`166`		`- let f_ace = flag_ace_active(s0, s1, s2, s3);`
	`165`	`+ # Constraint degree: 5`
	`166`	`+ #`
`167`	`167`	`# The kernel ROM's sfirst would be at ace[1] (i.e., sblock) in the chiplets column layout`
`168`	`168`	`# as the chiplet selector for the kernel ROM chiplet (i.e., s4) would correspond to ace[0]`
`169`		`- enf f_ace * s3' * (1 - sblock') = 0;`
	`169`	`+ enf s3' * (1 - sblock') = 0 when flag_ace;`
`170`	`170`	`}`
`171`	`171`
`172`	`172`	`# Constrains binary columns for flags and selectors`