mirror of
https://github.com/logos-storage/gnark-plonky2-verifier.git
synced 2026-01-02 05:03:05 +00:00
change the testdata to plonky2 v1.0.2 output
This commit is contained in:
M Alghazwi
parent
ec39e03b10
commit
b5eec1d2c9
@ -304,8 +304,8 @@ func groth16Proof(r1cs constraint.ConstraintSystem, circuitName string, dummy bo
|
||||
}
|
||||
|
||||
func main() {
|
||||
plonky2Circuit := flag.String("plonky2-circuit", "step", "plonky2 circuit to benchmark")
|
||||
proofSystem := flag.String("proof-system", "plonk", "proof system to benchmark")
|
||||
plonky2Circuit := flag.String("plonky2-circuit", "dummy", "plonky2 circuit to benchmark")
|
||||
proofSystem := flag.String("proof-system", "groth16", "proof system to benchmark")
|
||||
profileCircuit := flag.Bool("profile", true, "profile the circuit")
|
||||
dummySetup := flag.Bool("dummy", true, "use dummy setup")
|
||||
saveArtifacts := flag.Bool("save", false, "save circuit artifacts")
|
||||
|
||||
177
testdata/decode_block/common_circuit_data.json
vendored
177
testdata/decode_block/common_circuit_data.json
vendored
@ -1,177 +0,0 @@
|
||||
{
|
||||
"config": {
|
||||
"num_wires": 136,
|
||||
"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": 12,
|
||||
"reduction_arity_bits": [
|
||||
4,
|
||||
4
|
||||
]
|
||||
},
|
||||
"gates": [
|
||||
"NoopGate",
|
||||
"ConstantGate { num_consts: 2 }",
|
||||
"PoseidonMdsGate(PhantomData<plonky2_field::goldilocks_field::GoldilocksField>)<WIDTH=12>",
|
||||
"PublicInputGate",
|
||||
"BaseSumGate { num_limbs: 63 } + Base: 2",
|
||||
"ReducingExtensionGate { num_coeffs: 33 }",
|
||||
"ReducingGate { num_coeffs: 44 }",
|
||||
"ArithmeticExtensionGate { num_ops: 10 }",
|
||||
"ArithmeticGate { num_ops: 20 }",
|
||||
"MulExtensionGate { num_ops: 13 }",
|
||||
"RandomAccessGate { bits: 4, num_copies: 4, num_extra_constants: 2, _phantom: PhantomData<plonky2_field::goldilocks_field::GoldilocksField> }<D=2>",
|
||||
"CosetInterpolationGate { subgroup_bits: 4, degree: 6, barycentric_weights: [17293822565076172801, 18374686475376656385, 18446744069413535745, 281474976645120, 17592186044416, 18446744069414584577, 18446744000695107601, 18446744065119617025, 1152921504338411520, 72057594037927936, 18446744069415632897, 18446462594437939201, 18446726477228539905, 18446744069414584065, 68719476720, 4294967296], _phantom: PhantomData<plonky2_field::goldilocks_field::GoldilocksField> }<D=2>",
|
||||
"PoseidonGate(PhantomData<plonky2_field::goldilocks_field::GoldilocksField>)<WIDTH=12>"
|
||||
],
|
||||
"selectors_info": {
|
||||
"selector_indices": [
|
||||
0,
|
||||
0,
|
||||
0,
|
||||
0,
|
||||
0,
|
||||
0,
|
||||
0,
|
||||
1,
|
||||
1,
|
||||
1,
|
||||
1,
|
||||
2,
|
||||
2
|
||||
],
|
||||
"groups": [
|
||||
{
|
||||
"start": 0,
|
||||
"end": 7
|
||||
},
|
||||
{
|
||||
"start": 7,
|
||||
"end": 11
|
||||
},
|
||||
{
|
||||
"start": 11,
|
||||
"end": 13
|
||||
}
|
||||
]
|
||||
},
|
||||
"quotient_degree_factor": 8,
|
||||
"num_gate_constraints": 123,
|
||||
"num_constants": 5,
|
||||
"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
|
||||
}
|
||||
15082
testdata/decode_block/proof_with_public_inputs.json
vendored
15082
testdata/decode_block/proof_with_public_inputs.json
vendored
File diff suppressed because it is too large
Load Diff
@ -1,21 +0,0 @@
|
||||
{
|
||||
"constants_sigmas_cap": [
|
||||
"1499622638644728537774239858053278546400257982434845489329927574295172033326",
|
||||
"2930852415723089264561622935088329191815636786066772202039928107654951266023",
|
||||
"14464526654918087476596183134411486973966295253353738267325575394304709517161",
|
||||
"18983137502540745159803953284357786408225887846069384394220291955925143226141",
|
||||
"1386895482273961356932873002155159178542488359092693049720219479086930861707",
|
||||
"14771237880407068338879830535366644743003305760875598132537125639168034999022",
|
||||
"19702788661528474550894036146582137462836271070153286539426392895353557950694",
|
||||
"15334727368281990897779779337943379898609200739305205677598255362701124565320",
|
||||
"21691768748620820719274018448050849816536829760110881140528389629789448704790",
|
||||
"15262009449532190852183220678787716636953257578372619913911054925901367503449",
|
||||
"18166082909492900359627895435428332272663141560067836935272838076830554017630",
|
||||
"10686995103794494099325675278866631156892436169286799401423857508483307145846",
|
||||
"7660138004813546044706396059680360544539623731113711012915164533145284575301",
|
||||
"1616448650742704848585620443874003913130079345238283349517269437117477195625",
|
||||
"5734773590975050772666682899969130545487941904460247131732227238307211841652",
|
||||
"11959183492303708131395376843823862107323459381741154704909455973421596288592"
|
||||
],
|
||||
"circuit_digest": "11532502846882484230992726008257788785937565673229400981185786126842727172973"
|
||||
}
|
||||
1
testdata/dummy/common_circuit_data.json
vendored
Normal file
1
testdata/dummy/common_circuit_data.json
vendored
Normal file
@ -0,0 +1 @@
|
||||
{"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":11,"reduction_arity_bits":[4,4]},"gates":["NoopGate","ConstantGate { num_consts: 2 }","PoseidonMdsGate(PhantomData<plonky2_field::goldilocks_field::GoldilocksField>)<WIDTH=12>","PublicInputGate","BaseSumGate { num_limbs: 63 } + Base: 2","ReducingExtensionGate { num_coeffs: 32 }","ReducingGate { num_coeffs: 43 }","ArithmeticExtensionGate { num_ops: 10 }","ArithmeticGate { num_ops: 20 }","MulExtensionGate { num_ops: 13 }","RandomAccessGate { bits: 4, num_copies: 4, num_extra_constants: 2, _phantom: PhantomData<plonky2_field::goldilocks_field::GoldilocksField> }<D=2>","PoseidonGate(PhantomData<plonky2_field::goldilocks_field::GoldilocksField>)<WIDTH=12>"],"selectors_info":{"selector_indices":[0,0,0,0,0,0,0,1,1,1,1,2],"groups":[{"start":0,"end":7},{"start":7,"end":11},{"start":11,"end":12}]},"quotient_degree_factor":8,"num_gate_constraints":123,"num_constants":5,"num_public_inputs":3,"k_is":[1,14293326489335486720,4700049436776250445,3541557213422017946,18196947516708736925,15817657382918473249,13907817722130613464,10952810625341944941,6203009912824666656,3300053643433736875,6744005316595460895,15739729861593455007,261242591546957104,15971894691377196519,16201670926897260089,8415742645426514154,11796957557555108937,16294407261451109534,5598800393413128961,15563455834725815206,1764867128134410509,7162174829468034425,3755871071604584538,4342271783305288164,12880969007487790240,10677306222450711949,6504175050764636243,5111390403385516632,13022173847108028602,13993386182188331211,17852688572278391749,13748656795736045903,1633629184600895140,4529011729897082393,4906629816328734350,12354457273844909068,11030994060168315240,5132927100884704451,1903334112240650810,11300350282455140548,12947495166068534688,7280050037032595918,2325750220496619057,9863469300860708700,5927058137232203163,18296775548535963806,16027760200278862284,3198226309374699824,17159143107915980371,4742102661775960192,5942453867077433164,12359909013026785218,12296487080408661428,14401603032726340600,18340875264408803468,8906999085452790476,11753455510941625388,3159781736502437645,3690235712498808163,16869124931580068791,7948505852798141842,4267625380418386787,10384476522904372165,8329181427250703158,4330207543506945610,833510845038654548,8836109905071273552,17461172238536664200,7507668114706621706,10436382014321953781,8399564173061725609,5202025295353182265,7131181789704110196,2721005760266608278,16098153662796521606,2994147549514928958,2352027076596130080,11017795050405368910,10381049954328279003,3834749477258943827],"num_partial_products":9,"num_lookup_polys":0,"num_lookup_selectors":0,"luts":[]}
|
||||
1
testdata/dummy/proof_with_public_inputs.json
vendored
Normal file
1
testdata/dummy/proof_with_public_inputs.json
vendored
Normal file
File diff suppressed because one or more lines are too long
1
testdata/dummy/verifier_only_circuit_data.json
vendored
Normal file
1
testdata/dummy/verifier_only_circuit_data.json
vendored
Normal file
@ -0,0 +1 @@
|
||||
{"constants_sigmas_cap":["3860843344312357158629162235696507333724655140520047374410709542079942661449","11059275859379882385198542655553771596758733622131948714280002458318411971968","13932860775123048924282444895054133302030914512710287154901830116399081782095","12235866858084303863190979273488001538484919460938849648570638209640356860994","13311458094206048824270186806857871826615866511838728084268513512054371726092","21516907149586609430174018465063037990154472766278707173910165755312953625841","12581227743917758092987158814317447583402551825562423060076728599869474088832","19824905645972422700366296038955761619344054155038388748683108788180322079402","17761586161853949567683247480661828923520427518333341188670689544167726041111","15236056691195692818954727613543799525866401499970092666747842772203320578205","1135391502606579346937503302827236285954671119740130132463037527053707572155","14963561062760353287825407212867495391369201237377858522382244386241234351797","9184090315024407717617456668851098589252413203544747864280777716905449088830","13874990004190821165615096476634764705627668718578342178360710219932196693355","19695069180067444826219598133482860893718829150651381979041730465932254679567","14175687768011232455245695325744714907909584255230055555569522806817601752638"],"circuit_digest":"4150816487958351387716953124848926237482315252503823641816597524258333367110"}
|
||||
181
testdata/step/common_circuit_data.json
vendored
181
testdata/step/common_circuit_data.json
vendored
@ -1,181 +0,0 @@
|
||||
{
|
||||
"config": {
|
||||
"num_wires": 136,
|
||||
"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": 13,
|
||||
"reduction_arity_bits": [
|
||||
4,
|
||||
4
|
||||
]
|
||||
},
|
||||
"gates": [
|
||||
"NoopGate",
|
||||
"PoseidonMdsGate(PhantomData<plonky2_field::goldilocks_field::GoldilocksField>)<WIDTH=12>",
|
||||
"PublicInputGate",
|
||||
"BaseSumGate { num_limbs: 63 } + Base: 2",
|
||||
"ReducingExtensionGate { num_coeffs: 33 }",
|
||||
"ReducingGate { num_coeffs: 44 }",
|
||||
"ArithmeticExtensionGate { num_ops: 10 }",
|
||||
"ArithmeticGate { num_ops: 20 }",
|
||||
"MulExtensionGate { num_ops: 13 }",
|
||||
"ExponentiationGate { num_power_bits: 67, _phantom: PhantomData<plonky2_field::goldilocks_field::GoldilocksField> }<D=2>",
|
||||
"RandomAccessGate { bits: 4, num_copies: 4, num_extra_constants: 2, _phantom: PhantomData<plonky2_field::goldilocks_field::GoldilocksField> }<D=2>",
|
||||
"CosetInterpolationGate { subgroup_bits: 4, degree: 6, barycentric_weights: [17293822565076172801, 18374686475376656385, 18446744069413535745, 281474976645120, 17592186044416, 18446744069414584577, 18446744000695107601, 18446744065119617025, 1152921504338411520, 72057594037927936, 18446744069415632897, 18446462594437939201, 18446726477228539905, 18446744069414584065, 68719476720, 4294967296], _phantom: PhantomData<plonky2_field::goldilocks_field::GoldilocksField> }<D=2>",
|
||||
"PoseidonGate(PhantomData<plonky2_field::goldilocks_field::GoldilocksField>)<WIDTH=12>"
|
||||
],
|
||||
"selectors_info": {
|
||||
"selector_indices": [
|
||||
0,
|
||||
0,
|
||||
0,
|
||||
0,
|
||||
0,
|
||||
0,
|
||||
1,
|
||||
1,
|
||||
1,
|
||||
1,
|
||||
2,
|
||||
2,
|
||||
3
|
||||
],
|
||||
"groups": [
|
||||
{
|
||||
"start": 0,
|
||||
"end": 6
|
||||
},
|
||||
{
|
||||
"start": 6,
|
||||
"end": 10
|
||||
},
|
||||
{
|
||||
"start": 10,
|
||||
"end": 12
|
||||
},
|
||||
{
|
||||
"start": 12,
|
||||
"end": 13
|
||||
}
|
||||
]
|
||||
},
|
||||
"quotient_degree_factor": 8,
|
||||
"num_gate_constraints": 123,
|
||||
"num_constants": 6,
|
||||
"num_public_inputs": 36,
|
||||
"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
|
||||
}
|
||||
15383
testdata/step/proof_with_public_inputs.json
vendored
15383
testdata/step/proof_with_public_inputs.json
vendored
File diff suppressed because it is too large
Load Diff
21
testdata/step/verifier_only_circuit_data.json
vendored
21
testdata/step/verifier_only_circuit_data.json
vendored
@ -1,21 +0,0 @@
|
||||
{
|
||||
"constants_sigmas_cap": [
|
||||
"4888357664296095718815758214440529393197762742365942012680717414927848556250",
|
||||
"2209889448564462812608523791037999221131777281114110816711594808561629780010",
|
||||
"4783027344594415431544036887584741450494432097097254847851160629277658732206",
|
||||
"4025442984048235715703510356530005233167222504995885323997325327626847831042",
|
||||
"7679520709262245108039166177805990311158829589366423240361001467027112647002",
|
||||
"259363173405031877757571220908459576335668352861939433815090635029846220068",
|
||||
"9880831542852849450717059869965520165948874814070335576566589765688426595600",
|
||||
"19609124362176622223995417422711340578268398995610264736162079735652393008400",
|
||||
"18373537388333609703859974831390403366607123416158043829042438107680621738551",
|
||||
"17536955898347982953188585924984008856280005516232467427210505109184726402603",
|
||||
"20695699955262630796033618899800264428111620406754391130684131882592523541095",
|
||||
"20425708078899059362884835312568041888084734960481059866199231046085670179583",
|
||||
"21697157774348170912700991744618658990139755973310165730160978582032237849079",
|
||||
"7191613656222346675951718107316884243893764070036349498195400843757810414364",
|
||||
"1499065111965288526081286015186615004571723160296680783059214594047760640474",
|
||||
"5981619154302533357157777495393724169720902362468159062002824290823005959648"
|
||||
],
|
||||
"circuit_digest": "9263530673647634796487329488695915977644330282170255272053971232639965244017"
|
||||
}
|
||||
Loading…
x
Reference in New Issue
Block a user