gnark-plonky2-verifier/plonky2_verifier/data/recursive/common_circuit_data.json
plonky2_verifier/data/recursive/common_circuit_data.jsonRaw
1{
2 "config": {
3 "num_wires": 135,
4 "num_routed_wires": 80,
5 "num_constants": 2,
6 "use_base_arithmetic_gate": true,
7 "security_bits": 100,
8 "num_challenges": 2,
9 "zero_knowledge": false,
10 "max_quotient_degree_factor": 8,
11 "fri_config": {
12 "rate_bits": 3,
13 "cap_height": 4,
14 "proof_of_work_bits": 16,
15 "reduction_strategy": {
16 "ConstantArityBits": [
17 4,
18 5
19 ]
20 },
21 "num_query_rounds": 28
22 }
23 },
24 "fri_params": {
25 "config": {
26 "rate_bits": 3,
27 "cap_height": 4,
28 "proof_of_work_bits": 16,
29 "reduction_strategy": {
30 "ConstantArityBits": [
31 4,
32 5
33 ]
34 },
35 "num_query_rounds": 28
36 },
37 "hiding": false,
38 "degree_bits": 12,
39 "reduction_arity_bits": [
40 4,
41 4
42 ]
43 },
44 "gates": [
45 "NoopGate",
46 "PublicInputGate",
47 "BaseSumGate { num_limbs: 63 } + Base: 2",
48 "ReducingExtensionGate { num_coeffs: 32 }",
49 "ReducingGate { num_coeffs: 43 }",
50 "ArithmeticExtensionGate { num_ops: 10 }",
51 "ArithmeticGate { num_ops: 20 }",
52 "MulExtensionGate { num_ops: 13 }",
53 "RandomAccessGate { bits: 4, num_copies: 4, num_extra_constants: 2, _phantom: PhantomData<plonky2_field::goldilocks_field::GoldilocksField> }<D=2>",
54 "CosetInterpolationGate { subgroup_bits: 4, degree: 6, barycentric_weights: [17293822565076172801, 18374686475376656385, 18446744069413535745, 281474976645120, 17592186044416, 256, 18446744000695107601, 18446744065119617025, 1152921504338411520, 72057594037927936, 1048576, 18446462594437939201, 18446726477228539905, 18446744069414584065, 68719476720, 4294967296], _phantom: PhantomData<plonky2_field::goldilocks_field::GoldilocksField> }<D=2>",
55 "PoseidonGate(PhantomData<plonky2_field::goldilocks_field::GoldilocksField>)<WIDTH=12>"
56 ],
57 "selectors_info": {
58 "selector_indices": [
59 0,
60 0,
61 0,
62 0,
63 0,
64 0,
65 1,
66 1,
67 1,
68 2,
69 2
70 ],
71 "groups": [
72 {
73 "start": 0,
74 "end": 6
75 },
76 {
77 "start": 6,
78 "end": 9
79 },
80 {
81 "start": 9,
82 "end": 11
83 }
84 ]
85 },
86 "quotient_degree_factor": 8,
87 "num_gate_constraints": 123,
88 "num_constants": 5,
89 "num_public_inputs": 0,
90 "k_is": [
91 1,
92 7,
93 49,
94 343,
95 2401,
96 16807,
97 117649,
98 823543,
99 5764801,
100 40353607,
101 282475249,
102 1977326743,
103 13841287201,
104 96889010407,
105 678223072849,
106 4747561509943,
107 33232930569601,
108 232630513987207,
109 1628413597910449,
110 11398895185373143,
111 79792266297612001,
112 558545864083284007,
113 3909821048582988049,
114 8922003270666332022,
115 7113790686420571191,
116 12903046666114829695,
117 16534350385145470581,
118 5059988279530788141,
119 16973173887300932666,
120 8131752794619022736,
121 1582037354089406189,
122 11074261478625843323,
123 3732854072722565977,
124 7683234439643377518,
125 16889152938674473984,
126 7543606154233811962,
127 15911754940807515092,
128 701820169165099718,
129 4912741184155698026,
130 15942444219675301861,
131 916645121239607101,
132 6416515848677249707,
133 8022122801911579307,
134 814627405137302186,
135 5702391835961115302,
136 3023254712898638472,
137 2716038920875884983,
138 565528376716610560,
139 3958698637016273920,
140 9264146389699333119,
141 9508792519651578870,
142 11221315429317299127,
143 4762231727562756605,
144 14888878023524711914,
145 11988425817600061793,
146 10132004445542095267,
147 15583798910550913906,
148 16852872026783475737,
149 7289639770996824233,
150 14133990258148600989,
151 6704211459967285318,
152 10035992080941828584,
153 14911712358349047125,
154 12148266161370408270,
155 11250886851934520606,
156 4969231685883306958,
157 16337877731768564385,
158 3684679705892444769,
159 7346013871832529062,
160 14528608963998534792,
161 9466542400916821939,
162 10925564598174000610,
163 2691975909559666986,
164 397087297503084581,
165 2779611082521592067,
166 1010533508236560148,
167 7073734557655921036,
168 12622653764762278610,
169 14571600075677612986,
170 9767480182670369297
171 ],
172 "num_partial_products": 9
173}