diff --git a/verifier/networks/codexdisttestnetwork/proof_main.r1cs b/verifier/networks/codexdisttestnetwork/proof_main.r1cs
index ffdf186..8b58ffa 100644
Binary files a/verifier/networks/codexdisttestnetwork/proof_main.r1cs and b/verifier/networks/codexdisttestnetwork/proof_main.r1cs differ
diff --git a/verifier/networks/codexdisttestnetwork/proof_main.wasm b/verifier/networks/codexdisttestnetwork/proof_main.wasm
index 8f1f7d5..f908d4f 100644
Binary files a/verifier/networks/codexdisttestnetwork/proof_main.wasm and b/verifier/networks/codexdisttestnetwork/proof_main.wasm differ
diff --git a/verifier/networks/codexdisttestnetwork/proof_main.zkey b/verifier/networks/codexdisttestnetwork/proof_main.zkey
index c14082d..e4b889e 100644
Binary files a/verifier/networks/codexdisttestnetwork/proof_main.zkey and b/verifier/networks/codexdisttestnetwork/proof_main.zkey differ
diff --git a/verifier/networks/codexdisttestnetwork/proof_main_verification_key.json b/verifier/networks/codexdisttestnetwork/proof_main_verification_key.json
index c069860..cd7985d 100644
--- a/verifier/networks/codexdisttestnetwork/proof_main_verification_key.json
+++ b/verifier/networks/codexdisttestnetwork/proof_main_verification_key.json
@@ -37,12 +37,12 @@
  ],
  "vk_delta_2": [
   [
-   "5764591271213463628125115488873539503739267270287106492837676822782643009955",
-   "5685374668692701724845390877372544272462460633909155384415540779377394763678"
+   "7682265923001896650676525377134656444121120445978543179390470746048801540431",
+   "354855376895821585885325444935506424617223601077702240748979059056115657048"
   ],
   [
-   "20238836893710460363747704316473046607625384544475862589439508108488892845960",
-   "7099253506134542038427598067134491415964396855387093351840252385859885466240"
+   "12886694019570940318531625048020249182276730113542166522335400131154828689992",
+   "2290653530941817558384047285675259797026886170842545309253555256316468388720"
   ],
   [
    "1",
@@ -81,8 +81,8 @@
  ],
  "IC": [
   [
-   "2685717341061384289974985759706305556965509240536260442727245444252129889599",
-   "21827535600902499280458695057256182457185285685995970634461174274051979800815",
+   "11919420103024546168896650006162652130022732573970705849225139177428442519914",
+   "17747753383929265689844293401689552935018333420134132157824903795680624926572",
    "1"
   ],
   [
diff --git a/verifier/networks/codexdisttestnetwork/zkey_hash.json b/verifier/networks/codexdisttestnetwork/zkey_hash.json
index 6aa46d1..00e63cb 100644
--- a/verifier/networks/codexdisttestnetwork/zkey_hash.json
+++ b/verifier/networks/codexdisttestnetwork/zkey_hash.json
@@ -1 +1 @@
-"7956357d82942107dc4c20236bbc70230a5c240336867d4f032e202f98ac065f"
+"852bdc217fedf216ac9e85f9f9aa86964e4d66e8edfddc9a4cdf7c764990c857"
diff --git a/verifier/networks/hardhat/example-proof/proof.json b/verifier/networks/hardhat/example-proof/proof.json
index 658db38..e9d781e 100644
--- a/verifier/networks/hardhat/example-proof/proof.json
+++ b/verifier/networks/hardhat/example-proof/proof.json
@@ -1,17 +1,17 @@
 {
  "pi_a": [
-  "5104431248736623370519553374516771872095910110619956763666417604456074137214",
-  "20505064944639384985820489446513619301600128728861446847869086396770400666826",
+  "12518843310202939232030365905826150653213718020774899427109294185529160070720",
+  "15056894325600419591355179702051048630487932087193133871422181866464733554272",
   "1"
  ],
  "pi_b": [
   [
-   "18285880412370822244720647515375411755860594525849010154019782487732338445269",
-   "8840281327869268115815759834487959719997094589596177012425532130107107263058"
+   "4512628601903797091775645920249291606200917546593544402407365462429043293099",
+   "10342142957905552733404854276039233874932863396849624733128139834487136746501"
   ],
   [
-   "627881345129440538466184849843958904727613041498335953088745045157314517618",
-   "3831590517546908679048347140278910118873641913521371992789847417521460808273"
+   "14324997294502451976464725974695565824139497319582023002517239002688768499198",
+   "11598851783165683330922196688073545583687226645458747512142479591757168714933"
   ],
   [
    "1",
@@ -19,8 +19,8 @@
   ]
  ],
  "pi_c": [
-  "11380322736323616205860142751468117480680448882297186164780244105230504530334",
-  "8516258600594036719369039478415703245032057271739406522210619444152985039241",
+  "3307883025709066758526758673214233992866855501550665612685455019634424693653",
+  "5471801989234249135764930703364253868224821107391094550982519507873918496118",
   "1"
  ],
  "protocol": "groth16",
diff --git a/verifier/networks/hardhat/example-proof/public.json b/verifier/networks/hardhat/example-proof/public.json
index f940cf5..8d1b8d3 100644
--- a/verifier/networks/hardhat/example-proof/public.json
+++ b/verifier/networks/hardhat/example-proof/public.json
@@ -1,5 +1,5 @@
 [
- "7900505169",
+ "9906695917",
  "16074246370508166450132968585287196391860062495017081813239200574579640171677",
  "3"
-]
\ No newline at end of file
+]
diff --git a/verifier/networks/hardhat/proof_main.r1cs b/verifier/networks/hardhat/proof_main.r1cs
index a2b9c6b..8b58ffa 100644
Binary files a/verifier/networks/hardhat/proof_main.r1cs and b/verifier/networks/hardhat/proof_main.r1cs differ
diff --git a/verifier/networks/hardhat/proof_main.wasm b/verifier/networks/hardhat/proof_main.wasm
index 30fe6f0..f908d4f 100644
Binary files a/verifier/networks/hardhat/proof_main.wasm and b/verifier/networks/hardhat/proof_main.wasm differ
diff --git a/verifier/networks/hardhat/proof_main.zkey b/verifier/networks/hardhat/proof_main.zkey
index 999a12a..e4b889e 100644
Binary files a/verifier/networks/hardhat/proof_main.zkey and b/verifier/networks/hardhat/proof_main.zkey differ
diff --git a/verifier/networks/hardhat/proof_main_verification_key.json b/verifier/networks/hardhat/proof_main_verification_key.json
index ca3ba14..cd7985d 100644
--- a/verifier/networks/hardhat/proof_main_verification_key.json
+++ b/verifier/networks/hardhat/proof_main_verification_key.json
@@ -37,12 +37,12 @@
  ],
  "vk_delta_2": [
   [
-   "4578669258553133618224979106346986262325948419503426505996395160253388664908",
-   "10132470551037312509961837440870531164121224422504663920277348760109015473998"
+   "7682265923001896650676525377134656444121120445978543179390470746048801540431",
+   "354855376895821585885325444935506424617223601077702240748979059056115657048"
   ],
   [
-   "8069866465439757454973212236286194865291070446394476557460723713256127493913",
-   "2681723118402925277266630830751001540802734304710615030506520892554435914985"
+   "12886694019570940318531625048020249182276730113542166522335400131154828689992",
+   "2290653530941817558384047285675259797026886170842545309253555256316468388720"
   ],
   [
    "1",
@@ -81,8 +81,8 @@
  ],
  "IC": [
   [
-   "2685717341061384289974985759706305556965509240536260442727245444252129889599",
-   "21827535600902499280458695057256182457185285685995970634461174274051979800815",
+   "11919420103024546168896650006162652130022732573970705849225139177428442519914",
+   "17747753383929265689844293401689552935018333420134132157824903795680624926572",
    "1"
   ],
   [
diff --git a/verifier/networks/hardhat/zkey_hash.json b/verifier/networks/hardhat/zkey_hash.json
index a0e342c..00e63cb 100644
--- a/verifier/networks/hardhat/zkey_hash.json
+++ b/verifier/networks/hardhat/zkey_hash.json
@@ -1 +1 @@
-"4020e840e92ba362f696c6aa1a44404ed4015a7d083e25be6bac90f4cfb252e8"
+"852bdc217fedf216ac9e85f9f9aa86964e4d66e8edfddc9a4cdf7c764990c857"