diff --git a/verifier/networks/codex_devnet/proof_main.circom b/verifier/networks/codex_devnet/proof_main.circom
deleted file mode 100644
index 1018d4b..0000000
--- a/verifier/networks/codex_devnet/proof_main.circom
+++ /dev/null
@@ -1,4 +0,0 @@
-pragma circom 2.0.0;
-include "sample_cells.circom";
-// SampleAndProven( maxDepth, maxLog2NSlots, blockTreeDepth, nFieldElemsPerCell, nSamples )
-component main {public [entropy,dataSetRoot,slotIndex]} = SampleAndProve(32, 8, 5, 67, 5);
diff --git a/verifier/networks/codex_devnet/proof_main.r1cs b/verifier/networks/codex_devnet/proof_main.r1cs
deleted file mode 100644
index 8b58ffa..0000000
Binary files a/verifier/networks/codex_devnet/proof_main.r1cs and /dev/null differ
diff --git a/verifier/networks/codex_devnet/proof_main.wasm b/verifier/networks/codex_devnet/proof_main.wasm
deleted file mode 100644
index f908d4f..0000000
Binary files a/verifier/networks/codex_devnet/proof_main.wasm and /dev/null differ
diff --git a/verifier/networks/codex_devnet/proof_main.zkey b/verifier/networks/codex_devnet/proof_main.zkey
deleted file mode 100644
index 7a476ae..0000000
Binary files a/verifier/networks/codex_devnet/proof_main.zkey and /dev/null differ
diff --git a/verifier/networks/codex_devnet/proof_main_verification_key.json b/verifier/networks/codex_devnet/proof_main_verification_key.json
index 7e852d4..147986d 100644
--- a/verifier/networks/codex_devnet/proof_main_verification_key.json
+++ b/verifier/networks/codex_devnet/proof_main_verification_key.json
@@ -37,12 +37,12 @@
  ],
  "vk_delta_2": [
   [
-   "4242372433870967747014994165533296650435514614635867408424375946906374056974",
-   "18301172719512515069015282269781512836356774299838899435281034529748853354699"
+   "18847787075186653479563252585230076427336205029053034399889512784226274367833",
+   "2736188815473472538496321562070369627329326821838531098341958663668834615385"
   ],
   [
-   "7893309626729892431707924648227004737117356057037925662725627713167962253358",
-   "3364684738221557413573933813861709699686135088968584050402285853852672055438"
+   "15086255651168277665845449427251496461981394242207161337044533835504041775839",
+   "21116336501942861194211753931634160832873056011965822517640040812912286588295"
   ],
   [
    "1",
diff --git a/verifier/networks/codex_devnet/zkey_hash.json b/verifier/networks/codex_devnet/zkey_hash.json
index cd55e94..de653b8 100644
--- a/verifier/networks/codex_devnet/zkey_hash.json
+++ b/verifier/networks/codex_devnet/zkey_hash.json
@@ -1 +1 @@
-"56b424f7a3f6d2082f6f371b108f15b035b887e6fc04cdc96d59707a51dc86cf"
+"17adc1656dc6f2bed11900b83eb765afc622da0a03dd0cee5291f40673fddd5c"