diff --git a/hardhat.config.js b/hardhat.config.js
index 48ec3ee..b29d98c 100644
--- a/hardhat.config.js
+++ b/hardhat.config.js
@@ -28,6 +28,12 @@ module.exports = {
     codexdisttestnetwork: {
       url: `${process.env.DISTTEST_NETWORK_URL}`,
     },
+    codex_devnet: {
+      url: `${process.env.CODEX_DEVNET_URL}`,
+    },
+    codex_testnet: {
+      url: `${process.env.CODEX_TESTNET_URL}`,
+    },
     taiko_test: {
       url: "https://rpc.test.taiko.xyz",
       accounts: [
diff --git a/verifier/networks/codex_devnet/proof_main.circom b/verifier/networks/codex_devnet/proof_main.circom
new file mode 100644
index 0000000..1018d4b
--- /dev/null
+++ b/verifier/networks/codex_devnet/proof_main.circom
@@ -0,0 +1,4 @@
+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
new file mode 100644
index 0000000..8b58ffa
Binary files /dev/null and b/verifier/networks/codex_devnet/proof_main.r1cs differ
diff --git a/verifier/networks/codex_devnet/proof_main.wasm b/verifier/networks/codex_devnet/proof_main.wasm
new file mode 100644
index 0000000..f908d4f
Binary files /dev/null and b/verifier/networks/codex_devnet/proof_main.wasm differ
diff --git a/verifier/networks/codex_devnet/proof_main.zkey b/verifier/networks/codex_devnet/proof_main.zkey
new file mode 100644
index 0000000..7a476ae
Binary files /dev/null and b/verifier/networks/codex_devnet/proof_main.zkey differ
diff --git a/verifier/networks/codex_devnet/proof_main_verification_key.json b/verifier/networks/codex_devnet/proof_main_verification_key.json
new file mode 100644
index 0000000..7e852d4
--- /dev/null
+++ b/verifier/networks/codex_devnet/proof_main_verification_key.json
@@ -0,0 +1,104 @@
+{
+ "protocol": "groth16",
+ "curve": "bn128",
+ "nPublic": 3,
+ "vk_alpha_1": [
+  "20491192805390485299153009773594534940189261866228447918068658471970481763042",
+  "9383485363053290200918347156157836566562967994039712273449902621266178545958",
+  "1"
+ ],
+ "vk_beta_2": [
+  [
+   "6375614351688725206403948262868962793625744043794305715222011528459656738731",
+   "4252822878758300859123897981450591353533073413197771768651442665752259397132"
+  ],
+  [
+   "10505242626370262277552901082094356697409835680220590971873171140371331206856",
+   "21847035105528745403288232691147584728191162732299865338377159692350059136679"
+  ],
+  [
+   "1",
+   "0"
+  ]
+ ],
+ "vk_gamma_2": [
+  [
+   "10857046999023057135944570762232829481370756359578518086990519993285655852781",
+   "11559732032986387107991004021392285783925812861821192530917403151452391805634"
+  ],
+  [
+   "8495653923123431417604973247489272438418190587263600148770280649306958101930",
+   "4082367875863433681332203403145435568316851327593401208105741076214120093531"
+  ],
+  [
+   "1",
+   "0"
+  ]
+ ],
+ "vk_delta_2": [
+  [
+   "4242372433870967747014994165533296650435514614635867408424375946906374056974",
+   "18301172719512515069015282269781512836356774299838899435281034529748853354699"
+  ],
+  [
+   "7893309626729892431707924648227004737117356057037925662725627713167962253358",
+   "3364684738221557413573933813861709699686135088968584050402285853852672055438"
+  ],
+  [
+   "1",
+   "0"
+  ]
+ ],
+ "vk_alphabeta_12": [
+  [
+   [
+    "2029413683389138792403550203267699914886160938906632433982220835551125967885",
+    "21072700047562757817161031222997517981543347628379360635925549008442030252106"
+   ],
+   [
+    "5940354580057074848093997050200682056184807770593307860589430076672439820312",
+    "12156638873931618554171829126792193045421052652279363021382169897324752428276"
+   ],
+   [
+    "7898200236362823042373859371574133993780991612861777490112507062703164551277",
+    "7074218545237549455313236346927434013100842096812539264420499035217050630853"
+   ]
+  ],
+  [
+   [
+    "7077479683546002997211712695946002074877511277312570035766170199895071832130",
+    "10093483419865920389913245021038182291233451549023025229112148274109565435465"
+   ],
+   [
+    "4595479056700221319381530156280926371456704509942304414423590385166031118820",
+    "19831328484489333784475432780421641293929726139240675179672856274388269393268"
+   ],
+   [
+    "11934129596455521040620786944827826205713621633706285934057045369193958244500",
+    "8037395052364110730298837004334506829870972346962140206007064471173334027475"
+   ]
+  ]
+ ],
+ "IC": [
+  [
+   "11919420103024546168896650006162652130022732573970705849225139177428442519914",
+   "17747753383929265689844293401689552935018333420134132157824903795680624926572",
+   "1"
+  ],
+  [
+   "13158415194355348546090070151711085027834066488127676886518524272551654481129",
+   "18831701962118195025265682681702066674741422770850028135520336928884612556978",
+   "1"
+  ],
+  [
+   "20882269691461568155321689204947751047717828445545223718893788782534717197527",
+   "11996193054822748526485644723594571195813487505803351159052936325857690315211",
+   "1"
+  ],
+  [
+   "18155166643053044822201627105588517913195535693446564472247126736722594445000",
+   "13816319482622393060406816684195314200198627617641073470088058848129378231754",
+   "1"
+  ]
+ ]
+}
\ No newline at end of file
diff --git a/verifier/networks/codex_devnet/zkey_hash.json b/verifier/networks/codex_devnet/zkey_hash.json
new file mode 100644
index 0000000..cd55e94
--- /dev/null
+++ b/verifier/networks/codex_devnet/zkey_hash.json
@@ -0,0 +1 @@
+"56b424f7a3f6d2082f6f371b108f15b035b887e6fc04cdc96d59707a51dc86cf"
diff --git a/verifier/networks/codex_testnet/proof_main.circom b/verifier/networks/codex_testnet/proof_main.circom
new file mode 100644
index 0000000..1018d4b
--- /dev/null
+++ b/verifier/networks/codex_testnet/proof_main.circom
@@ -0,0 +1,4 @@
+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_testnet/proof_main.r1cs b/verifier/networks/codex_testnet/proof_main.r1cs
new file mode 100644
index 0000000..8b58ffa
Binary files /dev/null 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
new file mode 100644
index 0000000..f908d4f
Binary files /dev/null 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
new file mode 100644
index 0000000..36eb448
Binary files /dev/null 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
new file mode 100644
index 0000000..4a38893
--- /dev/null
+++ b/verifier/networks/codex_testnet/proof_main_verification_key.json
@@ -0,0 +1,104 @@
+{
+ "protocol": "groth16",
+ "curve": "bn128",
+ "nPublic": 3,
+ "vk_alpha_1": [
+  "20491192805390485299153009773594534940189261866228447918068658471970481763042",
+  "9383485363053290200918347156157836566562967994039712273449902621266178545958",
+  "1"
+ ],
+ "vk_beta_2": [
+  [
+   "6375614351688725206403948262868962793625744043794305715222011528459656738731",
+   "4252822878758300859123897981450591353533073413197771768651442665752259397132"
+  ],
+  [
+   "10505242626370262277552901082094356697409835680220590971873171140371331206856",
+   "21847035105528745403288232691147584728191162732299865338377159692350059136679"
+  ],
+  [
+   "1",
+   "0"
+  ]
+ ],
+ "vk_gamma_2": [
+  [
+   "10857046999023057135944570762232829481370756359578518086990519993285655852781",
+   "11559732032986387107991004021392285783925812861821192530917403151452391805634"
+  ],
+  [
+   "8495653923123431417604973247489272438418190587263600148770280649306958101930",
+   "4082367875863433681332203403145435568316851327593401208105741076214120093531"
+  ],
+  [
+   "1",
+   "0"
+  ]
+ ],
+ "vk_delta_2": [
+  [
+   "8321720458379749666823386825227056127081924802669925431784739727378156677382",
+   "14141580529097791627231845981225524632168564751319587997467779923455725496079"
+  ],
+  [
+   "15024906427889277439289353579726244817293833564358393668604654171509717518421",
+   "13787451728104268002555014427964156203625399954344379526977581439804219111920"
+  ],
+  [
+   "1",
+   "0"
+  ]
+ ],
+ "vk_alphabeta_12": [
+  [
+   [
+    "2029413683389138792403550203267699914886160938906632433982220835551125967885",
+    "21072700047562757817161031222997517981543347628379360635925549008442030252106"
+   ],
+   [
+    "5940354580057074848093997050200682056184807770593307860589430076672439820312",
+    "12156638873931618554171829126792193045421052652279363021382169897324752428276"
+   ],
+   [
+    "7898200236362823042373859371574133993780991612861777490112507062703164551277",
+    "7074218545237549455313236346927434013100842096812539264420499035217050630853"
+   ]
+  ],
+  [
+   [
+    "7077479683546002997211712695946002074877511277312570035766170199895071832130",
+    "10093483419865920389913245021038182291233451549023025229112148274109565435465"
+   ],
+   [
+    "4595479056700221319381530156280926371456704509942304414423590385166031118820",
+    "19831328484489333784475432780421641293929726139240675179672856274388269393268"
+   ],
+   [
+    "11934129596455521040620786944827826205713621633706285934057045369193958244500",
+    "8037395052364110730298837004334506829870972346962140206007064471173334027475"
+   ]
+  ]
+ ],
+ "IC": [
+  [
+   "11919420103024546168896650006162652130022732573970705849225139177428442519914",
+   "17747753383929265689844293401689552935018333420134132157824903795680624926572",
+   "1"
+  ],
+  [
+   "13158415194355348546090070151711085027834066488127676886518524272551654481129",
+   "18831701962118195025265682681702066674741422770850028135520336928884612556978",
+   "1"
+  ],
+  [
+   "20882269691461568155321689204947751047717828445545223718893788782534717197527",
+   "11996193054822748526485644723594571195813487505803351159052936325857690315211",
+   "1"
+  ],
+  [
+   "18155166643053044822201627105588517913195535693446564472247126736722594445000",
+   "13816319482622393060406816684195314200198627617641073470088058848129378231754",
+   "1"
+  ]
+ ]
+}
\ No newline at end of file
diff --git a/verifier/networks/codex_testnet/zkey_hash.json b/verifier/networks/codex_testnet/zkey_hash.json
new file mode 100644
index 0000000..3228433
--- /dev/null
+++ b/verifier/networks/codex_testnet/zkey_hash.json
@@ -0,0 +1 @@
+"fc739a6f5962e7ac8b064b9396a400de4dd024de25c403331fa7143a9bc8f75d"