diff --git a/deployments/.gitignore b/deployments/.gitignore index 2fbb50c..8bd5dde 100644 --- a/deployments/.gitignore +++ b/deployments/.gitignore @@ -1 +1,2 @@ localhost +codexdisttestnetwork diff --git a/verifier/networks/codexdisttestnetwork/example-proof/proof.json b/verifier/networks/codexdisttestnetwork/example-proof/proof.json new file mode 100644 index 0000000..658db38 --- /dev/null +++ b/verifier/networks/codexdisttestnetwork/example-proof/proof.json @@ -0,0 +1,28 @@ +{ + "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 new file mode 100644 index 0000000..f940cf5 --- /dev/null +++ b/verifier/networks/codexdisttestnetwork/example-proof/public.json @@ -0,0 +1,5 @@ +[ + "7900505169", + "16074246370508166450132968585287196391860062495017081813239200574579640171677", + "3" +] \ No newline at end of file diff --git a/verifier/networks/codexdisttestnetwork/proof_main.circom b/verifier/networks/codexdisttestnetwork/proof_main.circom new file mode 100644 index 0000000..1018d4b --- /dev/null +++ b/verifier/networks/codexdisttestnetwork/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/codexdisttestnetwork/proof_main.r1cs b/verifier/networks/codexdisttestnetwork/proof_main.r1cs new file mode 100644 index 0000000..a2b9c6b Binary files /dev/null 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 new file mode 100644 index 0000000..30fe6f0 Binary files /dev/null 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 new file mode 100644 index 0000000..999a12a Binary files /dev/null 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 new file mode 100644 index 0000000..ca3ba14 --- /dev/null +++ b/verifier/networks/codexdisttestnetwork/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": [ + [ + "4578669258553133618224979106346986262325948419503426505996395160253388664908", + "10132470551037312509961837440870531164121224422504663920277348760109015473998" + ], + [ + "8069866465439757454973212236286194865291070446394476557460723713256127493913", + "2681723118402925277266630830751001540802734304710615030506520892554435914985" + ], + [ + "1", + "0" + ] + ], + "vk_alphabeta_12": [ + [ + [ + "2029413683389138792403550203267699914886160938906632433982220835551125967885", + "21072700047562757817161031222997517981543347628379360635925549008442030252106" + ], + [ + "5940354580057074848093997050200682056184807770593307860589430076672439820312", + "12156638873931618554171829126792193045421052652279363021382169897324752428276" + ], + [ + "7898200236362823042373859371574133993780991612861777490112507062703164551277", + "7074218545237549455313236346927434013100842096812539264420499035217050630853" + ] + ], + [ + [ + "7077479683546002997211712695946002074877511277312570035766170199895071832130", + "10093483419865920389913245021038182291233451549023025229112148274109565435465" + ], + [ + "4595479056700221319381530156280926371456704509942304414423590385166031118820", + "19831328484489333784475432780421641293929726139240675179672856274388269393268" + ], + [ + "11934129596455521040620786944827826205713621633706285934057045369193958244500", + "8037395052364110730298837004334506829870972346962140206007064471173334027475" + ] + ] + ], + "IC": [ + [ + "2685717341061384289974985759706305556965509240536260442727245444252129889599", + "21827535600902499280458695057256182457185285685995970634461174274051979800815", + "1" + ], + [ + "13158415194355348546090070151711085027834066488127676886518524272551654481129", + "18831701962118195025265682681702066674741422770850028135520336928884612556978", + "1" + ], + [ + "20882269691461568155321689204947751047717828445545223718893788782534717197527", + "11996193054822748526485644723594571195813487505803351159052936325857690315211", + "1" + ], + [ + "18155166643053044822201627105588517913195535693446564472247126736722594445000", + "13816319482622393060406816684195314200198627617641073470088058848129378231754", + "1" + ] + ] +} \ No newline at end of file diff --git a/verifier/networks/codexdisttestnetwork/zkey_hash.json b/verifier/networks/codexdisttestnetwork/zkey_hash.json new file mode 100644 index 0000000..a0e342c --- /dev/null +++ b/verifier/networks/codexdisttestnetwork/zkey_hash.json @@ -0,0 +1 @@ +"4020e840e92ba362f696c6aa1a44404ed4015a7d083e25be6bac90f4cfb252e8"