codex-storage
/
codex-contracts-eth
mirror of https://github.com/codex-storage/codex-contracts-eth.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

verifier: circuit assets for a 5 sample storage proof

This commit is contained in:
Mark Spanbroek 2024-02-14 12:38:39 +01:00 committed by markspanbroek
parent 6c9f797f40
commit e5cb3bc571
8 changed files with 18 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
verifier/networks/hardhat/example-proof/proof.json
View File

@ -1,17 +1,17 @@
{ {
"pi_a": [ "pi_a": [
"7660723414354960115525441084999694570984078535773668898653309300593084455533", "5104431248736623370519553374516771872095910110619956763666417604456074137214",
"13530035710725348149248647938083875391713661082920395232005195032418705681044", "20505064944639384985820489446513619301600128728861446847869086396770400666826",
"1" "1"
], ],
"pi_b": [ "pi_b": [
[ [
"2901049701023582640714756481602042737261909502555520071221132529600598809861", "18285880412370822244720647515375411755860594525849010154019782487732338445269",
"16912924802763251099243304625254406414459294932221399417825327530544648619341" "8840281327869268115815759834487959719997094589596177012425532130107107263058"
], ],
[ [
"1466763974310418266645354657059454821840794309805321553635263869263906930810", "627881345129440538466184849843958904727613041498335953088745045157314517618",
"7919549687544999068783867201010060068898464272548283100322334851170181843674" "3831590517546908679048347140278910118873641913521371992789847417521460808273"
], ],
[ [
"1", "1",
@ -19,8 +19,8 @@
] ]
], ],
"pi_c": [ "pi_c": [
"16466626257875743363595172691363309940341494894360337991073652025213400816020", "11380322736323616205860142751468117480680448882297186164780244105230504530334",
"726868384379000975195472980386786614662718074766231997317916406216503344910", "8516258600594036719369039478415703245032057271739406522210619444152985039241",
"1" "1"
], ],
"protocol": "groth16", "protocol": "groth16",

2
verifier/networks/hardhat/example-proof/public.json
View File

@ -1,5 +1,5 @@
[ [
"7613683355", "7900505169",
"16074246370508166450132968585287196391860062495017081813239200574579640171677", "16074246370508166450132968585287196391860062495017081813239200574579640171677",
"3" "3"
] ]

4
verifier/networks/hardhat/proof_main.circom Normal file
View File

@ -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);

BIN
verifier/networks/hardhat/proof_main.r1cs Normal file
View File

Binary file not shown.

BIN
verifier/networks/hardhat/proof_main.wasm Normal file
View File

Binary file not shown.

BIN
verifier/networks/hardhat/proof_main.zkey Normal file
View File

Binary file not shown.

8
verifier/networks/hardhat/proof_main_verification_key.json
View File

@ -37,12 +37,12 @@
], ],
"vk_delta_2": [ "vk_delta_2": [
[ [
"7266368133833883232696069721567436218373292960862868097298822586114813920314", "4578669258553133618224979106346986262325948419503426505996395160253388664908",
"20179748680988515246787231619783022280905346903974148635767068251171792499335" "10132470551037312509961837440870531164121224422504663920277348760109015473998"
], ],
[ [
"11281139796322341653654563690864590481498751340552223660930514795611905053341", "8069866465439757454973212236286194865291070446394476557460723713256127493913",
"18865664978433701919673993490064453553613307046760943003771776295179590961997" "2681723118402925277266630830751001540802734304710615030506520892554435914985"
], ],
[ [
"1", "1",

2
verifier/networks/hardhat/zkey_hash.json
View File

@ -1 +1 @@
"74fe889808fa3024e008ca603841e2afeda36044b70a06173e38ab82e632cea0" "4020e840e92ba362f696c6aa1a44404ed4015a7d083e25be6bac90f4cfb252e8"