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