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