From 47c8312a8116f04a4f178a5e9159d18db3cbf42c Mon Sep 17 00:00:00 2001
From: Kevin Jue <kjue235@gmail.com>
Date: Mon, 9 Sep 2024 10:57:37 -0700
Subject: [PATCH] fix: uncomment p2 wide constraint (#1489)

---
 crates/recursion/core-v2/src/chips/poseidon2_wide/air.rs | 2 +-
 1 file changed, 1 insertion(+), 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
index 393910bdac..528105ac60 100644
--- 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;