gnark-plonky2-verifier/verifier/data/recursive_very_small/common_circuit_data.json
verifier/data/recursive_very_small/common_circuit_data.jsonRaw
1{
2 "config": {
3 "num_wires": 136,
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": 1
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": 1
36 },
37 "hiding": false,
38 "degree_bits": 9,
39 "reduction_arity_bits": [
40 4
41 ]
42 },
43 "gates": [
44 "NoopGate",
45 "ConstantGate { num_consts: 2 }",
46 "PublicInputGate",
47 "BaseSumGate { num_limbs: 63 } + Base: 2",
48 "ReducingExtensionGate { num_coeffs: 33 }",
49 "ReducingGate { num_coeffs: 44 }",
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 1,
69 2,
70 2
71 ],
72 "groups": [
73 {
74 "start": 0,
75 "end": 6
76 },
77 {
78 "start": 6,
79 "end": 10
80 },
81 {
82 "start": 10,
83 "end": 12
84 }
85 ]
86 },
87 "quotient_degree_factor": 8,
88 "num_gate_constraints": 123,
89 "num_constants": 5,
90 "num_public_inputs": 0,
91 "k_is": [
92 1,
93 7,
94 49,
95 343,
96 2401,
97 16807,
98 117649,
99 823543,
100 5764801,
101 40353607,
102 282475249,
103 1977326743,
104 13841287201,
105 96889010407,
106 678223072849,
107 4747561509943,
108 33232930569601,
109 232630513987207,
110 1628413597910449,
111 11398895185373143,
112 79792266297612001,
113 558545864083284007,
114 3909821048582988049,
115 8922003270666332022,
116 7113790686420571191,
117 12903046666114829695,
118 16534350385145470581,
119 5059988279530788141,
120 16973173887300932666,
121 8131752794619022736,
122 1582037354089406189,
123 11074261478625843323,
124 3732854072722565977,
125 7683234439643377518,
126 16889152938674473984,
127 7543606154233811962,
128 15911754940807515092,
129 701820169165099718,
130 4912741184155698026,
131 15942444219675301861,
132 916645121239607101,
133 6416515848677249707,
134 8022122801911579307,
135 814627405137302186,
136 5702391835961115302,
137 3023254712898638472,
138 2716038920875884983,
139 565528376716610560,
140 3958698637016273920,
141 9264146389699333119,
142 9508792519651578870,
143 11221315429317299127,
144 4762231727562756605,
145 14888878023524711914,
146 11988425817600061793,
147 10132004445542095267,
148 15583798910550913906,
149 16852872026783475737,
150 7289639770996824233,
151 14133990258148600989,
152 6704211459967285318,
153 10035992080941828584,
154 14911712358349047125,
155 12148266161370408270,
156 11250886851934520606,
157 4969231685883306958,
158 16337877731768564385,
159 3684679705892444769,
160 7346013871832529062,
161 14528608963998534792,
162 9466542400916821939,
163 10925564598174000610,
164 2691975909559666986,
165 397087297503084581,
166 2779611082521592067,
167 1010533508236560148,
168 7073734557655921036,
169 12622653764762278610,
170 14571600075677612986,
171 9767480182670369297
172 ],
173 "num_partial_products": 9
174}