fflonk 0.32.10

Reference implementation of fflonk prover and verifier
1

{"fixed_parameters":{"parameters":{"num_columns_under_copy_permutation":48,"num_witness_columns":0,"num_constant_columns":4,"max_allowed_constraint_degree":8},"lookup_parameters":"NoLookup","domain_size":32768,"total_tables_len":0,"public_inputs_locations":[[0,31025],[1,31025],[2,31025],[3,31025]],"extra_constant_polys_for_selectors":4,"table_ids_column_idxes":[],"quotient_degree":8,"selectors_placement":{"Fork":{"left":{"GateOnly":{"gate_idx":4,"num_constants":1,"degree":7,"needs_selector":true,"is_lookup":false}},"right":{"Fork":{"left":{"Fork":{"left":{"Fork":{"left":{"GateOnly":{"gate_idx":7,"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":8,"num_constants":0,"degree":2,"needs_selector":true,"is_lookup":false}}}},"right":{"Fork":{"left":{"GateOnly":{"gate_idx":5,"num_constants":0,"degree":2,"needs_selector":true,"is_lookup":false}},"right":{"GateOnly":{"gate_idx":9,"num_constants":0,"degree":2,"needs_selector":true,"is_lookup":false}}}}}}}},"right":{"Fork":{"left":{"GateOnly":{"gate_idx":12,"num_constants":4,"degree":2,"needs_selector":true,"is_lookup":false}},"right":{"Fork":{"left":{"Fork":{"left":{"GateOnly":{"gate_idx":10,"num_constants":0,"degree":2,"needs_selector":true,"is_lookup":false}},"right":{"Fork":{"left":{"GateOnly":{"gate_idx":3,"num_constants":0,"degree":1,"needs_selector":true,"is_lookup":false}},"right":{"GateOnly":{"gate_idx":11,"num_constants":0,"degree":0,"needs_selector":true,"is_lookup":false}}}}}},"right":{"GateOnly":{"gate_idx":2,"num_constants":0,"degree":1,"needs_selector":true,"is_lookup":false}}}}}}}},"right":{"Fork":{"left":{"GateOnly":{"gate_idx":6,"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":2048,"cap_size":256},"setup_merkle_tree_cap":[[12850052304792560454,1494683028457732553,16521297275650013130,6167477063922377972],[1636161155466288158,14960818767654489037,12515019568749479563,17297871239954641327],[5147044832970334099,7518352876962442712,5106522904164753676,12851070472898279201],[9649428704506693406,13491579990141005373,6040089439534781651,2438188660683862458],[9847729123829857710,3832403483819877376,1317308946117425193,18243248484872454397],[2409720180459691531,7223222079198388434,14127959887595643447,13031467495933166178],[5228440836675184036,9481873442033704897,4592012473867657960,3839606480129733914],[12999270006286547610,868408392378094653,2799635866077090849,1798167224994819119],[7230055207186621171,16619126165755124081,7196714572973750971,4277686396562623201],[3627978319912301678,148749917014871630,6735591722953386355,4186374754512305375],[5969057013892484850,15094391971612800879,7149818311954167417,17456550080123444377],[8971670525518838076,1519242205483620994,9722807875986200305,9692108736616218153],[12771135868855709486,18046963666977323162,5803979493715136224,7760133795726609055],[6017045506543705244,10545975422269679543,6244094565554875474,11740257078187815254],[5618753745749367821,1959078596133556349,2619452103108530302,17440705217868666216],[16575487413625624486,2030415959826404614,3612290031313307674,8170945989741961174],[15278370378004462096,9029106376579760757,13438029219561673811,6725214787190953004],[961370743412434762,11050217901102257099,4590195026276265186,9043623560345278355],[529737261928901102,12823142970498182020,14842901839591687171,733828805993340307],[6115436447675935036,17810099526527261065,18069171394211229683,2637076292905376276],[9783081497623198246,17532160183568095866,6255886974848245310,10378777938406605374],[2078859287254717622,4840628516785260908,2847601362295859896,12152058659295074972],[11923418088939662324,16864535698701163750,778483577406586439,7423496395091988254],[4287319629620593897,10816281587249926654,12738227210311584437,3212159856915098838],[12280818894582358904,13299826238061382704,3587201624448472999,9801366702113332692],[14025814625078036576,8075637872345190424,2672780576500696317,6341287416686994998],[4423637688899456934,16550825531509577633,7536440282254727846,18150185981490149946],[10656848904053015036,5188851142811246834,13866933426000887061,3544865339750436723],[1520096549534351148,14710453168096053396,8487996957118045125,16246626167893618123],[12972295563855219299,6636974353139640357,621080560597307431,10786571930601026147],[14775977326557610759,9911848770414015489,15985481853612236885,2308764415825492170],[11322038713170765596,17567550497475565546,9113521210796069992,6008126595586492626],[13764289458631068203,757561765517161338,16670125069166297125,2531746279758022869],[7471712774124823018,7134703897792134815,11117354585620381304,15131319211471368682],[12112628295782640784,16985337941555976779,412743660586045039,14021636631819362850],[16187653664030784302,1449650526970908350,6496232198804948284,17772919735146095025],[7254356448523151903,4525630708977059803,4362937099894310966,18382862738716651114],[850832234268941911,1708154443975269836,6297110801279527126,2388331285354274272],[11020192428739036274,10319958715882430755,5782475593954720474,6596849496288951258],[16852988966069370979,7067413452317838242,6649932265737118306,15589571643661462369],[10636737141397523973,9971942213936838487,1730513371664673567,12273948085787214094],[7935472472365408941,4722305611143438016,1429913726903429646,11223564134800790679],[10963248982358816936,8132858003993417976,11344949796610319744,2543389818056400464],[7973633922669907751,16638617366516523232,15896211746053077556,10815866113850852104],[11003102108458264011,8831375113082791859,17285657866676287153,16172820597313561928],[5396393971321754824,16754510435130302174,5114361471734374292,8305475083651631559],[16793637204913802052,5182272574964527326,16808493883811183373,2170899812110490149],[16530718603326269790,4731806157363190368,11019279507159469079,4704622553145080251],[15433144262438598074,16139384517558967142,9580486964177366155,11393516512633907467],[18264652812100021632,3035979729427324112,14065099716598696279,15735370144881288211],[1436308939770137285,12277941106827671851,6703932374834278444,10932222910559531942],[12721537004585522318,8717787282686273,4430103519174793086,15967545951912659084],[3042193999274854357,15196728962192779666,7374578949285473909,15068679562398382],[3161651704933435354,7256853638410187125,18359590318712877605,5500708663276129940],[14882016612722836444,17733215609641611651,10140483193643388628,13225823417068278819],[17051008278299035102,15609581856683054707,10484905746426590043,14334931991750362810],[3847755561909338663,7229528770355205487,16046168218250954036,13698344560154067590],[13245742303050375116,14448498325825296728,13108955216279086993,3404113509250390968],[14968993321695821168,7734937562675583841,17656719222329970023,4602826156878187745],[6342027890258270260,13374672613204442891,5377442714871880437,4950671160703755091],[3544477163668612014,15217175681849354203,2980598177280800902,8886989690388662988],[9351170491492507415,3201997303289021651,15704010194682013940,14541012420531291754],[14095736396068792699,11980774601814668737,16113669056135586154,5457511565795286943],[10226249486734549194,7908604974627487126,15542913324037770332,2058600585016186186],[1990704059829159403,17463943735097230798,10273148134084593185,4680216419518493219],[11918343665041459805,996619049824172533,15595471527670576300,13399173347305988691],[8649828046096905801,6715968711814302562,10175519721002162192,2494735175565427851],[13914720437385839081,14278738355899525534,17922861641813904198,16814361293373122069],[1089737920165352848,6504762052731266985,12902122083501816443,13006201594471349505],[10676062117837958754,13689906346523660417,2113055527374090131,12785929010383637562],[8314578979375655414,13919205754573172686,3363287056303311030,16525296252193671433],[9450046629408232156,15092713295982162362,5352503569543559828,6216433502764361209],[3615875048168131466,11576149024455654220,2333274239215452706,13583956599615219245],[6978072301426691112,10536462733960813724,13220744332918865427,9695817318965469878],[6756759956013268017,18120729435853677086,18383320635334088320,1767516484701099324],[210640257260928283,6313180356536386122,4356533005672675621,1676869772248543735],[4475526917150294021,2356524530482740560,18058557518118624253,5149309215506563416],[3818653798811843549,7685557123987963004,12048608390893148887,3616550985419824932],[15865055834989920634,10467662572086437609,7217283223013584842,10044160372020151641],[10869062626380324506,10751644747726606406,5062941676328022875,5028106913991447242],[2423426517338827227,13945222368855382711,960373426401088024,14172985551171364370],[7620462804099360255,724552786692605165,639632007615586266,16799769040461101576],[10668511020643991811,10548163433223864854,7180539376819796170,360296991667030895],[5024513644797496827,8111281452530005789,15546954141075890383,13016031493113514208],[17720894959817394260,16358739953254010521,9372908164614793727,17077281348253941396],[4768549121676633901,156762728976179282,7394323537101423887,11484376400838377522],[10949613144427967334,5281701946918474446,2575957221010373428,4500870449435704386],[11779165516989170301,661957585249814511,8919294053776494838,3871109520463345311],[6115651000454388258,5343592225947882318,17912737936560497700,7679176854763523186],[1227287939650872050,14559328991118449589,14881187422170629555,11951652800043539303],[6598614076823313962,17544774668079659773,18014113913618737110,16314049491799962771],[8193847680062313086,2850905525567435402,7905855941702747306,14684217567650691085],[16648982005593909259,17387468463943302766,17765986201668162794,8598919016685444274],[17213641497258497981,17122966010296402771,9791650977173755328,18257762118535961365],[17696070969394856289,14427748186622185997,11350208163922176195,17342493658043824429],[13666984097333856081,2693798817219269637,16870775679981914617,10225591550615061366],[5671608052774214223,6919706145188014297,5566507882667998985,13599213470644808695],[7980318642919469049,1684679825231963618,2658084292179965889,7546190962778364643],[6480253882399475716,6024570453058810426,7558835056662567689,8470322839259188233],[16764597390192654345,3015179479442335674,3627178951071121671,701355407600957448],[7879886161965197361,7798859229262084688,10659023967105201980,2745291787969692576],[12138234751595760427,11284223497703507295,16434914902561093087,6901380584234603764],[11568823677031142133,13290103463151411563,382685486487289775,14010135232128429150],[2733239324474653464,9870701123799579871,3365978988050591270,2267066005018083452],[17574862184896148793,2310451130205791588,10075416661911114039,5822114946935935877],[17204705248993728618,14885081149560856670,12417294804879051082,17491062100939375468],[8333591928084164512,9057717025791632136,6361159718864182886,17122322163600561915],[16994488428383387549,2581679553139315461,1299346635248479138,10005657688129461109],[1949253183237688073,14986456269110571093,8014838049441324825,9482783059757512146],[10104805548337668364,12166638656417955741,2127786374431907502,17823484333687923171],[10108657826744359989,2584751160058552873,17909666152219492448,18165907726757622189],[9030863755388292035,2938083115561879833,4968909420907730041,2197458069062917928],[16026767977457042889,1350481711626885822,3875271003307475891,9867836755605592775],[2928195760174759769,11324136241946103658,5828866211014476058,2132842834400367776],[11206915297901123814,6646415296880434437,18319162921480615655,7241803442307321721],[12179382450417205600,13178787631387278796,15647627073913977021,16330187588900373039],[15399343955795283588,660690090320089141,10745119240137389670,11939008682996429958],[18302549952021675622,1852780905033395856,2778178431762483710,10710403248364480233],[1309119078983119826,15489295775472109232,7342701122713876720,12938507956359478285],[17302906681239266151,2880728943273558969,18083339453422033769,944482190486696633],[3260815459671445759,3727298169097287109,10290316343211378807,2006907752019357133],[17675516157409495289,8373516140349086841,17147626077895980133,9361229743275220853],[446020045395889530,7569868275554310865,14130588798581562770,13870979952975750789],[6717941675114343819,13833142814849968014,1257089683746697915,5600226492665290202],[6137454900439801881,13816337324949153723,6825329791412409672,12543718226928932739],[17960148153268402671,2651996165347735956,2818420062840487128,16991498494552938951],[13138181246772309981,3032962365737346430,9261981895659314779,15198366238503609031],[2059670961073998261,17112827252573229623,17564403363397116295,6276296555184085024],[12009314823292476130,8602792603270557591,8891250919347554259,1058352385263010182],[1749302219034255738,4739714058479819174,15742403218443811578,5458153687528060311],[12089886116773031025,15210535025282263071,10998561141199943564,9208208549885552093],[4322431943567227131,4286217463475240988,17136121222465256951,2389646431621244640],[434005691157006928,1833436461541861776,8235451092684933554,6671155604272072653],[1401759098281731508,654144056302211216,12136803333368084632,14459679557735221787],[14589949989050830710,6648943100290185825,3078436558607856391,15103236542775865182],[15608914786567871734,6283080785250061040,4830830447906988331,12801803343994077864],[10539343750209282220,3627301543623370729,16709000217107303719,8814208016568725419],[5792890643079440840,11548506020667239962,17508323482588104735,10775702119664531122],[2238868530814781770,4336538762007191844,17865329673386739431,9341365953709572405],[3168500856843354576,16441034617496121683,1947900913049506841,11615989144191979918],[10486550840769500005,3237070039595188841,2881340567122706635,5564663880361895242],[303925114454234138,10981610237462890467,12476510582792079090,4374097134740324633],[12038818963796797091,16628479640103642283,6935402798274214745,12433791941592208510],[13612605974444697912,6814446590278839477,10759287238224725745,11585797902030094722],[8425364827240553343,5370650908408008386,6896466578130369788,8294164448231340532],[3015795791807050619,2442959823388747892,16029076008402552249,8431615701507535386],[6593406334850109341,2663169747317690539,13831141666191973098,9260324848872933179],[17101268703049660773,8994988228224251326,7585142174655595426,16382335091072192760],[308617481548610559,1363731927297305720,3149961400164061493,2286232818792893847],[8904324853252419769,13859700166862364873,7045334670799774088,3941840259631689266],[1572212862058238171,8683383216075579978,11037558244384321354,2703578175029347063],[1999434382553183836,11836467719332367742,13178771183749230759,4008798355470443668],[8799675442636385100,1979078220057898741,16480745516305062016,7795156952858134150],[9384882508518216926,3369290199042564652,3629069634253192163,1718202508959168404],[9849670776042489123,1019707626581052339,18016019090892215323,4217493162412258057],[3667281610669688533,15893974265715323085,8052905269744826339,15788338914893679427],[13356624903063808837,12658033842412649422,16722510684479068899,7449858653106197451],[17781891967849815898,16094952895883892326,12549423050008340385,8390284696121055321],[9059003029478054728,3658087557179485705,17637155669074032185,18217837933395136556],[429656894218210814,9174898004178107119,12465492910663245288,9562313743389716206],[5118254051886609249,13737892803880768243,4090310063246494169,17094983428593365489],[3775619766347870448,13577835180967260333,12319909933319967338,10354033644093275027],[6088343719419283000,3404860461018724514,16449147514760468604,6078530314142498064],[18260720580283291639,17066622736108449800,14989272678353702372,17852053724907638022],[2084071983407233695,3935425950585844250,1623255192824509348,9413637492359184222],[3066966611275748650,3088380999257280637,513982549704926541,14737160035250894083],[2218368018147025691,16691053640450412544,16555963313560309120,10872942631170777122],[893648197930542828,7174396391525184455,16585205330284886613,3481062154478815907],[16167911688003115302,11264437739214474402,5655551195914282138,3107551327908763704],[17663371349016533206,7803778338951350538,6295224898011603359,547022339235138631],[4402824068885784411,8418522240278896311,8028951006971861247,4104606035568343232],[16316663195668044650,10473390957133401037,16666259008345632157,310287087199446554],[13595516828432293943,8214522522460379555,2495209169162913435,12161395353474853431],[4296790903679871890,13082004294541425194,7375436030406468716,1038108620987060642],[5038743608881047201,2257881700083901488,1406941870650697507,16374628979898048930],[9345751692939716217,16202137909934257393,3064895837119166777,14454372169719888438],[15112343334254810479,3986927085138416459,13578134930925268296,16011911519858817174],[12750581024789405495,17383412136312853441,18252597483146343684,989361652299778889],[17851085498311798491,437884040044368232,16463000813846448661,7020646578510505632],[18318949139857688758,7826423795944904853,6340879567282005679,655951804675391999],[11157560865101954897,6873735264595717567,9705813536042673954,5985977377371164334],[2154401322223959349,16289042511268929009,1555641898098695635,11912853976434229867],[4747911857324816971,2552443355185374695,16929570145600602006,6338076043107875590],[4750116774657337399,15924295720539645007,16165375958383056472,10143026786969997349],[18323885839016667744,2766538972900227704,6377044341818734446,6705452993034986527],[4922582808637933146,4322098465571039630,2416965105322423379,15145465275765662291],[329270572057763119,10081238227421281371,13767924587719443531,8178015791281858609],[12764706147802203514,14791533064783044812,15048646197510988198,6035269417283715243],[14526415316715602310,7333259538244994096,15531351923790267948,11829823388457270915],[7945528430571120741,4684901836961407620,4903417489435841825,11112234079593496286],[18418491060702152052,1730027445272071395,367939027540406589,8495207213582740921],[15032537675915169455,2269217919786023296,5792765507962859882,17109416265819740582],[4661882925393546731,1305405978406007704,7660099610270011295,2781257756405258000],[6301969601382080640,6586742879765133891,6097705560180938418,12567681725548216726],[7581278405163862527,3260888517825492148,12749271387670394041,7865079962828795480],[8669594162963036181,17816159005514090807,12905912505362747854,17049176105734584653],[3523692819414684264,15961106659343676773,6284286037429891373,6140648796210849190],[15673860954983661078,17317465969710325497,10563809492161531353,9482216455419202336],[12590809584224729126,7542944277667423597,4338740704270756387,11773178167965303249],[2936931609673007964,12028123758424767249,17897157815227952727,18222734570830185725],[2935791318392083265,8147148808972355276,4762876388004997644,9019987221357613651],[3623059826797743256,13879694972944437831,7305666579110079938,2500186650913314859],[941727103541999606,18184652528516821071,14586407453619345101,10900534934454752008],[13582194569789085479,5772102212949104220,10468175589846059197,16633611538046527158],[8463155779806663743,1006341305840213093,5189574427578804871,14239649304889857612],[8053715923406618813,3496696173676689329,17405761888746422192,8125001459482846739],[16718316680892909124,14948927732701191574,13045591077401248096,9380968733878072945],[12452115857353105536,14507693084694239139,2042016491946879303,17891814754389903697],[12243925877764560589,3521085127827537498,4081816259796540517,12976773493545910797],[16761498154792156771,9863840386432334521,5855018073614010097,7754168595895138257],[13790269729436116418,16164371415140200578,6764976853319845967,12009890198755856628],[1965543940846216262,10999103371274447617,9762023724062152310,2472285647500131238],[16191148495943138465,3316071124793424283,10378459236338076938,16564086315368460247],[10219756446992190084,6657665163645537459,3615133845075452653,4197963361413487289],[7546064700766297482,16523021458867459340,9957277062526812389,5833197405129165097],[9061489693695610243,8452583165950605630,14854761445607584246,452647114250457509],[4287885941068067720,13359209308978774833,7351128490940208991,12375223836876377351],[15364972063778994192,3830670666800550722,1606300218146673259,15646116684190577985],[3050901075390708695,4398238498265973665,849413129383417980,10246565062775944072],[1832619440109526472,6230130167627161583,6856116872786003531,13643733817742553940],[6418520757522606962,6338706491463702111,6477899852808306859,18366329694167732790],[11982595172991196934,6560537586342776165,3062487393099862741,7935110705745231587],[18267027938154112338,15415195536129663045,17401116710066219607,3432204896868500712],[7944169829904314126,13924546701409064957,13075471337977537851,5443723781272100915],[9294463812857883242,9380142863801733584,94703588965554781,10577828335836365338],[13458680778332574944,4620207465692249395,16505848963312488848,13945672520054198223],[469875651069221645,9129907493728570269,10267473978951125262,9757749502625059093],[8897010051835432160,15231851818843369797,9599209862496667445,14693662539415188127],[17460321160794402779,12741152600399196002,13300739729660441082,17118833994321645005],[10449741700834458910,10627624137394818559,4670225200661599529,410755747310031118],[17891869094952668747,13376172117195088502,1813302316409204113,2760513285649641258],[14979218623532477670,4814785447418283780,10908077871074800211,17790278228404291601],[1644068884030627380,9029753085045264402,14856029173282959492,16344289145569643013],[15529371843222156441,13159903684872582582,4877239750740760211,14903434163158486733],[17270046509123237532,5581630632100408120,13881802510709319853,6772786216068335449],[13971359052093368144,9113429049464693529,2169466537839336360,4320726574216461655],[13070418262072813107,13801014338999784203,8178789798523079695,9627086613257877943],[13542652880568937173,1817719273991747719,13207311906066540910,10676630912009336225],[1200167542758516592,6449602889194861752,1252605701963647792,17718259018457625745],[4122590317239017277,9712449732656103775,17236855301397999498,8488959225200949680],[1799239906010152498,13396341088545540065,7183730212447903514,16889598904254084955],[9775129763860101985,5190272763642955468,3895411055101098938,9080494918361664047],[11405817009667003171,8080131119632952112,2245477508828596932,5878151080731964684],[5813009894153802993,7529069226226145492,10407765816087089373,13232044730959277440],[6709361736326807931,6569245451511906935,15871985843313390431,14921209702000393817],[3436530912347640182,11380757118325437482,2485742692348769300,4657724227054206281],[3018114328514499626,2957749101644104084,1696467174328922810,17120844793932147048],[7031286955990754825,11901743224013100394,3045720326630528855,16352770392086750652],[17941666458939886383,16350933958643237666,2691078525036946805,8153376060136104481],[16841447662163684935,1010386400334084946,15870605254869427228,10534974637157081915],[3748720431557428159,10241610694489638923,9789899802670295573,11458093417394279560],[15139549158665458836,11285140886660231668,13963386866112725376,5111667575591588016],[4293323329175988895,2620069813509190783,4820962555561288575,14149873031925691486],[8122131616492934862,4308693296510205184,4302015506067671851,17365047434739359184],[1696468030272325520,7661034061038976389,1071108043904328925,12042979672320524460],[2032644800818714364,4269303928799960276,518148548092398075,4548717585128644779]]}