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