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