1extern crate alloc;
2use crate::poseidon::ArithmeticSpongeParams;
3use alloc::vec;
4use core::str::FromStr;
5use mina_curves::pasta::Fq;
6use once_cell::sync::Lazy;
7
8pub fn params() -> ArithmeticSpongeParams<Fq> {
11 ArithmeticSpongeParams {
12 mds: vec![
13 vec![
14 Fq::from_str(
15 "28115781186772277486790024060542467295096710153315236019619365740021995624782",
16 )
17 .unwrap(),
18 Fq::from_str(
19 "22098002279041163367053200604969603243328318626084412751290336872362628294144",
20 )
21 .unwrap(),
22 Fq::from_str(
23 "10518156075882958317589806716220047551309200159506906232124952575033472931386",
24 )
25 .unwrap(),
26 ],
27 vec![
28 Fq::from_str(
29 "8515206633865386306014865142947895502833797732365705727001733785057042819852",
30 )
31 .unwrap(),
32 Fq::from_str(
33 "19310731234716792175834594131802557577955166208124819468043130037927500684373",
34 )
35 .unwrap(),
36 Fq::from_str(
37 "361439796332338311597104753147071943681730695313819021679602959964518909239",
38 )
39 .unwrap(),
40 ],
41 vec![
42 Fq::from_str(
43 "2193808570710678216879007026210418088296432071066284289131688133644970611483",
44 )
45 .unwrap(),
46 Fq::from_str(
47 "1201496953174589855481629688627002262719699487577300614284420648015658009380",
48 )
49 .unwrap(),
50 Fq::from_str(
51 "11619800255560837597192574795389782851917036920101027584480912719351481334717",
52 )
53 .unwrap(),
54 ],
55 ],
56 round_constants: vec![
57 vec![
58 Fq::from_str(
59 "2517640872121921965298496967863234221143680281046699148760560696057284005606",
60 )
61 .unwrap(),
62 Fq::from_str(
63 "3391756047431116221709518926936538303706203177575259437741546230828058541679",
64 )
65 .unwrap(),
66 Fq::from_str(
67 "28193080211857729746868575888309975056941007202713113547154010421664334143056",
68 )
69 .unwrap(),
70 ],
71 vec![
72 Fq::from_str(
73 "25261619184426186938919514618416881383323154981235406731208902193655587998749",
74 )
75 .unwrap(),
76 Fq::from_str(
77 "5438499261516835502981531641588657477212528137520578797088407969732830437134",
78 )
79 .unwrap(),
80 Fq::from_str(
81 "1447697894671779324954748568939217281372628544919576009518449387265606369859",
82 )
83 .unwrap(),
84 ],
85 vec![
86 Fq::from_str(
87 "5035532530235542599906399941203951970682478985022204457211063504597080640029",
88 )
89 .unwrap(),
90 Fq::from_str(
91 "18548939393800290417015907795270784249198528773378593112394621615021029911007",
92 )
93 .unwrap(),
94 Fq::from_str(
95 "28314657632459005492203969796973258399484591559931227050853551342156833947891",
96 )
97 .unwrap(),
98 ],
99 vec![
100 Fq::from_str(
101 "10075465805557971120845970058070916255338843492716768289922460436606689369477",
102 )
103 .unwrap(),
104 Fq::from_str(
105 "21985996556868691161386211003270106475915714625334030557267947035839814254081",
106 )
107 .unwrap(),
108 Fq::from_str(
109 "9778523497398309788873186849997676949503189428912377745814036481347657299161",
110 )
111 .unwrap(),
112 ],
113 vec![
114 Fq::from_str(
115 "6085447467925843146276340167082679235758707259098174769103982431882228334038",
116 )
117 .unwrap(),
118 Fq::from_str(
119 "11214803418623679719680560978819619149235769633101428825693192995405955507848",
120 )
121 .unwrap(),
122 Fq::from_str(
123 "20585482519401972421539035665320299097144487427998598740316244173221216198246",
124 )
125 .unwrap(),
126 ],
127 vec![
128 Fq::from_str(
129 "18602266896623204184748247002001496873223612100325866696399863661914256384486",
130 )
131 .unwrap(),
132 Fq::from_str(
133 "22165919841309962137671309308234475433816142848229812860682345190836583925843",
134 )
135 .unwrap(),
136 Fq::from_str(
137 "22833505632200982123686653495190412951871851216487329681987951602744930627412",
138 )
139 .unwrap(),
140 ],
141 vec![
142 Fq::from_str(
143 "200996541962081036547810490655955282117589336000744078845964972887355639644",
144 )
145 .unwrap(),
146 Fq::from_str(
147 "17159390488590225463405148524511348095493761844950655304775985535830170165304",
148 )
149 .unwrap(),
150 Fq::from_str(
151 "7519689807382250126180254188667761476713509751388558140260305473388567529705",
152 )
153 .unwrap(),
154 ],
155 vec![
156 Fq::from_str(
157 "14159331841037307097148990917607709903712709092721125605507719995418592745663",
158 )
159 .unwrap(),
160 Fq::from_str(
161 "10490695046555645615062072066940833278139280813429718770298136076375411280286",
162 )
163 .unwrap(),
164 Fq::from_str(
165 "9996921069626538041923613626115903019578182147993504053879837245826104687293",
166 )
167 .unwrap(),
168 ],
169 vec![
170 Fq::from_str(
171 "28009241574980093348462093077828465154604666812509186537490618830383877236685",
172 )
173 .unwrap(),
174 Fq::from_str(
175 "18925279443828804264179873719494108834579217607847079902207023181925588871175",
176 )
177 .unwrap(),
178 Fq::from_str(
179 "13126164514615718686767880517156253918404905174962666942976286681458411835722",
180 )
181 .unwrap(),
182 ],
183 vec![
184 Fq::from_str(
185 "1125667389564136291825905670957082668987611691949011617627091942772124917554",
186 )
187 .unwrap(),
188 Fq::from_str(
189 "12737072162917928935765906421286553437026542524142430058538254259863452556200",
190 )
191 .unwrap(),
192 Fq::from_str(
193 "9855113244149548216327019561589719324434080884827484555441182992249251832158",
194 )
195 .unwrap(),
196 ],
197 vec![
198 Fq::from_str(
199 "6006604346195593001833550983798183088851044846011297061071167569148810544010",
200 )
201 .unwrap(),
202 Fq::from_str(
203 "23783465709464699444911580329342599880163107932561352210466223087637763994288",
204 )
205 .unwrap(),
206 Fq::from_str(
207 "1581060363083815351710754851350813999229829634252940169154424073664057276774",
208 )
209 .unwrap(),
210 ],
211 vec![
212 Fq::from_str(
213 "24121961545310887440574053281799796355427122479626872394472157625455666323022",
214 )
215 .unwrap(),
216 Fq::from_str(
217 "23925781309638869606256007860000699567158045595326122474217734988331349678475",
218 )
219 .unwrap(),
220 Fq::from_str(
221 "433512980570318160778040929743715681206456334448542248765142091911433454703",
222 )
223 .unwrap(),
224 ],
225 vec![
226 Fq::from_str(
227 "8080307140515367021419180108267113624095868360927897204642243727009503935719",
228 )
229 .unwrap(),
230 Fq::from_str(
231 "13661807750191096117929173962837770733539092996971801228126331071941306856508",
232 )
233 .unwrap(),
234 Fq::from_str(
235 "9268394414065063505331314418649987795374055416089324253185088859000252370756",
236 )
237 .unwrap(),
238 ],
239 vec![
240 Fq::from_str(
241 "22374115023493407761095751712373350824513305398485824175669182288521610150311",
242 )
243 .unwrap(),
244 Fq::from_str(
245 "22951274634403942446739133926874770994604864227598567536319143390467218980824",
246 )
247 .unwrap(),
248 Fq::from_str(
249 "21411532836345163980832919797897483979345524322135010935120723250070247464549",
250 )
251 .unwrap(),
252 ],
253 vec![
254 Fq::from_str(
255 "20688285497159372157224857370703211924056803904697620218749985029000049442943",
256 )
257 .unwrap(),
258 Fq::from_str(
259 "8350087190167057556241775495760369408781696125331535735138679647687106863977",
260 )
261 .unwrap(),
262 Fq::from_str(
263 "13485893160159637778707269611856683957779710980787754997470728774769162419576",
264 )
265 .unwrap(),
266 ],
267 vec![
268 Fq::from_str(
269 "4621792784192688819920303666439776744566536330750316034321950771579978771021",
270 )
271 .unwrap(),
272 Fq::from_str(
273 "13900656491552343190424687336475573267660717627286734246676255663734655019912",
274 )
275 .unwrap(),
276 Fq::from_str(
277 "16577037405341365304416318048187907895286388691199320947077947552959834207823",
278 )
279 .unwrap(),
280 ],
281 vec![
282 Fq::from_str(
283 "17453637937712580666297652202332273322112052411250919589546137386514183913993",
284 )
285 .unwrap(),
286 Fq::from_str(
287 "9852736110707561006399582579453396957225552488023642073454517393228764176471",
288 )
289 .unwrap(),
290 Fq::from_str(
291 "8053970357622019747109700798952789019805031210730923951116580579194625334710",
292 )
293 .unwrap(),
294 ],
295 vec![
296 Fq::from_str(
297 "14566849926060034944494603512439278530775668595134329897253012222562109882008",
298 )
299 .unwrap(),
300 Fq::from_str(
301 "8863944349051942080060073891691580009950648437676309749771884964336231381737",
302 )
303 .unwrap(),
304 Fq::from_str(
305 "16455762285584757654310476505019438984453107876908065440396394186006196612077",
306 )
307 .unwrap(),
308 ],
309 vec![
310 Fq::from_str(
311 "28098375311516838082882166381119795701982164671360574802728073046992978741339",
312 )
313 .unwrap(),
314 Fq::from_str(
315 "13538346067341652694825445642847479918140731375902310280683284825070643960891",
316 )
317 .unwrap(),
318 Fq::from_str(
319 "18313412784975078534612748781201087502203257054025866271209086293337241477805",
320 )
321 .unwrap(),
322 ],
323 vec![
324 Fq::from_str(
325 "24807061345703288899043018750567607387907450632666147403804744880717736838940",
326 )
327 .unwrap(),
328 Fq::from_str(
329 "16638378638176552952794487891875614248110181610295183306789394461536640085108",
330 )
331 .unwrap(),
332 Fq::from_str(
333 "2342874860138849081032934096750004917991517717553229739958552529472431319656",
334 )
335 .unwrap(),
336 ],
337 vec![
338 Fq::from_str(
339 "21631810094765090996871180483650934431972930909326270651252393395613356531282",
340 )
341 .unwrap(),
342 Fq::from_str(
343 "2220759912186713489010197903069023809260408491503960321105305330086947471014",
344 )
345 .unwrap(),
346 Fq::from_str(
347 "14815764944505758746761442212662459585220143243155504464852948007238083120696",
348 )
349 .unwrap(),
350 ],
351 vec![
352 Fq::from_str(
353 "23947619952183462858644581465494050309407721428302029371055887418452994318961",
354 )
355 .unwrap(),
356 Fq::from_str(
357 "25035254658153233628169609451068923631269927394392748023889572264723092874720",
358 )
359 .unwrap(),
360 Fq::from_str(
361 "17468020412163678868776493601957969748197290347006692843306595815987772942732",
362 )
363 .unwrap(),
364 ],
365 vec![
366 Fq::from_str(
367 "15262198027618900223004625662874755104828479630165814039838611768431063172994",
368 )
369 .unwrap(),
370 Fq::from_str(
371 "25161066724266754383358798644805908588326959881061318668106454787543611445887",
372 )
373 .unwrap(),
374 Fq::from_str(
375 "2454250001039770891411267760383268680504653332090622148533496270387793031332",
376 )
377 .unwrap(),
378 ],
379 vec![
380 Fq::from_str(
381 "9171946491887082474979985164918822959719377078284664312866368737511724712644",
382 )
383 .unwrap(),
384 Fq::from_str(
385 "6672870238005411132577302023934139592378291207852994424857452575898007687159",
386 )
387 .unwrap(),
388 Fq::from_str(
389 "2950400608762766076731526167833938554190979516192019010641815746350334547745",
390 )
391 .unwrap(),
392 ],
393 vec![
394 Fq::from_str(
395 "10653725154501691589476837895400001173933804810435931645261606197625601363132",
396 )
397 .unwrap(),
398 Fq::from_str(
399 "12717400214508961810851553873706609743505640660238109459222577386574996883747",
400 )
401 .unwrap(),
402 Fq::from_str(
403 "5871058785976817081042949511195036111847495052209270758342334312740290470200",
404 )
405 .unwrap(),
406 ],
407 vec![
408 Fq::from_str(
409 "18192562665205900830717234913238180302424621739145466326708104656354353538015",
410 )
411 .unwrap(),
412 Fq::from_str(
413 "19946412409172091711185698839696950657650658896270607012902209489827790455314",
414 )
415 .unwrap(),
416 Fq::from_str(
417 "21997416257528392077410699901606794827305154904508120972585193876767785262539",
418 )
419 .unwrap(),
420 ],
421 vec![
422 Fq::from_str(
423 "16525092684784199198745517563091041705366544303388462641935777835264970071331",
424 )
425 .unwrap(),
426 Fq::from_str(
427 "27613372589672512522307803997948488817865025374001297632527692577079750053456",
428 )
429 .unwrap(),
430 Fq::from_str(
431 "23369674747888778238616865774843237791546925005553032792584302158017141634655",
432 )
433 .unwrap(),
434 ],
435 vec![
436 Fq::from_str(
437 "11012136308159330675912474383855146192700147583104742924419195363346115019405",
438 )
439 .unwrap(),
440 Fq::from_str(
441 "20632243971343595216801828590185617698839041744000918292113739726624680548813",
442 )
443 .unwrap(),
444 Fq::from_str(
445 "10530371852841765918702282883445676639977895775479854136871270050807595649710",
446 )
447 .unwrap(),
448 ],
449 vec![
450 Fq::from_str(
451 "1610594053831245596683250788274018471388810111366046583216577135605955718023",
452 )
453 .unwrap(),
454 Fq::from_str(
455 "452300846172044702598793611907955884294868639769163388132276731316720796255",
456 )
457 .unwrap(),
458 Fq::from_str(
459 "22297945145153422883128810575530182077542612397826351322358420927950400316504",
460 )
461 .unwrap(),
462 ],
463 vec![
464 Fq::from_str(
465 "28212510899948152845929142163236606049756849316851154583029383581129293825706",
466 )
467 .unwrap(),
468 Fq::from_str(
469 "28325924586146971645663587791728624896861517146549428987043066595915712075981",
470 )
471 .unwrap(),
472 Fq::from_str(
473 "23489013325315178311518261165509151135555509351661386106070231815049642443022",
474 )
475 .unwrap(),
476 ],
477 vec![
478 Fq::from_str(
479 "10150108696154604591036176090028652090941375062280095655463112192524823306544",
480 )
481 .unwrap(),
482 Fq::from_str(
483 "14935856239824547404885450872472169780177654619496758596151670953532153419587",
484 )
485 .unwrap(),
486 Fq::from_str(
487 "4367251608666794961207658726914177158125339342277880902441218521648798930454",
488 )
489 .unwrap(),
490 ],
491 vec![
492 Fq::from_str(
493 "14278046449956534912766622635951826857049583276976844525135170835571509013020",
494 )
495 .unwrap(),
496 Fq::from_str(
497 "11627801940273881243235293875277734806211947530882079339115454640100174268255",
498 )
499 .unwrap(),
500 Fq::from_str(
501 "22853853581419894582873479603685652928885253184240650995805892818180355600894",
502 )
503 .unwrap(),
504 ],
505 vec![
506 Fq::from_str(
507 "4405193089432137585625363585733613667088817369599257533888439029942466720878",
508 )
509 .unwrap(),
510 Fq::from_str(
511 "26434497741746827048559732407319982377645052620918789373329661707603241810667",
512 )
513 .unwrap(),
514 Fq::from_str(
515 "23558650878002025381506445692526977061352711282820117441110868042756853707843",
516 )
517 .unwrap(),
518 ],
519 vec![
520 Fq::from_str(
521 "27427423077748345654234924309581695092179468167973406115643356520054395647078",
522 )
523 .unwrap(),
524 Fq::from_str(
525 "17585801825757985265979208086560185342609289319992678737491966299829354657891",
526 )
527 .unwrap(),
528 Fq::from_str(
529 "22079131836316223121286612953926945430480043835170303484162677394496378207190",
530 )
531 .unwrap(),
532 ],
533 vec![
534 Fq::from_str(
535 "20126865597655889981803452476686954944892814234259869552204215672627920656068",
536 )
537 .unwrap(),
538 Fq::from_str(
539 "5591585339015997308682985123056479221565470335707041924016523106405300562835",
540 )
541 .unwrap(),
542 Fq::from_str(
543 "9422316572086279209843572429137982927615080330725918371521370800874341571474",
544 )
545 .unwrap(),
546 ],
547 vec![
548 Fq::from_str(
549 "2735677349719528139570614238939713941030373684882307164259316901880218894412",
550 )
551 .unwrap(),
552 Fq::from_str(
553 "16229147459127626384090303399894157248853232127961182470501666316464149067069",
554 )
555 .unwrap(),
556 Fq::from_str(
557 "17151067888069760812629817914442472623785916486309268828873486698948911058517",
558 )
559 .unwrap(),
560 ],
561 vec![
562 Fq::from_str(
563 "13833972862865550568348750465964022581895521701070662509936215512761615491351",
564 )
565 .unwrap(),
566 Fq::from_str(
567 "9624679817699048440664645568701817641311119158936258215534754849666144699339",
568 )
569 .unwrap(),
570 Fq::from_str(
571 "10273179847163882031630140477902608240997857384703412878925192706057610103613",
572 )
573 .unwrap(),
574 ],
575 vec![
576 Fq::from_str(
577 "3172037826021850467928085880043492158321918352296515787555947245998877188849",
578 )
579 .unwrap(),
580 Fq::from_str(
581 "28890802281119993101506497911757988639840653958256859430239635494708187190915",
582 )
583 .unwrap(),
584 Fq::from_str(
585 "23496953773368274731821824281559682992786773767847557735733251263969009271239",
586 )
587 .unwrap(),
588 ],
589 vec![
590 Fq::from_str(
591 "1509044982655321910215442389040863370827049078919961070795919190828975736187",
592 )
593 .unwrap(),
594 Fq::from_str(
595 "13927172650979098916742472053302036482743492746437467103459483008024082210879",
596 )
597 .unwrap(),
598 Fq::from_str(
599 "17248379591027039069313293591621091031164062825086122980769287846951363066520",
600 )
601 .unwrap(),
602 ],
603 vec![
604 Fq::from_str(
605 "11350333545134487336540967650634077894516131586708748380417042089147896079201",
606 )
607 .unwrap(),
608 Fq::from_str(
609 "639497848254405996993150855123515463224731962182127668267769103213580096582",
610 )
611 .unwrap(),
612 Fq::from_str(
613 "24528361599642320451530127347946798949257664936307333999618279589325586618880",
614 )
615 .unwrap(),
616 ],
617 vec![
618 Fq::from_str(
619 "8217015496508457685301448884203977810298711070026260090660268003968421268717",
620 )
621 .unwrap(),
622 Fq::from_str(
623 "6703444480721420507060701216472376128524677965704475494357937059812166295103",
624 )
625 .unwrap(),
626 Fq::from_str(
627 "8051365375874262471960241848873604339195556527603956582828833313772444122472",
628 )
629 .unwrap(),
630 ],
631 vec![
632 Fq::from_str(
633 "10412735174026641936105532807659667596947675372330827493649954160029449767122",
634 )
635 .unwrap(),
636 Fq::from_str(
637 "8447576362386697729021229138353952824970707645851763166490398451107606293885",
638 )
639 .unwrap(),
640 Fq::from_str(
641 "4802965296970904162106502573136505305073730277702271660292532219583823320181",
642 )
643 .unwrap(),
644 ],
645 vec![
646 Fq::from_str(
647 "3244354881334856885788568976540712586633556478250043997221528214026130052269",
648 )
649 .unwrap(),
650 Fq::from_str(
651 "817270901440592571623549787267103386561304980129799240746702119063425010300",
652 )
653 .unwrap(),
654 Fq::from_str(
655 "6566338353152134577893356938981496347522747926131278635019050445923229718029",
656 )
657 .unwrap(),
658 ],
659 vec![
660 Fq::from_str(
661 "4854521709622003124815206874897232905514824969466266873443062691298769768277",
662 )
663 .unwrap(),
664 Fq::from_str(
665 "12830134034124699064152980183243986699241944691238427861184919962819448276943",
666 )
667 .unwrap(),
668 Fq::from_str(
669 "24309439157688106320977023683093060719537142150089588950480669629964661236785",
670 )
671 .unwrap(),
672 ],
673 vec![
674 Fq::from_str(
675 "1853791709949511636795588377016980571084333441972847324139062389997895453872",
676 )
677 .unwrap(),
678 Fq::from_str(
679 "11399505004623970417786749745036397690793259153591025248188283534764565207306",
680 )
681 .unwrap(),
682 Fq::from_str(
683 "6280235834578097246976697944083887557501831809932305676532914637669922657807",
684 )
685 .unwrap(),
686 ],
687 vec![
688 Fq::from_str(
689 "1516294190187225192808636261678393666537186816904214776860202535671714230097",
690 )
691 .unwrap(),
692 Fq::from_str(
693 "5835813607391397757416951433662507638966861369364000865214031356023042341328",
694 )
695 .unwrap(),
696 Fq::from_str(
697 "25777313996516799380163546628133415256678997511953860435781885414872422583905",
698 )
699 .unwrap(),
700 ],
701 vec![
702 Fq::from_str(
703 "9749298878960864917089442034293906589697892682402070689770627645324414273893",
704 )
705 .unwrap(),
706 Fq::from_str(
707 "19986612197193695239708718365565978831607994386509967951279410162135133793419",
708 )
709 .unwrap(),
710 Fq::from_str(
711 "5020585421647265067890838871263925730422335215511670656851726444447972642755",
712 )
713 .unwrap(),
714 ],
715 vec![
716 Fq::from_str(
717 "7256822974971238434100017358319972368738353570339258522235883585691301791128",
718 )
719 .unwrap(),
720 Fq::from_str(
721 "9789139064283320903202623693175751994730652446378861671859478926598420184293",
722 )
723 .unwrap(),
724 Fq::from_str(
725 "19283468246375057076525422714896652730563534118070235174488237489890270899533",
726 )
727 .unwrap(),
728 ],
729 vec![
730 Fq::from_str(
731 "11487321478704551489982188818171823402443882145686911658585221913500937481156",
732 )
733 .unwrap(),
734 Fq::from_str(
735 "16513958012405406860890342996091255867910990589443610357743227675107758695101",
736 )
737 .unwrap(),
738 Fq::from_str(
739 "24764429351173766080138047602436205744310671344674490826288279531917797263231",
740 )
741 .unwrap(),
742 ],
743 vec![
744 Fq::from_str(
745 "8256258316375000496541664568891934707113720493937218096466691600593595285909",
746 )
747 .unwrap(),
748 Fq::from_str(
749 "26919625894863883593081175799908601863265420311251948374988589188905317081443",
750 )
751 .unwrap(),
752 Fq::from_str(
753 "10135851848127171199130812615581006825969108287418884763125596866448544567342",
754 )
755 .unwrap(),
756 ],
757 vec![
758 Fq::from_str(
759 "17567146349912867622479843655652582453162587996421871126612027345809646551661",
760 )
761 .unwrap(),
762 Fq::from_str(
763 "2524802431860351616270075327416865184018211992251290134350377936184047953453",
764 )
765 .unwrap(),
766 Fq::from_str(
767 "3417609143162661859785838333493682460709943782149216513733553607075915176256",
768 )
769 .unwrap(),
770 ],
771 vec![
772 Fq::from_str(
773 "6906455011502599710165862205505812668908382042647994457156780865092846286493",
774 )
775 .unwrap(),
776 Fq::from_str(
777 "21042097659487317081899343674473811663642293019125869396575405454328274948985",
778 )
779 .unwrap(),
780 Fq::from_str(
781 "25222370053690749913129090298406788520061040938312366403907461864202905656238",
782 )
783 .unwrap(),
784 ],
785 vec![
786 Fq::from_str(
787 "18933201791079410639949505893100361911334261775545573219434897335758052335005",
788 )
789 .unwrap(),
790 Fq::from_str(
791 "14503331557348715387048413780116585195932777696828173626366829282421027153184",
792 )
793 .unwrap(),
794 Fq::from_str(
795 "3558781473325529402549318082942465709639711182863041375748599816583729962116",
796 )
797 .unwrap(),
798 ],
799 vec![
800 Fq::from_str(
801 "23932570601084008621895097434501731960424360312878373523779451810455362953625",
802 )
803 .unwrap(),
804 Fq::from_str(
805 "13286131463754478912858022007443470896920464302917391606059553157137090717219",
806 )
807 .unwrap(),
808 Fq::from_str(
809 "9969435194445819847988134248075866286921574284754991873902788928171429847506",
810 )
811 .unwrap(),
812 ],
813 vec![
814 Fq::from_str(
815 "10821551500865029673311799086099720530496516676117927814621168667836737594374",
816 )
817 .unwrap(),
818 Fq::from_str(
819 "57689402905128519605376551862931564078571458212398163192591670282543962941",
820 )
821 .unwrap(),
822 Fq::from_str(
823 "4484359679395800410695081358212522306960518636189521201445105538223906998486",
824 )
825 .unwrap(),
826 ],
827 ],
828 }
829}
830
831pub fn static_params() -> &'static ArithmeticSpongeParams<Fq> {
833 static PARAMS: Lazy<ArithmeticSpongeParams<Fq>> = Lazy::new(params);
834 &PARAMS
835}