diff --git a/verifier/networks/codex_testnet/proof_main.r1cs b/verifier/networks/codex_testnet/proof_main.r1cs
index 8b58ffa8..4df13962 100644
Binary files a/verifier/networks/codex_testnet/proof_main.r1cs and b/verifier/networks/codex_testnet/proof_main.r1cs differ
diff --git a/verifier/networks/codex_testnet/proof_main.wasm b/verifier/networks/codex_testnet/proof_main.wasm
index f908d4f7..85235ae4 100644
Binary files a/verifier/networks/codex_testnet/proof_main.wasm and b/verifier/networks/codex_testnet/proof_main.wasm differ
diff --git a/verifier/networks/codex_testnet/proof_main.zkey b/verifier/networks/codex_testnet/proof_main.zkey
index 7c4848a0..fd629d5f 100644
Binary files a/verifier/networks/codex_testnet/proof_main.zkey and b/verifier/networks/codex_testnet/proof_main.zkey differ
diff --git a/verifier/networks/codex_testnet/proof_main_verification_key.json b/verifier/networks/codex_testnet/proof_main_verification_key.json
index 328d1ac4..bdd57ca7 100644
--- a/verifier/networks/codex_testnet/proof_main_verification_key.json
+++ b/verifier/networks/codex_testnet/proof_main_verification_key.json
@@ -37,12 +37,12 @@
  ],
  "vk_delta_2": [
   [
-   "5447082348137136057636074748249349893629964699484381242694722378509910936662",
-   "12923912798254414252260693988829763358482753026467066334079419207971774923383"
+   "530364867487621862494857990870110718475170112084792159097488435549565467124",
+   "5569089924334373824418960853436586803630522384187404973286136753077815395827"
   ],
   [
-   "5923722662417224846188311304244642495382541026922138972433286027729423758573",
-   "6404852905723538426213634984682361567556711202681123116933320550393302489765"
+   "13320541513712223925568802310300463212889432778937328171416932615384576283093",
+   "1079831517535234899475391024252771579135484487347274232337619383102009679847"
   ],
   [
    "1",