diff --git a/verifier/networks/codexdisttestnetwork b/verifier/networks/codexdisttestnetwork new file mode 120000 index 0000000..9b1c223 --- /dev/null +++ b/verifier/networks/codexdisttestnetwork @@ -0,0 +1 @@ +codex_testnet \ No newline at end of file diff --git a/verifier/networks/codexdisttestnetwork/proof_main.circom b/verifier/networks/codexdisttestnetwork/proof_main.circom deleted file mode 100644 index 1018d4b..0000000 --- a/verifier/networks/codexdisttestnetwork/proof_main.circom +++ /dev/null @@ -1,4 +0,0 @@ -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 deleted file mode 100644 index 8b58ffa..0000000 Binary files a/verifier/networks/codexdisttestnetwork/proof_main.r1cs and /dev/null differ diff --git a/verifier/networks/codexdisttestnetwork/proof_main.wasm b/verifier/networks/codexdisttestnetwork/proof_main.wasm deleted file mode 100644 index f908d4f..0000000 Binary files a/verifier/networks/codexdisttestnetwork/proof_main.wasm and /dev/null differ diff --git a/verifier/networks/codexdisttestnetwork/proof_main.zkey b/verifier/networks/codexdisttestnetwork/proof_main.zkey deleted file mode 100644 index 5451ad0..0000000 Binary files a/verifier/networks/codexdisttestnetwork/proof_main.zkey and /dev/null differ diff --git a/verifier/networks/codexdisttestnetwork/proof_main_verification_key.json b/verifier/networks/codexdisttestnetwork/proof_main_verification_key.json deleted file mode 100644 index 5f995ae..0000000 --- a/verifier/networks/codexdisttestnetwork/proof_main_verification_key.json +++ /dev/null @@ -1,104 +0,0 @@ -{ - "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": [ - [ - "3431611495862121747865613070227194870328323956412989443038622984801922101560", - "1839332345901382467668376261123176838724068493614256702976446713083234015641" - ], - [ - "4267694917739299737209021244200092851467599237028086467255985366439671917679", - "14005704598922119245150389324584568926199987543485693236347173598336567030859" - ], - [ - "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/codexdisttestnetwork/zkey_hash.json b/verifier/networks/codexdisttestnetwork/zkey_hash.json deleted file mode 100644 index c9a88f8..0000000 --- a/verifier/networks/codexdisttestnetwork/zkey_hash.json +++ /dev/null @@ -1 +0,0 @@ -"65dfa139e1c6dae5f50102cca2a856b759723c6ec6029343c2c6e926b855a6ca"