vk.json

{"fixed_parameters":{"parameters":{"num_columns_under_copy_permutation":130,"num_witness_columns":0,"num_constant_columns":4,"max_allowed_constraint_degree":8},"lookup_parameters":{"UseSpecializedColumnsWithTableIdAsConstant":{"width":3,"num_repetitions":8,"share_table_id":true}},"domain_size":1048576,"total_tables_len":68756,"public_inputs_locations":[[0,1041222],[1,1041222],[2,1041222],[3,1041222]],"extra_constant_polys_for_selectors":3,"table_ids_column_idxes":[7],"quotient_degree":8,"selectors_placement":{"Fork":{"left":{"GateOnly":{"gate_idx":2,"num_constants":0,"degree":7,"needs_selector":true,"is_lookup":false}},"right":{"Fork":{"left":{"Fork":{"left":{"Fork":{"left":{"Fork":{"left":{"GateOnly":{"gate_idx":5,"num_constants":2,"degree":3,"needs_selector":true,"is_lookup":false}},"right":{"Fork":{"left":{"GateOnly":{"gate_idx":3,"num_constants":0,"degree":2,"needs_selector":true,"is_lookup":false}},"right":{"GateOnly":{"gate_idx":4,"num_constants":0,"degree":2,"needs_selector":true,"is_lookup":false}}}}}},"right":{"Fork":{"left":{"Fork":{"left":{"GateOnly":{"gate_idx":1,"num_constants":0,"degree":2,"needs_selector":true,"is_lookup":false}},"right":{"GateOnly":{"gate_idx":8,"num_constants":0,"degree":2,"needs_selector":true,"is_lookup":false}}}},"right":{"Fork":{"left":{"GateOnly":{"gate_idx":7,"num_constants":0,"degree":2,"needs_selector":true,"is_lookup":false}},"right":{"GateOnly":{"gate_idx":9,"num_constants":0,"degree":0,"needs_selector":true,"is_lookup":false}}}}}}}},"right":{"GateOnly":{"gate_idx":6,"num_constants":1,"degree":2,"needs_selector":true,"is_lookup":false}}}},"right":{"Fork":{"left":{"GateOnly":{"gate_idx":10,"num_constants":4,"degree":2,"needs_selector":true,"is_lookup":false}},"right":{"GateOnly":{"gate_idx":0,"num_constants":4,"degree":1,"needs_selector":true,"is_lookup":false}}}}}}}},"fri_lde_factor":2,"cap_size":32},"setup_merkle_tree_cap":[[5644325780511650251,3017045720387632404,1882737324994920032,7484679341046522095],[6879537798036735902,12221554972425114207,6626005686632754439,713276295674902204],[1955705910643191309,6691580219317378138,17220092760008804138,17173027044800049460],[9736776867150290436,12749901255580488540,4051673424810013838,12796366771470508017],[13230802510762587363,13033594113894374583,1603221923775256769,7149518283695043787],[7456846855882202702,15006944983854168403,6137061315679400083,4276763234384311123],[9483694139408073532,14613107107686640092,9433152244440830150,10752145657288787390],[14944695001263599270,941864789842767740,9768200152366164818,3734009045915772624],[14039834200931782777,2836092642003149445,13702022497765034890,4556256001584806696],[3979035264747570853,13652458134549143266,8896636795233386204,4593383004274420407],[362735175391149805,5204603750619205079,2518446675108271270,10782112699825499892],[13640319289912856937,2347465910914866575,6456573111522652261,17236821068835974743],[12749511562018245193,6394547018703229906,8179564470629425815,2672731598365048196],[15372863643993751223,3582954118663695570,5141983436081273779,4331091209427477872],[8717563564028235653,15713585889356827611,17379877583003239933,16324813377702023012],[2963594171270123736,3994036396222412674,13066164645771581693,14740506031681430604],[13522546558980354988,440771461332507709,8770664998457605521,7789782409086177951],[13435469053584122269,6870668192151709367,5525158972692826940,17760016031565135771],[3790353359195661545,18343381940733848552,5625321991846821643,738027502091893358],[15703354242293751368,8553647116019873702,12395783093253692336,1687705138094347209],[16266544520467112530,7919618372836071459,10607356114838764242,8892355414001629021],[2649271107035485841,6560533112093133343,15791186169110592487,7421718500996168675],[6393417193256415489,10344795627668285244,8170222783106456708,2602212103723258159],[12648013045199728189,16123037586130811817,4354609140350739514,3946477090191596109],[7935900853187575664,16854650781972350818,15869492810145983221,11550216003980354237],[11588321530618226821,2783906337785114590,2296525082263470240,16531922317170141727],[9306608966242711729,12288812169831702565,3165487936904630369,1065201400125079663],[12039330272866112458,7229597129340956549,6598869884536976994,755778746486656693],[11022415654691462747,750297748964388508,1156130155015608569,8895734768277118380],[11229838103694439712,10309416983070792464,5677275865185083779,6444203080013769157],[15653951126652713858,4101996248489726763,13241896257575738278,16943300925259128583],[4369376559407594837,8146449601173505570,13786637278686338991,8254390784852244009]]}