ark_full.ml
(*****************************************************************************)
(* *)
(* MIT License *)
(* Copyright (c) 2022 Nomadic Labs <contact@nomadic-labs.com> *)
(* *)
(* Permission is hereby granted, free of charge, to any person obtaining a *)
(* copy of this software and associated documentation files (the "Software"),*)
(* to deal in the Software without restriction, including without limitation *)
(* the rights to use, copy, modify, merge, publish, distribute, sublicense, *)
(* and/or sell copies of the Software, and to permit persons to whom the *)
(* Software is furnished to do so, subject to the following conditions: *)
(* *)
(* The above copyright notice and this permission notice shall be included *)
(* in all copies or substantial portions of the Software. *)
(* *)
(* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR*)
(* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, *)
(* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL *)
(* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER*)
(* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING *)
(* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER *)
(* DEALINGS IN THE SOFTWARE. *)
(* *)
(*****************************************************************************)
(* Come from
```
dune exec ./generate_ark.exe 60 0 3 "52435875175126190479447740508185965837690552500527637822603658699938581184513" "tezos_poseidon"
```
Commit 6a1e59a2cea4392b04b14f6e7ddd03e5d818e623
*)
let v =
[|
"12824693747017958656359741899350387676664089448183168620817941350923622240383";
"2110512952725741187549618038800597171689376420770588630765413738693257923365";
"47326464895396585099705735602023752272300355108131773128388570963521922081510";
"563012381688126180539569880290185949096875479968107613527817326352434592856";
"20435639598009869993321661794628409935886243780150497184529212840833664449656";
"196568005014908906943408140878629143505019528204274239329256802017215936683";
"25962654684949630743270090458873017355613280868787190166613423196385364109406";
"2902949562437765068560667705637724057704859748759440393767306205627156631635";
"48765024020816932517496715131525675528890199049120440892483976763745835117858";
"2521254722031505239112642581694420959196804419239024356676547276184406685162";
"51021598403923227244919665563608069313986657641358042233506839666746223886174";
"1054116206618757673158081612917129416032354356767130085800942497760890427733";
"35527058233191932797057544076619925913363578197567288806107068259245425979761";
"2634280023212643609442836838440917786416264439095063634117944443782024029279";
"39421919986269102473005636801607717780949112929566701303040428546494236832142";
"1108697190209272403800986208961553739614858445125481568510484181910492195628";
"12045800443981429031896147388217433545754425883946502772543316945784413417019";
"82604952988294859566853552858162148408810580477764040175328077158180638032";
"50270776669157712293893033630792805271843351375068235098934380606286868420081";
"4556699357166547420252702363071964093628547740375189594266494741118120185875";
"28756618406604627864560204181157146784905823733084273636904787891595217041493";
"3929061368963303543382708474487773927696676445825720846075125669855529226465";
"18077432337068904300805913007986258320260964944627469934418526215049004418850";
"555694305263590606473308840289036435744336132072477475386605456741511841112";
"19540875247789686897819386841067347406140142379787247556508575750097457102800";
"1448707275568454674766116478738872398268409443096166848018297610768625046726";
"1365035359887233236958701559549281683572920146548303300137734899617496459320";
"296272530549376935987465863345169666107896810662168723956830664953961522362";
"1222008471833248844130489923076230958939009980056422343699249951036863250406";
"4645825111751650824509927275187472476744269268030571538472557623136712967534";
"17367408524064290797098982556349219497014777382389461167580403687601422907744";
"4067034309108034062368247356825838876451720740358475567436606187615273492134";
"37464072930817278139129480285443023448384449803554018863125599103193054747940";
"1154923382618727721537690770667336978399240055012120552776957609043905780309";
"14761222603381544767861781252566790400337820585000529592970728629846169054074";
"3913916891269533795763393633333348732307055924078927653872560295421023616912";
"30551679780389794856358102488913579915189391919966614704474658955963931924601";
"2623945794554933981603577446997424920433800054981268118099374525963300203599";
"37553485386488789278771814769828299823440779111850352710838985845411101822259";
"380971882976374898531171928157843618667556427594941784718505414050004483900";
"10017112572864832043140346277015863860093483928149059067819681230371941944219";
"3260482321812695850957645581839558488578671815239403289847780027429591624886";
"24779434793361163444013176816239053406573251563355730673257372706459004109752";
"3834722693939583529892160907115156917875416106150610312937809427157623722716";
"34750922361865676680499065756842369674722176279862565574651223917853132870768";
"3303719823632917286146798280923324860357977348797342300199305695109156084208";
"26018601582375751114157841612900668552714749858338434790831374188259468891657";
"3760594088040850818134137825940561088098655326719629222313979094464767486270";
"13502450637194424997028192825724613739600481337904104764037861753271786962154";
"3605680875487475312847246627162938193404148815924719449117458482311523099581";
"1768114684013685999050765210150692485022620153369626171927007242630684789096";
"4300220668885208831825911397052406422843855438064865963936061488194010074168";
"18745557299904421052970946495269579008489037727912355291647391635546797208632";
"4645457313953861508779197981831082874745930614083957226744023638183119182461";
"42593678790199145995053663684457815472221401417968114050739948072903660677857";
"5212185812251048319934415989099832693177800787494715126453056611778087850419";
"46864418721234297280212054571065932300397971297089783351260370088468371917403";
"2146862295982450015041164285322066583154859608755785000444681979186258495373";
"8187097041967453124034221635232536216422982441145700214410051992514734925288";
"4224999113960856492299018528652331073564580004734510854400184247450883619801";
"30046896000436459201509816995297597671241771046506201400670561663285639550013";
"3537680698171566937918232502260485817476747029597018017860969285562087473305";
"29039230731296834920039750344384481514120570535308392319591127087253572446056";
"1606438979398798927061442150774687036977037804022029261455207241963834106184";
"13557605550047888935773187080216193242098120252733035588710110279228568211558";
"4047232145173403805626574199652440367464599106022640127004814141382369658995";
"13204459193235673971472938035767571814382424793239200188612833165825728682829";
"402759581944588848536065968240655767930356875210759037966670648336820844993";
"5838980428774315696686158048972148098130544622501946984994509263591215395426";
"212043992009831062312891996009060873100128030094171369513299867713516707664";
"876830352021192217070586013687495740327679213978361548752554043712663949468";
"1723482914175782687995738495132376039217305247514006613000060283960703558701";
"44897949014063901955262183967378762018315399981354658326614944928036171768047";
"1720524035836460098857648729960831988475356761611522787537468077531871738788";
"43232942027991143475140536337799285287865381320563382715279532867764648867343";
"3252643389239528156413547074205644285947056504868291498315445124123379223565";
"10501927276217087031424106573374495637897264496162726694675925473163376758193";
"4325213853470237890206153973507029163989200227464401797030473409932385586888";
"15305409251523914230874353354359535059788180981148256493285783828590358196576";
"1739088134521595648770955683947418709594948489272099893671540048413474833655";
"32836121401171582866382562943435811841830890811447454667735502397559445574318";
"2901016800212051377264230669011255203902656783700704539355895622617107865597";
"18815036596924530952853517621791049640817225487294772991941444704465338992056";
"685537555661929777955438314288998219757370937229000935628653593362061097997";
"26092577718767817009266451734151117734467338290919197691355008501655978991425";
"4216357646309051699951224324469648916897535233092166120987090957075738738289";
"31651422971070076111196181838264222722181140435327367724766310272862029937859";
"629273769938900575895441455920675770217393671083647396550016241217499324566";
"49724468201334828484280244583213965018137667667628337917834235809476876208008";
"5210665945744217681330157776482926914045721426907722878216669851069550177848";
"4935444078547826859305672957116002161830310503792073317090488754376244453724";
"2370975635708536874252971855221791566193989512753728320307480329583888109494";
"12657496430857347720763402849538700908097732721541800130804971089165651345439";
"980832203819443439644734094470578305034581183188994771638665578524209909644";
"27624504294839473686174359070380877344474774819842315451839377969297427239166";
"5022587565141243376613052649543532876939784755313934472399483321884982186845";
"32243500134899591779833917317813896966152474894081029615308055451608309817241";
"100058643858172952146053373048806069099381607603198359470716853088744003679";
"43109176463952975009536800326405985839082072267836336547187198583087609692365";
"3590740318354650377127325932768185673866050589216143382199884746038685039193";
"18785827894321389879001098955985664874180601797364691363126127039762235438445";
"13890410008915784125744184986842184782250517952645936447684522270657173623882";
"457536797603734775438134778206691653593049060998477675514667726182894217912";
"2551079617981818063329006462059001797540515944940219006428117815680076858166";
"21472457723313943353708874304761694714619626622980133761654506137648304099225";
"2369717436916504560495435944043536132023039617669790790048479296810831115432";
"7031013180680842790541369815824254589599329901607532766080140079583861127670";
"3186817293579606399172870922861931912987218438361533401014989932520483054661";
"47464742696121028517360413317566460057783566948463915502216100047989262604494";
"4477286400678903183321675636378207967509823582920376282336875179455466716185";
"39603832419325005862317577496738452690938824170495474989446912069120567958633";
"2298800618215111452558013082674860261853363711292796156530795711139925791857";
"14989846812350944532382882165944724612680358022683579364797569235893833338786";
"3142685991363476580093079952421569893866001742073784831979945318714331027416";
"43769651300419944305850468997800960823562418250967725486604486195418246726438";
"2903010404487914441440543971760165793498717412157398998979659478200111849610";
"9127217127088119714695972218791177892622662022240237903196570849597530951732";
"3027763266097571236073965528146797815724807342368263722325647490051351338620";
"45161221133645017886711261601412531524039384492647873241614048192451822952596";
"5202754415287792674027662002817505616467813648816826423072323182431484254763";
"27242140821789243686202266747999653182843137901581640581966605089789849278720";
"2486352432460205806125626579336554262523134363643243180816080025739061947057";
"548204231964608561639273529292263414738211059797673641169135393526364027262";
"4716993594931512860903097324666779737924835078698720901019262576473692405762";
"9506462229205667401284173411406418258324116909359296336613315546137690056534";
"1391686368350831625873076044206727120952405196977265549638557303761750998100";
"46689858246492672703651527423393431292021158320712191462510792543052803111584";
"1580620578339082387096281340287752692331082813664818782512432430199720845842";
"8766399310646135463189410004038455360577767145004053413178639873677861998820";
"2658879060923784327242573848583806968749526761176482702552450732606621976196";
"50023792217818549536250470523936352020694495495726497073388852837421457132933";
"4272193681116672267015435255576813070070642689876644167010407346355080628052";
"47324445308700031888467261626081375992699772780707953194100484365789882431454";
"745357856006460333137090209500374787442676746021883329936925355341586796125";
"49684264081550689554750192283845385456679466775345577580166109490155297289216";
"2362271878323037569608969923690509680390263526712033638784386254822375382291";
"18892236458444926391262493369877957647095161647121024401756307555714456905508";
"5172043182544854738478432023277651888486154164999709997889182042094718363590";
"47112383745286980490237728644604959772374713243485506526636290531977086233783";
"2468514109210073002795444989278838981077281022625955381003550228078769970142";
"10760484429579733150748722744770630969539979733239758562622191462913951088333";
"2172407928705313709242510853013332534382543340814365168104730638847087842171";
"6739500805755904550287601060022858357500641732900792528669270754636609260080";
"1785796504238035894463054840331280673310114293716511701617293846491504923269";
"9632508482164659471598107352396309307790306866273893677886800050425109716792";
"3314620184087009191069387298030535408664868853185208251237161964919487311583";
"24563068966148861590901041758592735266698568871660764465875702639116829646304";
"3172137675500596733636646012235521148230652144749098341049366473486393549037";
"15684550895396068515471028729350115969732417905333858769590344727369384081603";
"700248760062686294999986760567278360019832000799190116197996203737634652720";
"52307485942779459117858479272884228966231265749455272562573874738583619442420";
"3883657152867570661880089300888026858157645675554719017373884998602380872572";
"36723879950613977022517261564575507578807019198561897008776817934657868063385";
"2024835079941342579887433286943199727995352689418525852979628443261099900191";
"34307840796460362263279500909803958773744979234069495184913872991803774632950";
"1194435145355209307254189344049195366662231267173012479411964865421960287667";
"31014650885457826200510401438820002615957776846470325819050879782587513039513";
"1948547531889945681084691849162487099956320106182019457285868979225032808870";
"6993260155372174998814252121448583176110548765257321055692123275495549108628";
"3628614090784348512068372896311673975933525338121052905825942452210572653989";
"45808574143983102919560752637917514976543075616407947885927216602050326197313";
"415726167905886898791646220028599685530282471266098241258736873574263892652";
"38246990752692475328034119997100943294185371168683274197027902045227898059034";
"1110392451982987995401832490062981110412534192161968804207082758239406833706";
"27701822355979751474804532392435063061435232116617771073364561464566348695005";
"4827132391215463563392983490012590712072004147843077585296803565588789328685";
"7564632283106849394053909408180466805017839429085275010245344373283947508827";
"2324327327872781533558464380069138496744200643744710345906001952054490919216";
"13140798650640322980324706670787476707003590015760438979598890984450151901636";
"3500199380257986467636891750311499575228052306333324812280355945306510138466";
"28542459574187611357589932976824304434500408729772997945459318680944578211015";
"3781610762060567361822388324763082672099242323641256901088184397031508534814";
"14987021714744452231617911764306940261543565067899914241289807445701754462007";
"1609241716573434851069322332824879589864503452452228361611682688852939169278";
"34897051546770181831280754566237511483765525227934927588069926033737344741728";
"1399786866593207439943434122192779159950880088201666748148964449373614133655";
"32272666727605419884137989690354170945870520375570572628324661236539945300289";
"3163147813994452717406281941248221080830294034049663043880208950896403668492";
"23810679194694574195614528371448302918064916463216895875739808511793511307298";
"3649117216925272192207726573369494771588983064037158465279599876172844009039";
|]
