1use crate::poseidon::ArithmeticSpongeParams;
2use core::str::FromStr;
3use mina_curves::pasta::Fp;
4use once_cell::sync::Lazy;
5
6type Params = ArithmeticSpongeParams<Fp, { super::FULL_ROUNDS }>;
7
8#[must_use]
16#[allow(clippy::too_many_lines)]
17pub fn params() -> Params {
18 Params {
19 mds: [
20 [
21 Fp::from_str(
22 "12035446894107573964500871153637039653510326950134440362813193268448863222019",
23 )
24 .unwrap(),
25 Fp::from_str(
26 "25461374787957152039031444204194007219326765802730624564074257060397341542093",
27 )
28 .unwrap(),
29 Fp::from_str(
30 "27667907157110496066452777015908813333407980290333709698851344970789663080149",
31 )
32 .unwrap(),
33 ],
34 [
35 Fp::from_str(
36 "4491931056866994439025447213644536587424785196363427220456343191847333476930",
37 )
38 .unwrap(),
39 Fp::from_str(
40 "14743631939509747387607291926699970421064627808101543132147270746750887019919",
41 )
42 .unwrap(),
43 Fp::from_str(
44 "9448400033389617131295304336481030167723486090288313334230651810071857784477",
45 )
46 .unwrap(),
47 ],
48 [
49 Fp::from_str(
50 "10525578725509990281643336361904863911009900817790387635342941550657754064843",
51 )
52 .unwrap(),
53 Fp::from_str(
54 "27437632000253211280915908546961303399777448677029255413769125486614773776695",
55 )
56 .unwrap(),
57 Fp::from_str(
58 "27566319851776897085443681456689352477426926500749993803132851225169606086988",
59 )
60 .unwrap(),
61 ],
62 ],
63
64 round_constants: [
65 [
66 Fp::from_str(
67 "21155079691556475130150866428468322463125560312786319980770950159250751855431",
68 )
69 .unwrap(),
70 Fp::from_str(
71 "16883442198399350202652499677723930673110172289234921799701652810789093522349",
72 )
73 .unwrap(),
74 Fp::from_str(
75 "17030687036425314703519085065002231920937594822150793091243263847382891822670",
76 )
77 .unwrap(),
78 ],
79 [
80 Fp::from_str(
81 "25216718237129482752721276445368692059997901880654047883630276346421457427360",
82 )
83 .unwrap(),
84 Fp::from_str(
85 "9054264347380455706540423067244764093107767235485930776517975315876127782582",
86 )
87 .unwrap(),
88 Fp::from_str(
89 "26439087121446593160953570192891907825526260324480347638727375735543609856888",
90 )
91 .unwrap(),
92 ],
93 [
94 Fp::from_str(
95 "15251000790817261169639394496851831733819930596125214313084182526610855787494",
96 )
97 .unwrap(),
98 Fp::from_str(
99 "10861916012597714684433535077722887124099023163589869801449218212493070551767",
100 )
101 .unwrap(),
102 Fp::from_str(
103 "18597653523270601187312528478986388028263730767495975370566527202946430104139",
104 )
105 .unwrap(),
106 ],
107 [
108 Fp::from_str(
109 "15831416454198644276563319006805490049460322229057756462580029181847589006611",
110 )
111 .unwrap(),
112 Fp::from_str(
113 "15171856919255965617705854914448645702014039524159471542852132430360867202292",
114 )
115 .unwrap(),
116 Fp::from_str(
117 "15488495958879593647482715143904752785889816789652405888927117106448507625751",
118 )
119 .unwrap(),
120 ],
121 [
122 Fp::from_str(
123 "19039802679983063488134304670998725949842655199289961967801223969839823940152",
124 )
125 .unwrap(),
126 Fp::from_str(
127 "4720101937153217036737330058775388037616286510783561045464678919473230044408",
128 )
129 .unwrap(),
130 Fp::from_str(
131 "10226318327254973427513859412126640040910264416718766418164893837597674300190",
132 )
133 .unwrap(),
134 ],
135 [
136 Fp::from_str(
137 "20878756131129218406920515859235137275859844638301967889441262030146031838819",
138 )
139 .unwrap(),
140 Fp::from_str(
141 "7178475685651744631172532830973371642652029385893667810726019303466125436953",
142 )
143 .unwrap(),
144 Fp::from_str(
145 "1996970955918516145107673266490486752153434673064635795711751450164177339618",
146 )
147 .unwrap(),
148 ],
149 [
150 Fp::from_str(
151 "15205545916434157464929420145756897321482314798910153575340430817222504672630",
152 )
153 .unwrap(),
154 Fp::from_str(
155 "25660296961552699573824264215804279051322332899472350724416657386062327210698",
156 )
157 .unwrap(),
158 Fp::from_str(
159 "13842611741937412200312851417353455040950878279339067816479233688850376089318",
160 )
161 .unwrap(),
162 ],
163 [
164 Fp::from_str(
165 "1383799642177300432144836486981606294838630135265094078921115713566691160459",
166 )
167 .unwrap(),
168 Fp::from_str(
169 "1135532281155277588005319334542025976079676424839948500020664227027300010929",
170 )
171 .unwrap(),
172 Fp::from_str(
173 "4384117336930380014868572224801371377488688194169758696438185377724744869360",
174 )
175 .unwrap(),
176 ],
177 [
178 Fp::from_str(
179 "21725577575710270071808882335900370909424604447083353471892004026180492193649",
180 )
181 .unwrap(),
182 Fp::from_str(
183 "676128913284806802699862508051022306366147359505124346651466289788974059668",
184 )
185 .unwrap(),
186 Fp::from_str(
187 "25186611339598418732666781049829183886812651492845008333418424746493100589207",
188 )
189 .unwrap(),
190 ],
191 [
192 Fp::from_str(
193 "10402240124664763733060094237696964473609580414190944671778761753887884341073",
194 )
195 .unwrap(),
196 Fp::from_str(
197 "11918307118590866200687906627767559273324023585642003803337447146531313172441",
198 )
199 .unwrap(),
200 Fp::from_str(
201 "16895677254395661024186292503536662354181715337630376909778003268311296637301",
202 )
203 .unwrap(),
204 ],
205 [
206 Fp::from_str(
207 "23818602699032741669874498456696325705498383130221297580399035778119213224810",
208 )
209 .unwrap(),
210 Fp::from_str(
211 "4285193711150023248690088154344086684336247475445482883105661485741762600154",
212 )
213 .unwrap(),
214 Fp::from_str(
215 "19133204443389422404056150665863951250222934590192266371578950735825153238612",
216 )
217 .unwrap(),
218 ],
219 [
220 Fp::from_str(
221 "5515589673266504033533906836494002702866463791762187140099560583198974233395",
222 )
223 .unwrap(),
224 Fp::from_str(
225 "11830435563729472715615302060564876527985621376031612798386367965451821182352",
226 )
227 .unwrap(),
228 Fp::from_str(
229 "7510711479224915247011074129666445216001563200717943545636462819681638560128",
230 )
231 .unwrap(),
232 ],
233 [
234 Fp::from_str(
235 "24694843201907722940091503626731830056550128225297370217610328578733387733444",
236 )
237 .unwrap(),
238 Fp::from_str(
239 "27361655066973784653563425664091383058914302579694897188019422193564924110528",
240 )
241 .unwrap(),
242 Fp::from_str(
243 "21606788186194534241166833954371013788633495786419718955480491478044413102713",
244 )
245 .unwrap(),
246 ],
247 [
248 Fp::from_str(
249 "19934060063390905409309407607814787335159021816537006003398035237707924006757",
250 )
251 .unwrap(),
252 Fp::from_str(
253 "8495813630060004961768092461554180468161254914257386012937942498774724649553",
254 )
255 .unwrap(),
256 Fp::from_str(
257 "27524960680529762202005330464726908693944660961000958842417927307941561848461",
258 )
259 .unwrap(),
260 ],
261 [
262 Fp::from_str(
263 "15178481650950399259757805400615635703086255035073919114667254549690862896985",
264 )
265 .unwrap(),
266 Fp::from_str(
267 "16164780354695672259791105197274509251141405713012804937107314962551600380870",
268 )
269 .unwrap(),
270 Fp::from_str(
271 "10529167793600778056702353412758954281652843049850979705476598375597148191979",
272 )
273 .unwrap(),
274 ],
275 [
276 Fp::from_str(
277 "721141070179074082553302896292167103755384741083338957818644728290501449040",
278 )
279 .unwrap(),
280 Fp::from_str(
281 "22044408985956234023934090378372374883099115753118261312473550998188148912041",
282 )
283 .unwrap(),
284 Fp::from_str(
285 "27068254103241989852888872162525066148367014691482601147536314217249046186315",
286 )
287 .unwrap(),
288 ],
289 [
290 Fp::from_str(
291 "3880429241956357176819112098792744584376727450211873998699580893624868748961",
292 )
293 .unwrap(),
294 Fp::from_str(
295 "17387097125522937623262508065966749501583017524609697127088211568136333655623",
296 )
297 .unwrap(),
298 Fp::from_str(
299 "6256814421247770895467770393029354017922744712896100913895513234184920631289",
300 )
301 .unwrap(),
302 ],
303 [
304 Fp::from_str(
305 "2942627347777337187690939671601251987500285937340386328746818861972711408579",
306 )
307 .unwrap(),
308 Fp::from_str(
309 "24031654937764287280548628128490074801809101323243546313826173430897408945397",
310 )
311 .unwrap(),
312 Fp::from_str(
313 "14401457902976567713827506689641442844921449636054278900045849050301331732143",
314 )
315 .unwrap(),
316 ],
317 [
318 Fp::from_str(
319 "20170632877385406450742199836933900257692624353889848352407590794211839130727",
320 )
321 .unwrap(),
322 Fp::from_str(
323 "24056496193857444725324410428861722338174099794084586764867109123681727290181",
324 )
325 .unwrap(),
326 Fp::from_str(
327 "11257913009612703357266904349759250619633397075667824800196659858304604714965",
328 )
329 .unwrap(),
330 ],
331 [
332 Fp::from_str(
333 "22228158921984425749199071461510152694025757871561406897041788037116931009246",
334 )
335 .unwrap(),
336 Fp::from_str(
337 "9152163378317846541430311327336774331416267016980485920222768197583559318682",
338 )
339 .unwrap(),
340 Fp::from_str(
341 "13906695403538884432896105059360907560653506400343268230130536740148070289175",
342 )
343 .unwrap(),
344 ],
345 [
346 Fp::from_str(
347 "7220714562509721437034241786731185291972496952091254931195414855962344025067",
348 )
349 .unwrap(),
350 Fp::from_str(
351 "27608867305903811397208862801981345878179337369367554478205559689592889691927",
352 )
353 .unwrap(),
354 Fp::from_str(
355 "13288465747219756218882697408422850918209170830515545272152965967042670763153",
356 )
357 .unwrap(),
358 ],
359 [
360 Fp::from_str(
361 "8251343892709140154567051772980662609566359215743613773155065627504813327653",
362 )
363 .unwrap(),
364 Fp::from_str(
365 "22035238365102171608166944627493632660244312563934708756134297161332908879090",
366 )
367 .unwrap(),
368 Fp::from_str(
369 "13560937766273321037807329177749403409731524715067067740487246745322577571823",
370 )
371 .unwrap(),
372 ],
373 [
374 Fp::from_str(
375 "21652518608959234550262559135285358020552897349934571164032339186996805408040",
376 )
377 .unwrap(),
378 Fp::from_str(
379 "22479086963324173427634460342145551255011746993910136574926173581069603086891",
380 )
381 .unwrap(),
382 Fp::from_str(
383 "13676501958531751140966255121288182631772843001727158043704693838707387130095",
384 )
385 .unwrap(),
386 ],
387 [
388 Fp::from_str(
389 "5680310394102577950568930199056707827608275306479994663197187031893244826674",
390 )
391 .unwrap(),
392 Fp::from_str(
393 "25125360450906166639190392763071557410047335755341060350879819485506243289998",
394 )
395 .unwrap(),
396 Fp::from_str(
397 "22659254028501616785029594492374243581602744364859762239504348429834224676676",
398 )
399 .unwrap(),
400 ],
401 [
402 Fp::from_str(
403 "23101411405087512171421838856759448177512679869882987631073569441496722536782",
404 )
405 .unwrap(),
406 Fp::from_str(
407 "24149774013240355952057123660656464942409328637280437515964899830988178868108",
408 )
409 .unwrap(),
410 Fp::from_str(
411 "5782097512368226173095183217893826020351125522160843964147125728530147423065",
412 )
413 .unwrap(),
414 ],
415 [
416 Fp::from_str(
417 "13540762114500083869920564649399977644344247485313990448129838910231204868111",
418 )
419 .unwrap(),
420 Fp::from_str(
421 "20421637734328811337527547703833013277831804985438407401987624070721139913982",
422 )
423 .unwrap(),
424 Fp::from_str(
425 "7742664118615900772129122541139124149525273579639574972380600206383923500701",
426 )
427 .unwrap(),
428 ],
429 [
430 Fp::from_str(
431 "1109643801053963021778418773196543643970146666329661268825691230294798976318",
432 )
433 .unwrap(),
434 Fp::from_str(
435 "16580663920817053843121063692728699890952505074386761779275436996241901223840",
436 )
437 .unwrap(),
438 Fp::from_str(
439 "14638514680222429058240285918830106208025229459346033470787111294847121792366",
440 )
441 .unwrap(),
442 ],
443 [
444 Fp::from_str(
445 "17080385857812672649489217965285727739557573467014392822992021264701563205891",
446 )
447 .unwrap(),
448 Fp::from_str(
449 "26176268111736737558502775993925696791974738793095023824029827577569530708665",
450 )
451 .unwrap(),
452 Fp::from_str(
453 "4382756253392449071896813428140986330161215829425086284611219278674857536001",
454 )
455 .unwrap(),
456 ],
457 [
458 Fp::from_str(
459 "13934033814940585315406666445960471293638427404971553891617533231178815348902",
460 )
461 .unwrap(),
462 Fp::from_str(
463 "27054912732979753314774418228399230433963143177662848084045249524271046173121",
464 )
465 .unwrap(),
466 Fp::from_str(
467 "28916070403698593376490976676534962592542013020010643734621202484860041243391",
468 )
469 .unwrap(),
470 ],
471 [
472 Fp::from_str(
473 "24820015636966360150164458094894587765384135259446295278101998130934963922381",
474 )
475 .unwrap(),
476 Fp::from_str(
477 "7969535238488580655870884015145760954416088335296905520306227531221721881868",
478 )
479 .unwrap(),
480 Fp::from_str(
481 "7690547696740080985104189563436871930607055124031711216224219523236060212249",
482 )
483 .unwrap(),
484 ],
485 [
486 Fp::from_str(
487 "9712576468091272384496248353414290908377825697488757134833205246106605867289",
488 )
489 .unwrap(),
490 Fp::from_str(
491 "12148698031438398980683630141370402088785182722473169207262735228500190477924",
492 )
493 .unwrap(),
494 Fp::from_str(
495 "14359657643133476969781351728574842164124292705609900285041476162075031948227",
496 )
497 .unwrap(),
498 ],
499 [
500 Fp::from_str(
501 "23563839965372067275137992801035780013422228997724286060975035719045352435470",
502 )
503 .unwrap(),
504 Fp::from_str(
505 "4184634822776323233231956802962638484057536837393405750680645555481330909086",
506 )
507 .unwrap(),
508 Fp::from_str(
509 "16249511905185772125762038789038193114431085603985079639889795722501216492487",
510 )
511 .unwrap(),
512 ],
513 [
514 Fp::from_str(
515 "11001863048692031559800673473526311616702863826063550559568315794438941516621",
516 )
517 .unwrap(),
518 Fp::from_str(
519 "4702354107983530219070178410740869035350641284373933887080161024348425080464",
520 )
521 .unwrap(),
522 Fp::from_str(
523 "23751680507533064238793742311430343910720206725883441625894258483004979501613",
524 )
525 .unwrap(),
526 ],
527 [
528 Fp::from_str(
529 "28670526516158451470169873496541739545860177757793329093045522432279094518766",
530 )
531 .unwrap(),
532 Fp::from_str(
533 "3568312993091537758218792253361873752799472566055209125947589819564395417072",
534 )
535 .unwrap(),
536 Fp::from_str(
537 "1819755756343439646550062754332039103654718693246396323207323333948654200950",
538 )
539 .unwrap(),
540 ],
541 [
542 Fp::from_str(
543 "5372129954699791301953948907349887257752247843844511069896766784624930478273",
544 )
545 .unwrap(),
546 Fp::from_str(
547 "17512156688034945920605615850550150476471921176481039715733979181538491476080",
548 )
549 .unwrap(),
550 Fp::from_str(
551 "25777105342317622165159064911913148785971147228777677435200128966844208883059",
552 )
553 .unwrap(),
554 ],
555 [
556 Fp::from_str(
557 "25350392006158741749134238306326265756085455157012701586003300872637887157982",
558 )
559 .unwrap(),
560 Fp::from_str(
561 "20096724945283767296886159120145376967480397366990493578897615204296873954844",
562 )
563 .unwrap(),
564 Fp::from_str(
565 "8063283381910110762785892100479219642751540456251198202214433355775540036851",
566 )
567 .unwrap(),
568 ],
569 [
570 Fp::from_str(
571 "4393613870462297385565277757207010824900723217720226130342463666351557475823",
572 )
573 .unwrap(),
574 Fp::from_str(
575 "9874972555132910032057499689351411450892722671352476280351715757363137891038",
576 )
577 .unwrap(),
578 Fp::from_str(
579 "23590926474329902351439438151596866311245682682435235170001347511997242904868",
580 )
581 .unwrap(),
582 ],
583 [
584 Fp::from_str(
585 "17723373371137275859467518615551278584842947963894791032296774955869958211070",
586 )
587 .unwrap(),
588 Fp::from_str(
589 "2350345015303336966039836492267992193191479606566494799781846958620636621159",
590 )
591 .unwrap(),
592 Fp::from_str(
593 "27755207882790211140683010581856487965587066971982625511152297537534623405016",
594 )
595 .unwrap(),
596 ],
597 [
598 Fp::from_str(
599 "6584607987789185408123601849106260907671314994378225066806060862710814193906",
600 )
601 .unwrap(),
602 Fp::from_str(
603 "609759108847171587253578490536519506369136135254150754300671591987320319770",
604 )
605 .unwrap(),
606 Fp::from_str(
607 "28435187585965602110074342250910608316032945187476441868666714022529803033083",
608 )
609 .unwrap(),
610 ],
611 [
612 Fp::from_str(
613 "16016664911651770663938916450245705908287192964254704641717751103464322455303",
614 )
615 .unwrap(),
616 Fp::from_str(
617 "17551273293154696089066968171579395800922204266630874071186322718903959339163",
618 )
619 .unwrap(),
620 Fp::from_str(
621 "20414195497994754529479032467015716938594722029047207834858832838081413050198",
622 )
623 .unwrap(),
624 ],
625 [
626 Fp::from_str(
627 "19773307918850685463180290966774465805537520595602496529624568184993487593855",
628 )
629 .unwrap(),
630 Fp::from_str(
631 "24598603838812162820757838364185126333280131847747737533989799467867231166980",
632 )
633 .unwrap(),
634 Fp::from_str(
635 "11040972566103463398651864390163813377135738019556270484707889323659789290225",
636 )
637 .unwrap(),
638 ],
639 [
640 Fp::from_str(
641 "5189242080957784038860188184443287562488963023922086723850863987437818393811",
642 )
643 .unwrap(),
644 Fp::from_str(
645 "1435203288979376557721239239445613396009633263160237764653161500252258220144",
646 )
647 .unwrap(),
648 Fp::from_str(
649 "13066591163578079667911016543985168493088721636164837520689376346534152547210",
650 )
651 .unwrap(),
652 ],
653 [
654 Fp::from_str(
655 "17345901407013599418148210465150865782628422047458024807490502489711252831342",
656 )
657 .unwrap(),
658 Fp::from_str(
659 "22139633362249671900128029132387275539363684188353969065288495002671733200348",
660 )
661 .unwrap(),
662 Fp::from_str(
663 "1061056418502836172283188490483332922126033656372467737207927075184389487061",
664 )
665 .unwrap(),
666 ],
667 [
668 Fp::from_str(
669 "10241738906190857416046229928455551829189196941239601756375665129874835232299",
670 )
671 .unwrap(),
672 Fp::from_str(
673 "27808033332417845112292408673209999320983657696373938259351951416571545364415",
674 )
675 .unwrap(),
676 Fp::from_str(
677 "18820154989873674261497645724903918046694142479240549687085662625471577737140",
678 )
679 .unwrap(),
680 ],
681 [
682 Fp::from_str(
683 "7983688435214640842673294735439196010654951226956101271763849527529940619307",
684 )
685 .unwrap(),
686 Fp::from_str(
687 "17067928657801807648925755556866676899145460770352731818062909643149568271566",
688 )
689 .unwrap(),
690 Fp::from_str(
691 "24472070825156236829515738091791182856425635433388202153358580534810244942762",
692 )
693 .unwrap(),
694 ],
695 [
696 Fp::from_str(
697 "25752201169361795911258625731016717414310986450004737514595241038036936283227",
698 )
699 .unwrap(),
700 Fp::from_str(
701 "26041505376284666160132119888949817249574689146924196064963008712979256107535",
702 )
703 .unwrap(),
704 Fp::from_str(
705 "23977050489096115210391718599021827780049209314283111721864956071820102846008",
706 )
707 .unwrap(),
708 ],
709 [
710 Fp::from_str(
711 "26678257097278788410676026718736087312816016749016738933942134600725962413805",
712 )
713 .unwrap(),
714 Fp::from_str(
715 "10480026985951498884090911619636977502506079971893083605102044931823547311729",
716 )
717 .unwrap(),
718 Fp::from_str(
719 "21126631300593007055117122830961273871167754554670317425822083333557535463396",
720 )
721 .unwrap(),
722 ],
723 [
724 Fp::from_str(
725 "1564862894215434177641156287699106659379648851457681469848362532131406827573",
726 )
727 .unwrap(),
728 Fp::from_str(
729 "13247162472821152334486419054854847522301612781818744556576865965657773174584",
730 )
731 .unwrap(),
732 Fp::from_str(
733 "8673615954922496961704442777870253767001276027366984739283715623634850885984",
734 )
735 .unwrap(),
736 ],
737 [
738 Fp::from_str(
739 "2794525076937490807476666942602262298677291735723129868457629508555429470085",
740 )
741 .unwrap(),
742 Fp::from_str(
743 "4656175953888995612264371467596648522808911819700660048695373348629527757049",
744 )
745 .unwrap(),
746 Fp::from_str(
747 "23221574237857660318443567292601561932489621919104226163978909845174616477329",
748 )
749 .unwrap(),
750 ],
751 [
752 Fp::from_str(
753 "1878392460078272317716114458784636517603142716091316893054365153068227117145",
754 )
755 .unwrap(),
756 Fp::from_str(
757 "2370412714505757731457251173604396662292063533194555369091306667486647634097",
758 )
759 .unwrap(),
760 Fp::from_str(
761 "17409784861870189930766639925394191888667317762328427589153989811980152373276",
762 )
763 .unwrap(),
764 ],
765 [
766 Fp::from_str(
767 "25869136641898166514111941708608048269584233242773814014385564101168774293194",
768 )
769 .unwrap(),
770 Fp::from_str(
771 "11361209360311194794795494027949518465383235799633128250259863567683341091323",
772 )
773 .unwrap(),
774 Fp::from_str(
775 "14913258820718821235077379851098720071902170702113538811112331615559409988569",
776 )
777 .unwrap(),
778 ],
779 [
780 Fp::from_str(
781 "12957012022018304419868287033513141736995211906682903915897515954290678373899",
782 )
783 .unwrap(),
784 Fp::from_str(
785 "17128889547450684566010972445328859295804027707361763477802050112063630550300",
786 )
787 .unwrap(),
788 Fp::from_str(
789 "23329219085372232771288306767242735245018143857623151155581182779769305489903",
790 )
791 .unwrap(),
792 ],
793 [
794 Fp::from_str(
795 "1607741027962933685476527275858938699728586794398382348454736018784568853937",
796 )
797 .unwrap(),
798 Fp::from_str(
799 "2611953825405141009309433982109911976923326848135736099261873796908057448476",
800 )
801 .unwrap(),
802 Fp::from_str(
803 "7372230383134982628913227482618052530364724821976589156840317933676130378411",
804 )
805 .unwrap(),
806 ],
807 [
808 Fp::from_str(
809 "20203606758501212620842735123770014952499754751430660463060696990317556818571",
810 )
811 .unwrap(),
812 Fp::from_str(
813 "4678361398979174017885631008335559529633853759463947250620930343087749944307",
814 )
815 .unwrap(),
816 Fp::from_str(
817 "27176462634198471376002287271754121925750749676999036165457559387195124025594",
818 )
819 .unwrap(),
820 ],
821 [
822 Fp::from_str(
823 "6361981813552614697928697527332318530502852015189048838072565811230204474643",
824 )
825 .unwrap(),
826 Fp::from_str(
827 "13815234633287489023151647353581705241145927054858922281829444557905946323248",
828 )
829 .unwrap(),
830 Fp::from_str(
831 "10888828634279127981352133512429657747610298502219125571406085952954136470354",
832 )
833 .unwrap(),
834 ],
835 ],
836 }
837}
838
839#[must_use]
841pub fn static_params() -> &'static Params {
842 static PARAMS: Lazy<Params> = Lazy::new(params);
843 &PARAMS
844}