fix: uncomment p2 wide constraint (#1489)

succinctlabs · Sep 9, 2024 · 47c8312 · 47c8312
1 parent b98a30f
commit 47c8312
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/crates/recursion/core-v2/src/chips/poseidon2_wide/air.rs b/crates/recursion/core-v2/src/chips/poseidon2_wide/air.rs
@@ -111,7 +111,7 @@ impl<const DEGREE: usize> Poseidon2WideChip<DEGREE> {
             let calculated_sbox_deg_3 = add_rc[i].clone() * add_rc[i].clone() * add_rc[i].clone();
 
             if let Some(external_sbox) = local_row.external_rounds_sbox() {
-                // builder.assert_eq(external_sbox[r][i].into(), calculated_sbox_deg_3);
+                builder.assert_eq(external_sbox[r][i].into(), calculated_sbox_deg_3);
                 sbox_deg_3[i] = external_sbox[r][i].into();
             } else {
                 sbox_deg_3[i] = calculated_sbox_deg_3;