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