fflonk 0.32.10

Reference implementation of fflonk prover and verifier
1
{"fixed_parameters":{"parameters":{"num_columns_under_copy_permutation":68,"num_witness_columns":62,"num_constant_columns":4,"max_allowed_constraint_degree":8},"lookup_parameters":"NoLookup","domain_size":4096,"total_tables_len":0,"public_inputs_locations":[[0,3921],[1,3921],[2,3921],[3,3921]],"extra_constant_polys_for_selectors":4,"table_ids_column_idxes":[],"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":{"GateOnly":{"gate_idx":5,"num_constants":4,"degree":3,"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":6,"num_constants":0,"degree":2,"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":7,"num_constants":0,"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":{"Fork":{"left":{"GateOnly":{"gate_idx":8,"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":{"Fork":{"left":{"GateOnly":{"gate_idx":4,"num_constants":2,"degree":3,"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":1024,"cap_size":16},"setup_merkle_tree_cap":[[5048537361604679182,12779832903488768359,277693126278561130,13788136543319198147],[5568879198026113787,8143846474260576357,12134698790416648772,17098498816223833482],[11777049327057312860,16605462458597297320,224010380632684851,13703106578899709777],[10581021728519764210,18299710903428264187,15451317418574924424,17914586335933460907],[14372088892151378043,17226104217789084053,13515874478730554766,1674126940803487971],[8818217104999667938,11327283143545590132,11656247300711132808,6791219959704871273],[10906160667601527175,11169398558345148234,16873134240518424291,12196952779542573179],[13996606613560413789,4672648140553242372,294109128977028922,11996685605041293972],[827924603638119710,6125710976444811838,6600009108444309464,4845111723070821797],[88268863970177600,5117127481595406104,1255128294951031871,1617321764874747001],[10919037245220162930,6547862231191257133,13817803910140259094,6600140638205478260],[10362675928820082773,2022644209850215392,15394569569280237306,1426406080860756289],[5657646168784987558,2657619935761910220,4020772523102775144,8613387869656365923],[5330825081205599482,9074998882444713405,7546233779472242171,5819471804945302146],[6274859064737702472,2925247391134293379,11988865621216142996,15600798462253951568],[9023741653883137616,9727471022537789085,10910873244536679349,7670587559431305485]]}