diff --git a/verifier/networks/codexdisttestnetwork/proof_main.zkey b/verifier/networks/codexdisttestnetwork/proof_main.zkey
index e4b889e..5451ad0 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 cd7985d..5f995ae 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": [
   [
-   "7682265923001896650676525377134656444121120445978543179390470746048801540431",
-   "354855376895821585885325444935506424617223601077702240748979059056115657048"
+   "3431611495862121747865613070227194870328323956412989443038622984801922101560",
+   "1839332345901382467668376261123176838724068493614256702976446713083234015641"
   ],
   [
-   "12886694019570940318531625048020249182276730113542166522335400131154828689992",
-   "2290653530941817558384047285675259797026886170842545309253555256316468388720"
+   "4267694917739299737209021244200092851467599237028086467255985366439671917679",
+   "14005704598922119245150389324584568926199987543485693236347173598336567030859"
   ],
   [
    "1",
diff --git a/verifier/networks/codexdisttestnetwork/zkey_hash.json b/verifier/networks/codexdisttestnetwork/zkey_hash.json
index 00e63cb..c9a88f8 100644
--- a/verifier/networks/codexdisttestnetwork/zkey_hash.json
+++ b/verifier/networks/codexdisttestnetwork/zkey_hash.json
@@ -1 +1 @@
-"852bdc217fedf216ac9e85f9f9aa86964e4d66e8edfddc9a4cdf7c764990c857"
+"65dfa139e1c6dae5f50102cca2a856b759723c6ec6029343c2c6e926b855a6ca"
diff --git a/verifier/networks/hardhat/example-proof/proof.json b/verifier/networks/hardhat/example-proof/proof.json
index e9d781e..0d99b1f 100644
--- a/verifier/networks/hardhat/example-proof/proof.json
+++ b/verifier/networks/hardhat/example-proof/proof.json
@@ -1,17 +1,17 @@
 {
  "pi_a": [
-  "12518843310202939232030365905826150653213718020774899427109294185529160070720",
-  "15056894325600419591355179702051048630487932087193133871422181866464733554272",
+  "6534256117371673392078914918983405561950705741555607896616281548993166767050",
+  "4683704071819826577549511087725295557628226569657977399743888281350488008160",
   "1"
  ],
  "pi_b": [
   [
-   "4512628601903797091775645920249291606200917546593544402407365462429043293099",
-   "10342142957905552733404854276039233874932863396849624733128139834487136746501"
+   "5214601005301447749408976517903523691026761713935248596363525026084207179898",
+   "12928862018496028019248584699701543976607635004280021323367162829172676142063"
   ],
   [
-   "14324997294502451976464725974695565824139497319582023002517239002688768499198",
-   "11598851783165683330922196688073545583687226645458747512142479591757168714933"
+   "6802359022534661924490571652741723715650845080843101596088257121470226373081",
+   "13026065833109947056007317243769626467054545801812125911606045634450472294131"
   ],
   [
    "1",
@@ -19,8 +19,8 @@
   ]
  ],
  "pi_c": [
-  "3307883025709066758526758673214233992866855501550665612685455019634424693653",
-  "5471801989234249135764930703364253868224821107391094550982519507873918496118",
+  "4064922718155280187684708354118623661512911161238889435233679092743470899962",
+  "16109406845320108508342512724551388830826795687369147885401665396548555026064",
   "1"
  ],
  "protocol": "groth16",
diff --git a/verifier/networks/hardhat/example-proof/public.json b/verifier/networks/hardhat/example-proof/public.json
index 8d1b8d3..36b2e34 100644
--- a/verifier/networks/hardhat/example-proof/public.json
+++ b/verifier/networks/hardhat/example-proof/public.json
@@ -1,5 +1,5 @@
 [
- "9906695917",
+ "10941033813",
  "16074246370508166450132968585287196391860062495017081813239200574579640171677",
  "3"
-]
+]
\ No newline at end of file
diff --git a/verifier/networks/hardhat/proof_main.zkey b/verifier/networks/hardhat/proof_main.zkey
index e4b889e..5451ad0 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 cd7985d..5f995ae 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": [
   [
-   "7682265923001896650676525377134656444121120445978543179390470746048801540431",
-   "354855376895821585885325444935506424617223601077702240748979059056115657048"
+   "3431611495862121747865613070227194870328323956412989443038622984801922101560",
+   "1839332345901382467668376261123176838724068493614256702976446713083234015641"
   ],
   [
-   "12886694019570940318531625048020249182276730113542166522335400131154828689992",
-   "2290653530941817558384047285675259797026886170842545309253555256316468388720"
+   "4267694917739299737209021244200092851467599237028086467255985366439671917679",
+   "14005704598922119245150389324584568926199987543485693236347173598336567030859"
   ],
   [
    "1",
diff --git a/verifier/networks/hardhat/zkey_hash.json b/verifier/networks/hardhat/zkey_hash.json
index 00e63cb..c9a88f8 100644
--- a/verifier/networks/hardhat/zkey_hash.json
+++ b/verifier/networks/hardhat/zkey_hash.json
@@ -1 +1 @@
-"852bdc217fedf216ac9e85f9f9aa86964e4d66e8edfddc9a4cdf7c764990c857"
+"65dfa139e1c6dae5f50102cca2a856b759723c6ec6029343c2c6e926b855a6ca"