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": 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": 13,
 39        "reduction_arity_bits": [
 40            4,
 41            4
 42        ]
 43    },
 44    "gates": [
 45        "NoopGate",
 46        "PoseidonMdsGate(PhantomData<plonky2_field::goldilocks_field::GoldilocksField>)<WIDTH=12>",
 47        "PublicInputGate",
 48        "BaseSumGate { num_limbs: 63 } + Base: 2",
 49        "ReducingExtensionGate { num_coeffs: 33 }",
 50        "ReducingGate { num_coeffs: 44 }",
 51        "ArithmeticExtensionGate { num_ops: 10 }",
 52        "ArithmeticGate { num_ops: 20 }",
 53        "MulExtensionGate { num_ops: 13 }",
 54        "ExponentiationGate { num_power_bits: 67, _phantom: PhantomData<plonky2_field::goldilocks_field::GoldilocksField> }<D=2>",
 55        "RandomAccessGate { bits: 4, num_copies: 4, num_extra_constants: 2, _phantom: PhantomData<plonky2_field::goldilocks_field::GoldilocksField> }<D=2>",
 56        "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>",
 57        "PoseidonGate(PhantomData<plonky2_field::goldilocks_field::GoldilocksField>)<WIDTH=12>"
 58    ],
 59    "selectors_info": {
 60        "selector_indices": [
 61            0,
 62            0,
 63            0,
 64            0,
 65            0,
 66            0,
 67            1,
 68            1,
 69            1,
 70            1,
 71            2,
 72            2,
 73            3
 74        ],
 75        "groups": [
 76            {
 77                "start": 0,
 78                "end": 6
 79            },
 80            {
 81                "start": 6,
 82                "end": 10
 83            },
 84            {
 85                "start": 10,
 86                "end": 12
 87            },
 88            {
 89                "start": 12,
 90                "end": 13
 91            }
 92        ]
 93    },
 94    "quotient_degree_factor": 8,
 95    "num_gate_constraints": 123,
 96    "num_constants": 6,
 97    "num_public_inputs": 36,
 98    "k_is": [
 99        1,
100        7,
101        49,
102        343,
103        2401,
104        16807,
105        117649,
106        823543,
107        5764801,
108        40353607,
109        282475249,
110        1977326743,
111        13841287201,
112        96889010407,
113        678223072849,
114        4747561509943,
115        33232930569601,
116        232630513987207,
117        1628413597910449,
118        11398895185373143,
119        79792266297612001,
120        558545864083284007,
121        3909821048582988049,
122        8922003270666332022,
123        7113790686420571191,
124        12903046666114829695,
125        16534350385145470581,
126        5059988279530788141,
127        16973173887300932666,
128        8131752794619022736,
129        1582037354089406189,
130        11074261478625843323,
131        3732854072722565977,
132        7683234439643377518,
133        16889152938674473984,
134        7543606154233811962,
135        15911754940807515092,
136        701820169165099718,
137        4912741184155698026,
138        15942444219675301861,
139        916645121239607101,
140        6416515848677249707,
141        8022122801911579307,
142        814627405137302186,
143        5702391835961115302,
144        3023254712898638472,
145        2716038920875884983,
146        565528376716610560,
147        3958698637016273920,
148        9264146389699333119,
149        9508792519651578870,
150        11221315429317299127,
151        4762231727562756605,
152        14888878023524711914,
153        11988425817600061793,
154        10132004445542095267,
155        15583798910550913906,
156        16852872026783475737,
157        7289639770996824233,
158        14133990258148600989,
159        6704211459967285318,
160        10035992080941828584,
161        14911712358349047125,
162        12148266161370408270,
163        11250886851934520606,
164        4969231685883306958,
165        16337877731768564385,
166        3684679705892444769,
167        7346013871832529062,
168        14528608963998534792,
169        9466542400916821939,
170        10925564598174000610,
171        2691975909559666986,
172        397087297503084581,
173        2779611082521592067,
174        1010533508236560148,
175        7073734557655921036,
176        12622653764762278610,
177        14571600075677612986,
178        9767480182670369297
179    ],
180    "num_partial_products": 9
181}