diff --git a/verifier/networks/codexdisttestnetwork/example-proof/proof.json b/verifier/networks/codexdisttestnetwork/example-proof/proof.json deleted file mode 100644 index 658db38..0000000 --- a/verifier/networks/codexdisttestnetwork/example-proof/proof.json +++ /dev/null @@ -1,28 +0,0 @@ -{ - "pi_a": [ - "5104431248736623370519553374516771872095910110619956763666417604456074137214", - "20505064944639384985820489446513619301600128728861446847869086396770400666826", - "1" - ], - "pi_b": [ - [ - "18285880412370822244720647515375411755860594525849010154019782487732338445269", - "8840281327869268115815759834487959719997094589596177012425532130107107263058" - ], - [ - "627881345129440538466184849843958904727613041498335953088745045157314517618", - "3831590517546908679048347140278910118873641913521371992789847417521460808273" - ], - [ - "1", - "0" - ] - ], - "pi_c": [ - "11380322736323616205860142751468117480680448882297186164780244105230504530334", - "8516258600594036719369039478415703245032057271739406522210619444152985039241", - "1" - ], - "protocol": "groth16", - "curve": "bn128" -} \ No newline at end of file diff --git a/verifier/networks/codexdisttestnetwork/example-proof/public.json b/verifier/networks/codexdisttestnetwork/example-proof/public.json deleted file mode 100644 index f940cf5..0000000 --- a/verifier/networks/codexdisttestnetwork/example-proof/public.json +++ /dev/null @@ -1,5 +0,0 @@ -[ - "7900505169", - "16074246370508166450132968585287196391860062495017081813239200574579640171677", - "3" -] \ No newline at end of file diff --git a/verifier/networks/codexdisttestnetwork/proof_main.r1cs b/verifier/networks/codexdisttestnetwork/proof_main.r1cs index a2b9c6b..ffdf186 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 30fe6f0..8f1f7d5 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 0020c43..c14082d 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 ca3ba14..c069860 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": [ [ - "4578669258553133618224979106346986262325948419503426505996395160253388664908", - "10132470551037312509961837440870531164121224422504663920277348760109015473998" + "5764591271213463628125115488873539503739267270287106492837676822782643009955", + "5685374668692701724845390877372544272462460633909155384415540779377394763678" ], [ - "8069866465439757454973212236286194865291070446394476557460723713256127493913", - "2681723118402925277266630830751001540802734304710615030506520892554435914985" + "20238836893710460363747704316473046607625384544475862589439508108488892845960", + "7099253506134542038427598067134491415964396855387093351840252385859885466240" ], [ "1", diff --git a/verifier/networks/codexdisttestnetwork/zkey_hash.json b/verifier/networks/codexdisttestnetwork/zkey_hash.json index ec81ec4..6aa46d1 100644 --- a/verifier/networks/codexdisttestnetwork/zkey_hash.json +++ b/verifier/networks/codexdisttestnetwork/zkey_hash.json @@ -1 +1 @@ -"825286c9cb03bda2b726b4e46b5be6d1000bb6cd9b73369a379b69f4b03156fd" +"7956357d82942107dc4c20236bbc70230a5c240336867d4f032e202f98ac065f"