Kevin Jue
2 years ago
3 changed files with 31426 additions and 0 deletions
Unified View
Diff Options
-
+154 -0plonky2_verifier/data/dummy_2^14_gates/common_circuit_data.json
-
+31140 -0plonky2_verifier/data/dummy_2^14_gates/proof_with_public_inputs.json
-
+132 -0plonky2_verifier/data/dummy_2^14_gates/verifier_only_circuit_data.json
@ -0,0 +1,154 @@ |
|||||
|
{ |
||||
|
"config": { |
||||
|
"num_wires": 135, |
||||
|
"num_routed_wires": 80, |
||||
|
"num_constants": 2, |
||||
|
"use_base_arithmetic_gate": true, |
||||
|
"security_bits": 100, |
||||
|
"num_challenges": 2, |
||||
|
"zero_knowledge": false, |
||||
|
"max_quotient_degree_factor": 8, |
||||
|
"fri_config": { |
||||
|
"rate_bits": 3, |
||||
|
"cap_height": 4, |
||||
|
"proof_of_work_bits": 16, |
||||
|
"reduction_strategy": { |
||||
|
"ConstantArityBits": [ |
||||
|
4, |
||||
|
5 |
||||
|
] |
||||
|
}, |
||||
|
"num_query_rounds": 28 |
||||
|
} |
||||
|
}, |
||||
|
"fri_params": { |
||||
|
"config": { |
||||
|
"rate_bits": 3, |
||||
|
"cap_height": 4, |
||||
|
"proof_of_work_bits": 16, |
||||
|
"reduction_strategy": { |
||||
|
"ConstantArityBits": [ |
||||
|
4, |
||||
|
5 |
||||
|
] |
||||
|
}, |
||||
|
"num_query_rounds": 28 |
||||
|
}, |
||||
|
"hiding": false, |
||||
|
"degree_bits": 14, |
||||
|
"reduction_arity_bits": [ |
||||
|
4, |
||||
|
4, |
||||
|
4 |
||||
|
] |
||||
|
}, |
||||
|
"degree_bits": 14, |
||||
|
"selectors_info": { |
||||
|
"selector_indices": [ |
||||
|
0, |
||||
|
0, |
||||
|
0 |
||||
|
], |
||||
|
"groups": [ |
||||
|
{ |
||||
|
"start": 0, |
||||
|
"end": 3 |
||||
|
} |
||||
|
] |
||||
|
}, |
||||
|
"quotient_degree_factor": 8, |
||||
|
"num_gate_constraints": 4, |
||||
|
"num_constants": 3, |
||||
|
"num_public_inputs": 0, |
||||
|
"k_is": [ |
||||
|
1, |
||||
|
7, |
||||
|
49, |
||||
|
343, |
||||
|
2401, |
||||
|
16807, |
||||
|
117649, |
||||
|
823543, |
||||
|
5764801, |
||||
|
40353607, |
||||
|
282475249, |
||||
|
1977326743, |
||||
|
13841287201, |
||||
|
96889010407, |
||||
|
678223072849, |
||||
|
4747561509943, |
||||
|
33232930569601, |
||||
|
232630513987207, |
||||
|
1628413597910449, |
||||
|
11398895185373143, |
||||
|
79792266297612001, |
||||
|
558545864083284007, |
||||
|
3909821048582988049, |
||||
|
8922003270666332022, |
||||
|
7113790686420571191, |
||||
|
12903046666114829695, |
||||
|
16534350385145470581, |
||||
|
5059988279530788141, |
||||
|
16973173887300932666, |
||||
|
8131752794619022736, |
||||
|
1582037354089406189, |
||||
|
11074261478625843323, |
||||
|
3732854072722565977, |
||||
|
7683234439643377518, |
||||
|
16889152938674473984, |
||||
|
7543606154233811962, |
||||
|
15911754940807515092, |
||||
|
701820169165099718, |
||||
|
4912741184155698026, |
||||
|
15942444219675301861, |
||||
|
916645121239607101, |
||||
|
6416515848677249707, |
||||
|
8022122801911579307, |
||||
|
814627405137302186, |
||||
|
5702391835961115302, |
||||
|
3023254712898638472, |
||||
|
2716038920875884983, |
||||
|
565528376716610560, |
||||
|
3958698637016273920, |
||||
|
9264146389699333119, |
||||
|
9508792519651578870, |
||||
|
11221315429317299127, |
||||
|
4762231727562756605, |
||||
|
14888878023524711914, |
||||
|
11988425817600061793, |
||||
|
10132004445542095267, |
||||
|
15583798910550913906, |
||||
|
16852872026783475737, |
||||
|
7289639770996824233, |
||||
|
14133990258148600989, |
||||
|
6704211459967285318, |
||||
|
10035992080941828584, |
||||
|
14911712358349047125, |
||||
|
12148266161370408270, |
||||
|
11250886851934520606, |
||||
|
4969231685883306958, |
||||
|
16337877731768564385, |
||||
|
3684679705892444769, |
||||
|
7346013871832529062, |
||||
|
14528608963998534792, |
||||
|
9466542400916821939, |
||||
|
10925564598174000610, |
||||
|
2691975909559666986, |
||||
|
397087297503084581, |
||||
|
2779611082521592067, |
||||
|
1010533508236560148, |
||||
|
7073734557655921036, |
||||
|
12622653764762278610, |
||||
|
14571600075677612986, |
||||
|
9767480182670369297 |
||||
|
], |
||||
|
"num_partial_products": 9, |
||||
|
"circuit_digest": { |
||||
|
"elements": [ |
||||
|
11107954614887673792, |
||||
|
5898958973295202229, |
||||
|
3718435595035443112, |
||||
|
7817058028188834280 |
||||
|
] |
||||
|
} |
||||
|
} |
||||
+ 31140
- 0
plonky2_verifier/data/dummy_2^14_gates/proof_with_public_inputs.json
File diff suppressed because it is too large
View File
@ -0,0 +1,132 @@ |
|||||
|
{ |
||||
|
"constants_sigmas_cap": [ |
||||
|
{ |
||||
|
"elements": [ |
||||
|
4759797886241550041, |
||||
|
16047691004983234860, |
||||
|
9659762256552197216, |
||||
|
10112553966470275428 |
||||
|
] |
||||
|
}, |
||||
|
{ |
||||
|
"elements": [ |
||||
|
6580856520142680697, |
||||
|
17545262075403841780, |
||||
|
17375632104615520990, |
||||
|
7416977774732798943 |
||||
|
] |
||||
|
}, |
||||
|
{ |
||||
|
"elements": [ |
||||
|
16353512268073979322, |
||||
|
819827092644027799, |
||||
|
16690673607724368808, |
||||
|
15037968687422549712 |
||||
|
] |
||||
|
}, |
||||
|
{ |
||||
|
"elements": [ |
||||
|
8436504004905600346, |
||||
|
9803040091724299970, |
||||
|
13874489205559745161, |
||||
|
9113368467425613680 |
||||
|
] |
||||
|
}, |
||||
|
{ |
||||
|
"elements": [ |
||||
|
11091349953543466700, |
||||
|
16835828310505248580, |
||||
|
9401730018779004456, |
||||
|
16217511395210280637 |
||||
|
] |
||||
|
}, |
||||
|
{ |
||||
|
"elements": [ |
||||
|
14652613590798123935, |
||||
|
6513400524233583632, |
||||
|
14260635575060377802, |
||||
|
2934429662141013591 |
||||
|
] |
||||
|
}, |
||||
|
{ |
||||
|
"elements": [ |
||||
|
16079430466329685864, |
||||
|
15523825632000959289, |
||||
|
10929447713382773099, |
||||
|
13359117551990706652 |
||||
|
] |
||||
|
}, |
||||
|
{ |
||||
|
"elements": [ |
||||
|
3981642429220224195, |
||||
|
16563383270645026066, |
||||
|
11676626736400014113, |
||||
|
12391006943408842728 |
||||
|
] |
||||
|
}, |
||||
|
{ |
||||
|
"elements": [ |
||||
|
14534632951568236500, |
||||
|
6622950057448608217, |
||||
|
10317722778604321203, |
||||
|
16857091229989966532 |
||||
|
] |
||||
|
}, |
||||
|
{ |
||||
|
"elements": [ |
||||
|
1854667436830330051, |
||||
|
10698208885037992043, |
||||
|
8279000029256055765, |
||||
|
16473632613257578260 |
||||
|
] |
||||
|
}, |
||||
|
{ |
||||
|
"elements": [ |
||||
|
6112653519502862522, |
||||
|
16414985808267477185, |
||||
|
17212339018953338390, |
||||
|
2035088574051215606 |
||||
|
] |
||||
|
}, |
||||
|
{ |
||||
|
"elements": [ |
||||
|
283442216994125368, |
||||
|
5745335585396117672, |
||||
|
5374569058514548582, |
||||
|
10252700696576858963 |
||||
|
] |
||||
|
}, |
||||
|
{ |
||||
|
"elements": [ |
||||
|
9306370623805561429, |
||||
|
16251397047578608507, |
||||
|
14346837135739683212, |
||||
|
16134961398977435830 |
||||
|
] |
||||
|
}, |
||||
|
{ |
||||
|
"elements": [ |
||||
|
7908139687533230014, |
||||
|
868091850428391307, |
||||
|
17334379805830263268, |
||||
|
14344912333616841759 |
||||
|
] |
||||
|
}, |
||||
|
{ |
||||
|
"elements": [ |
||||
|
5694816422417791625, |
||||
|
1123655791248550867, |
||||
|
10759039854778271524, |
||||
|
14259550375971834217 |
||||
|
] |
||||
|
}, |
||||
|
{ |
||||
|
"elements": [ |
||||
|
8540856852870738366, |
||||
|
13653940430116418378, |
||||
|
12200920580995523853, |
||||
|
4531851613365767268 |
||||
|
] |
||||
|
} |
||||
|
] |
||||
|
} |
||||