arnaucube
arnaucube/gnark-plonky2-verifierPublic Self-hosted repository
gnark-plonky2-verifier/verifier/data/recursive_very_small/common_circuit_data.json
verifier/data/recursive_very_small/common_circuit_data.jsonRaw
  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": 1
 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": 1
 36        },
 37        "hiding": false,
 38        "degree_bits": 9,
 39        "reduction_arity_bits": [
 40            4
 41        ]
 42    },
 43    "gates": [
 44        "NoopGate",
 45        "ConstantGate { num_consts: 2 }",
 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        "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            1,
 69            2,
 70            2
 71        ],
 72        "groups": [
 73            {
 74                "start": 0,
 75                "end": 6
 76            },
 77            {
 78                "start": 6,
 79                "end": 10
 80            },
 81            {
 82                "start": 10,
 83                "end": 12
 84            }
 85        ]
 86    },
 87    "quotient_degree_factor": 8,
 88    "num_gate_constraints": 123,
 89    "num_constants": 5,
 90    "num_public_inputs": 0,
 91    "k_is": [
 92        1,
 93        7,
 94        49,
 95        343,
 96        2401,
 97        16807,
 98        117649,
 99        823543,
100        5764801,
101        40353607,
102        282475249,
103        1977326743,
104        13841287201,
105        96889010407,
106        678223072849,
107        4747561509943,
108        33232930569601,
109        232630513987207,
110        1628413597910449,
111        11398895185373143,
112        79792266297612001,
113        558545864083284007,
114        3909821048582988049,
115        8922003270666332022,
116        7113790686420571191,
117        12903046666114829695,
118        16534350385145470581,
119        5059988279530788141,
120        16973173887300932666,
121        8131752794619022736,
122        1582037354089406189,
123        11074261478625843323,
124        3732854072722565977,
125        7683234439643377518,
126        16889152938674473984,
127        7543606154233811962,
128        15911754940807515092,
129        701820169165099718,
130        4912741184155698026,
131        15942444219675301861,
132        916645121239607101,
133        6416515848677249707,
134        8022122801911579307,
135        814627405137302186,
136        5702391835961115302,
137        3023254712898638472,
138        2716038920875884983,
139        565528376716610560,
140        3958698637016273920,
141        9264146389699333119,
142        9508792519651578870,
143        11221315429317299127,
144        4762231727562756605,
145        14888878023524711914,
146        11988425817600061793,
147        10132004445542095267,
148        15583798910550913906,
149        16852872026783475737,
150        7289639770996824233,
151        14133990258148600989,
152        6704211459967285318,
153        10035992080941828584,
154        14911712358349047125,
155        12148266161370408270,
156        11250886851934520606,
157        4969231685883306958,
158        16337877731768564385,
159        3684679705892444769,
160        7346013871832529062,
161        14528608963998534792,
162        9466542400916821939,
163        10925564598174000610,
164        2691975909559666986,
165        397087297503084581,
166        2779611082521592067,
167        1010533508236560148,
168        7073734557655921036,
169        12622653764762278610,
170        14571600075677612986,
171        9767480182670369297
172    ],
173    "num_partial_products": 9
174}