gnark-plonky2-verifier/verifier/data/recursive_small/common_circuit_data.json
verifier/data/recursive_small/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": 2
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": 2
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: 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 "PoseidonGate(PhantomData<plonky2_field::goldilocks_field::GoldilocksField>)<WIDTH=12>"
55 ],
56 "selectors_info": {
57 "selector_indices": [
58 0,
59 0,
60 0,
61 0,
62 0,
63 0,
64 1,
65 1,
66 1,
67 1,
68 2
69 ],
70 "groups": [
71 {
72 "start": 0,
73 "end": 6
74 },
75 {
76 "start": 6,
77 "end": 10
78 },
79 {
80 "start": 10,
81 "end": 11
82 }
83 ]
84 },
85 "quotient_degree_factor": 8,
86 "num_gate_constraints": 123,
87 "num_constants": 5,
88 "num_public_inputs": 0,
89 "k_is": [
90 1,
91 7,
92 49,
93 343,
94 2401,
95 16807,
96 117649,
97 823543,
98 5764801,
99 40353607,
100 282475249,
101 1977326743,
102 13841287201,
103 96889010407,
104 678223072849,
105 4747561509943,
106 33232930569601,
107 232630513987207,
108 1628413597910449,
109 11398895185373143,
110 79792266297612001,
111 558545864083284007,
112 3909821048582988049,
113 8922003270666332022,
114 7113790686420571191,
115 12903046666114829695,
116 16534350385145470581,
117 5059988279530788141,
118 16973173887300932666,
119 8131752794619022736,
120 1582037354089406189,
121 11074261478625843323,
122 3732854072722565977,
123 7683234439643377518,
124 16889152938674473984,
125 7543606154233811962,
126 15911754940807515092,
127 701820169165099718,
128 4912741184155698026,
129 15942444219675301861,
130 916645121239607101,
131 6416515848677249707,
132 8022122801911579307,
133 814627405137302186,
134 5702391835961115302,
135 3023254712898638472,
136 2716038920875884983,
137 565528376716610560,
138 3958698637016273920,
139 9264146389699333119,
140 9508792519651578870,
141 11221315429317299127,
142 4762231727562756605,
143 14888878023524711914,
144 11988425817600061793,
145 10132004445542095267,
146 15583798910550913906,
147 16852872026783475737,
148 7289639770996824233,
149 14133990258148600989,
150 6704211459967285318,
151 10035992080941828584,
152 14911712358349047125,
153 12148266161370408270,
154 11250886851934520606,
155 4969231685883306958,
156 16337877731768564385,
157 3684679705892444769,
158 7346013871832529062,
159 14528608963998534792,
160 9466542400916821939,
161 10925564598174000610,
162 2691975909559666986,
163 397087297503084581,
164 2779611082521592067,
165 1010533508236560148,
166 7073734557655921036,
167 12622653764762278610,
168 14571600075677612986,
169 9767480182670369297
170 ],
171 "num_partial_products": 9
172}