EXAMPLE.md

=== RUN TestFRIOperations === RUN TestFRIOperations/TestPolynomialIndexer === RUN TestFRIOperations/TestNextFRILayer --- PASS: TestFRIOperations (0.00s) --- PASS: TestFRIOperations/TestPolynomialIndexer (0.00s) --- PASS: TestFRIOperations/TestNextFRILayer (0.00s) === RUN TestFiatShamirChannel === RUN TestFiatShamirChannel/TestFiatShamirReproducible === RUN TestFiatShamirChannel/TestFiatShamirUniformity --- PASS: TestFiatShamirChannel (0.03s) --- PASS: TestFiatShamirChannel/TestFiatShamirReproducible (0.00s) --- PASS: TestFiatShamirChannel/TestFiatShamirUniformity (0.03s) === RUN TestZKGen === RUN TestZKGen/TestParamGen TestZKGen/TestParamGen: stark_test.go:51: Trace length : 1023 TestZKGen/TestParamGen: stark_test.go:52: Subgroup G generator : {0xc00047c7c0 {0xc00000e520}} TestZKGen/TestParamGen: stark_test.go:53: Subgroup order: 1024 TestZKGen/TestParamGen: stark_test.go:54: Subgroup H generator : {0xc00047c7e0 {0xc00000e520}} TestZKGen/TestParamGen: stark_test.go:55: Subgroup order : 8192 TestZKGen/TestParamGen: stark_test.go:56: Polynomial : [763535180x^1022 + 2953734559x^1021 + 2698741152x^1020 + 54098756x^1019 + 2788213538x^1018 + 1155670422x^1017 + 624616355x^1016 + 1230220650x^1015 + 3031370424x^1014 + 1435006670x^1013 + 1348599612x^1012 + 2747653392x^1011 + 2391522000x^1010 + 1532076140x^1009 + 928299345x^1008 + 406142696x^1007 + 2295522408x^1006 + 172462311x^1005 + 1761175514x^1004 + 2672236573x^1003 + 2797028516x^1002 + 1598484342x^1001 + 698585313x^1000 + 1011944621x^999 + 1735681393x^998 + 2344132794x^997 + 2600542954x^996 + 2448103956x^995 + 145200136x^994 + 2367475398x^993 + 2660164613x^992 + 112633116x^991 + 2493527243x^990 + 48178635x^989 + 1670818442x^988 + 1134611247x^987 + 2876372092x^986 + 1809483589x^985 + 1466095103x^984 + 629829498x^983 + 1908615229x^982 + 2380058446x^981 + 2652446578x^980 + 1627030925x^979 + 1056472000x^978 + 1776159787x^977 + 3094379747x^976 + 53809198x^975 + 682704628x^974 + 547848925x^973 + 2764116119x^972 + 1209969545x^971 + 2800348169x^970 + 769949458x^969 + 3043211581x^968 + 297325109x^967 + 201046882x^966 + 2238420231x^965 + 858104209x^964 + 212655357x^963 + 1215862452x^962 + 59872740x^961 + 469948711x^960 + 1732924650x^959 + 332395339x^958 + 3196994949x^957 + 1197613017x^956 + 1085003378x^955 + 2295297062x^954 + 1268120707x^953 + 3086388710x^952 + 1340488431x^951 + 3094558470x^950 + 3182900063x^949 + 1083096761x^948 + 1021022741x^947 + 1022466975x^946 + 103274661x^945 + 1718764898x^944 + 1805755298x^943 + 2073967267x^942 + 2106964031x^941 + 2812990823x^940 + 2142422668x^939 + 304063246x^938 + 2886656868x^937 + 649429281x^936 + 492702754x^935 + 2400915015x^934 + 2855943519x^933 + 2239210343x^932 + 1830619306x^931 + 2806015484x^930 + 770380453x^929 + 1833172752x^928 + 1384098939x^927 + 3078499757x^926 + 1718336127x^925 + 63006213x^924 + 1721770553x^923 + 1065019516x^922 + 318274395x^921 + 504828898x^920 + 1498914104x^919 + 1026104196x^918 + 1562102460x^917 + 40169096x^916 + 2011640807x^915 + 1302569287x^914 + 2330009575x^913 + 2212090684x^912 + 2392988485x^911 + 2596501011x^910 + 1507119213x^909 + 3049952347x^908 + 2107087418x^907 + 121895789x^906 + 1185904595x^905 + 1395520902x^904 + 2979715775x^903 + 2565079614x^902 + 2201284634x^901 + 3070173047x^900 + 1269955387x^899 + 88270703x^898 + 2211769482x^897 + 2445891864x^896 + 2976388446x^895 + 629386684x^894 + 9187804x^893 + 2865764004x^892 + 2593108942x^891 + 529507768x^890 + 337118969x^889 + 1564871661x^888 + 1238507920x^887 + 2061703491x^886 + 526280491x^885 + 2547234538x^884 + 1529493258x^883 + 2882444001x^882 + 107989634x^881 + 1406339250x^880 + 212271283x^879 + 3030417531x^878 + 566518066x^877 + 217561432x^876 + 2698383350x^875 + 733635072x^874 + 2369407629x^873 + 2928564793x^872 + 660022196x^871 + 2590494565x^870 + 1654592262x^869 + 3125621896x^868 + 1536479399x^867 + 429232426x^866 + 475487956x^865 + 2279282057x^864 + 2192738535x^863 + 1820543406x^862 + 740032625x^861 + 69618066x^860 + 1690921633x^859 + 3214291463x^858 + 3114628530x^857 + 1895913997x^856 + 2759524256x^855 + 1585728778x^854 + 3091081183x^853 + 2269646028x^852 + 216556539x^851 + 27326784x^850 + 2716890312x^849 + 94130171x^848 + 741376231x^847 + 45609698x^846 + 1044283874x^845 + 2091401010x^844 + 871413678x^843 + 998815532x^842 + 1140223961x^841 + 1908154355x^840 + 2407311427x^839 + 528264097x^838 + 1362575789x^837 + 2483370010x^836 + 198861864x^835 + 581247328x^834 + 2348706503x^833 + 1889700974x^832 + 532717217x^831 + 391085961x^830 + 2734470688x^829 + 415635975x^828 + 2081668660x^827 + 2079791987x^826 + 2688218265x^825 + 3115955577x^824 + 2103946206x^823 + 1160122605x^822 + 2313226365x^821 + 2687908776x^820 + 1393611108x^819 + 996876910x^818 + 1047702554x^817 + 383558962x^816 + 2173645819x^815 + 1694540834x^814 + 1799835683x^813 + 321700806x^812 + 627853421x^811 + 1427346271x^810 + 1680953100x^809 + 2116899397x^808 + 1363638744x^807 + 658878663x^806 + 2370028596x^805 + 1289644579x^804 + 534370513x^803 + 1568388510x^802 + 1891160196x^801 + 2552391356x^800 + 82625553x^799 + 306109757x^798 + 2729337012x^797 + 1683997148x^796 + 764309302x^795 + 1758388039x^794 + 1932398853x^793 + 794928409x^792 + 280235727x^791 + 2594928200x^790 + 287336741x^789 + 216374717x^788 + 2555051839x^787 + 568491982x^786 + 2246869418x^785 + 1164794368x^784 + 877969847x^783 + 2773076460x^782 + 1362935543x^781 + 2723061961x^780 + 2316778740x^779 + 2347164960x^778 + 943868620x^777 + 420332479x^776 + 117154825x^775 + 2491455499x^774 + 3069896264x^773 + 2392213747x^772 + 978053679x^771 + 1967290622x^770 + 890040346x^769 + 3181557246x^768 + 1930588427x^767 + 2697188859x^766 + 2788616992x^765 + 760271132x^764 + 2511514867x^763 + 1703015873x^762 + 2105170243x^761 + 1296184039x^760 + 1085185743x^759 + 2547461772x^758 + 207796381x^757 + 2409474437x^756 + 2825391304x^755 + 82411146x^754 + 3174836034x^753 + 2193521865x^752 + 1487976792x^751 + 520932180x^750 + 2896343391x^749 + 2613095404x^748 + 2696026993x^747 + 1038598999x^746 + 1321085501x^745 + 216336727x^744 + 122032525x^743 + 2879881037x^742 + 2814564998x^741 + 798430091x^740 + 2969982423x^739 + 1014590955x^738 + 1601515766x^737 + 1911312241x^736 + 474670607x^735 + 2768053368x^734 + 1795287871x^733 + 2912775689x^732 + 989352489x^731 + 860529972x^730 + 2246322650x^729 + 1900932982x^728 + 1935580648x^727 + 2792973245x^726 + 2001304512x^725 + 222941861x^724 + 1584641077x^723 + 2729996072x^722 + 1595078093x^721 + 684954221x^720 + 1282574015x^719 + 90467415x^718 + 2090982556x^717 + 653504342x^716 + 2632182137x^715 + 2452579786x^714 + 2497909915x^713 + 1101298002x^712 + 1288103768x^711 + 1549176538x^710 + 8209440x^709 + 222590362x^708 + 3047550067x^707 + 2376375093x^706 + 597144904x^705 + 2156469249x^704 + 1527933271x^703 + 947679794x^702 + 941607767x^701 + 2045665533x^700 + 2477507789x^699 + 3209784617x^698 + 2388923550x^697 + 2903939259x^696 + 2686720182x^695 + 2960680560x^694 + 806513345x^693 + 495019105x^692 + 2730726882x^691 + 2323807513x^690 + 1279380531x^689 + 2774374207x^688 + 2127356347x^687 + 3109362510x^686 + 2064966723x^685 + 1093939533x^684 + 127076966x^683 + 1033488907x^682 + 611598959x^681 + 707571323x^680 + 2943502694x^679 + 2783938419x^678 + 766632097x^677 + 158902345x^676 + 2940059140x^675 + 1036922208x^674 + 197250298x^673 + 3022118902x^672 + 2546551997x^671 + 537327588x^670 + 536250863x^669 + 2792606417x^668 + 837526976x^667 + 2369480572x^666 + 356809676x^665 + 1884622154x^664 + 2453406484x^663 + 2549494899x^662 + 1120322610x^661 + 199352840x^660 + 1835597163x^659 + 2890386478x^658 + 1411809803x^657 + 2417809567x^656 + 2113079931x^655 + 707900826x^654 + 661915046x^653 + 977862145x^652 + 264328672x^651 + 137725564x^650 + 41758302x^649 + 1253748229x^648 + 1349473096x^647 + 397722861x^646 + 659625200x^645 + 230102119x^644 + 2928209520x^643 + 2744170408x^642 + 1467260128x^641 + 147190116x^640 + 930158251x^639 + 1872561314x^638 + 2117184984x^637 + 1697697878x^636 + 2314266354x^635 + 1041359839x^634 + 2742195817x^633 + 466937591x^632 + 1962760739x^631 + 2857822752x^630 + 54554006x^629 + 1647881264x^628 + 577603966x^627 + 2799518187x^626 + 975084563x^625 + 2058165272x^624 + 2224254227x^623 + 2306255739x^622 + 205805547x^621 + 2483353920x^620 + 1791099131x^619 + 1363276843x^618 + 773799447x^617 + 1173247951x^616 + 2747894117x^615 + 2523498221x^614 + 2217116088x^613 + 347921116x^612 + 1918316359x^611 + 2881233568x^610 + 279133563x^609 + 524758410x^608 + 1181520840x^607 + 1551613360x^606 + 477620424x^605 + 2435936410x^604 + 2217584817x^603 + 2330438410x^602 + 1213446812x^601 + 2625572843x^600 + 2865992487x^599 + 493825897x^598 + 1166295988x^597 + 1267929266x^596 + 3065182177x^595 + 3118102884x^594 + 1306179921x^593 + 3145541388x^592 + 290289134x^591 + 2639114329x^590 + 2005306542x^589 + 1735495469x^588 + 1982035059x^587 + 760245259x^586 + 487585479x^585 + 1964611384x^584 + 1052583610x^583 + 1459159749x^582 + 1964662809x^581 + 3218924436x^580 + 1629884706x^579 + 2632718517x^578 + 748737842x^577 + 2359103461x^576 + 2006432280x^575 + 356967772x^574 + 2860158175x^573 + 2452867954x^572 + 3189869933x^571 + 2923664805x^570 + 2274221620x^569 + 2557679369x^568 + 2739897125x^567 + 1190540107x^566 + 1493557727x^565 + 251107793x^564 + 2267315612x^563 + 1633158663x^562 + 2021831892x^561 + 1525165945x^560 + 3054980540x^559 + 2775044749x^558 + 2711284965x^557 + 2860210808x^556 + 376392094x^555 + 869362950x^554 + 247078866x^553 + 2374022601x^552 + 832483154x^551 + 678225041x^550 + 3052074996x^549 + 3049426036x^548 + 2954487180x^547 + 872002972x^546 + 864983311x^545 + 2804396922x^544 + 2184558940x^543 + 1991297704x^542 + 2996566867x^541 + 2096678532x^540 + 3173510784x^539 + 1300067706x^538 + 815293809x^537 + 1381215744x^536 + 2956196486x^535 + 262786576x^534 + 1273715730x^533 + 1818878984x^532 + 1565823445x^531 + 2031243484x^530 + 761693034x^529 + 2985522467x^528 + 2711747228x^527 + 3107229802x^526 + 2736056486x^525 + 1175072713x^524 + 2664688192x^523 + 315257852x^522 + 2212346899x^521 + 1657758913x^520 + 825019124x^519 + 3020223129x^518 + 1622970442x^517 + 609770742x^516 + 371435072x^515 + 62539169x^514 + 1409944537x^513 + 1258547104x^512 + 440995003x^511 + 2686068490x^510 + 2931560795x^509 + 1894340310x^508 + 2900101430x^507 + 3131833739x^506 + 2239390284x^505 + 65741330x^504 + 2953507567x^503 + 3092877801x^502 + 114648495x^501 + 1039172500x^500 + 2805913423x^499 + 1677257871x^498 + 1589921653x^497 + 728200006x^496 + 1703406244x^495 + 2121790392x^494 + 1797487262x^493 + 11842201x^492 + 2983440997x^491 + 1972540688x^490 + 1072254576x^489 + 1514678804x^488 + 822234371x^487 + 2756927705x^486 + 780948365x^485 + 2671584496x^484 + 1622945569x^483 + 1020428411x^482 + 2724687920x^481 + 2559088528x^480 + 1619369403x^479 + 1587896236x^478 + 2078391763x^477 + 2150723676x^476 + 662718495x^475 + 2919366936x^474 + 811676510x^473 + 1066774936x^472 + 1059778046x^471 + 1829533274x^470 + 2131273233x^469 + 1042337519x^468 + 482962207x^467 + 1447524529x^466 + 1216850914x^465 + 1941798834x^464 + 2724851656x^463 + 1032457504x^462 + 3187276567x^461 + 1324714858x^460 + 681983493x^459 + 2531825638x^458 + 3204989610x^457 + 2521337320x^456 + 692395422x^455 + 957728285x^454 + 1957923500x^453 + 954197730x^452 + 3185096344x^451 + 2459252250x^450 + 1549915019x^449 + 470175196x^448 + 983117429x^447 + 2898569137x^446 + 1667464089x^445 + 213805557x^444 + 1390146616x^443 + 3064938867x^442 + 1752666182x^441 + 660615589x^440 + 1754664911x^439 + 2398063945x^438 + 1995701894x^437 + 264948128x^436 + 977015910x^435 + 1508638987x^434 + 620307652x^433 + 1615435814x^432 + 78630504x^431 + 1090576070x^430 + 260371966x^429 + 1695379559x^428 + 2241302488x^427 + 1262190501x^426 + 1002913396x^425 + 929126682x^424 + 1456970002x^423 + 2294784443x^422 + 831072563x^421 + 1336698653x^420 + 2887326202x^419 + 1555383826x^418 + 513703708x^417 + 1322836188x^416 + 2170650142x^415 + 2741077093x^414 + 755038428x^413 + 57412831x^412 + 749304405x^411 + 614461451x^410 + 2790363067x^409 + 2797312955x^408 + 2831209763x^407 + 1485551233x^406 + 2108589220x^405 + 1413675886x^404 + 1143025281x^403 + 816887806x^402 + 441895441x^401 + 2235781276x^400 + 2954755837x^399 + 2588197099x^398 + 812974443x^397 + 1698928559x^396 + 3053831450x^395 + 1723929169x^394 + 623101498x^393 + 496445003x^392 + 420072220x^391 + 1811574494x^390 + 1101225711x^389 + 1750763787x^388 + 1682648430x^387 + 1732887196x^386 + 2506223963x^385 + 3000048840x^384 + 2584324127x^383 + 1384646851x^382 + 2935407006x^381 + 509607639x^380 + 2166300092x^379 + 1123654965x^378 + 65492378x^377 + 1282212880x^376 + 2804064286x^375 + 247056384x^374 + 811500726x^373 + 1198142380x^372 + 1331029949x^371 + 255582344x^370 + 2541935940x^369 + 1293832504x^368 + 499827755x^367 + 1840695422x^366 + 732652696x^365 + 999518276x^364 + 1081980598x^363 + 1081655502x^362 + 75786438x^361 + 562331081x^360 + 592671230x^359 + 2848852899x^358 + 3168140116x^357 + 826684400x^356 + 2883456022x^355 + 355058519x^354 + 2722993226x^353 + 881161352x^352 + 2424979833x^351 + 1177731034x^350 + 1980458543x^349 + 686501124x^348 + 589579337x^347 + 49112362x^346 + 989396523x^345 + 3167680937x^344 + 534754197x^343 + 1189385487x^342 + 1116915745x^341 + 1692177729x^340 + 1303803669x^339 + 2905604867x^338 + 409726160x^337 + 2470173850x^336 + 3069287806x^335 + 180449040x^334 + 307791593x^333 + 2980755328x^332 + 1118312887x^331 + 611005488x^330 + 931596430x^329 + 1596383662x^328 + 2538167116x^327 + 1676688024x^326 + 2989408359x^325 + 3162119349x^324 + 944233698x^323 + 3194301878x^322 + 2539617375x^321 + 2766824293x^320 + 1202807077x^319 + 1685646777x^318 + 3063965433x^317 + 2596037068x^316 + 2371816012x^315 + 622948313x^314 + 2239821501x^313 + 1426875338x^312 + 3217832536x^311 + 1834011515x^310 + 1495994237x^309 + 1017706601x^308 + 3051326507x^307 + 2352031366x^306 + 763635260x^305 + 39750044x^304 + 715672209x^303 + 2506526823x^302 + 1692939544x^301 + 928487821x^300 + 2631372294x^299 + 2464649135x^298 + 2966134967x^297 + 1968444884x^296 + 2137025103x^295 + 868375775x^294 + 1139923625x^293 + 434478523x^292 + 1948275627x^291 + 2726624786x^290 + 331539791x^289 + 218481251x^288 + 2016882203x^287 + 2758432237x^286 + 544469175x^285 + 472265015x^284 + 852587717x^283 + 260910966x^282 + 2106423339x^281 + 2626819956x^280 + 2872974443x^279 + 309805598x^278 + 170973107x^277 + 66027808x^276 + 2730348962x^275 + 510866626x^274 + 522623295x^273 + 100699091x^272 + 2090432852x^271 + 1686177862x^270 + 2269572565x^269 + 1330527420x^268 + 2196749555x^267 + 2308249402x^266 + 2147766233x^265 + 1345336858x^264 + 142916256x^263 + 835862430x^262 + 50667708x^261 + 942108394x^260 + 1499549763x^259 + 2542908749x^258 + 1803664262x^257 + 2501870219x^256 + 864111293x^255 + 2418313340x^254 + 2511442209x^253 + 242763921x^252 + 3150779177x^251 + 48146535x^250 + 1813820515x^249 + 924227828x^248 + 3007348714x^247 + 2807015354x^246 + 976962593x^245 + 1044382613x^244 + 529771169x^243 + 2989702160x^242 + 1801701111x^241 + 320589814x^240 + 2428896297x^239 + 2037762372x^238 + 3143200820x^237 + 1723105519x^236 + 1600442736x^235 + 1898240113x^234 + 2568013509x^233 + 2624480118x^232 + 1393522595x^231 + 2500719698x^230 + 1264880807x^229 + 1214677475x^228 + 497627168x^227 + 2199000190x^226 + 1292091241x^225 + 38861929x^224 + 2527108842x^223 + 1873891894x^222 + 2855462003x^221 + 807144224x^220 + 135626526x^219 + 1706260097x^218 + 1170690152x^217 + 612269405x^216 + 1803738116x^215 + 2520817139x^214 + 3107175427x^213 + 3113314818x^212 + 2567333935x^211 + 3085626493x^210 + 249516349x^209 + 2709466314x^208 + 1963695228x^207 + 1061042366x^206 + 2080078210x^205 + 2270138678x^204 + 2868751764x^203 + 78865788x^202 + 643787753x^201 + 1478764249x^200 + 2243151467x^199 + 3191110753x^198 + 903802700x^197 + 1331232419x^196 + 1207164932x^195 + 2327458734x^194 + 2129671580x^193 + 742415550x^192 + 2964561068x^191 + 97884125x^190 + 1824230877x^189 + 1722817323x^188 + 2503280895x^187 + 2124090547x^186 + 1615724023x^185 + 493285350x^184 + 375731485x^183 + 2148178961x^182 + 656578420x^181 + 1653801546x^180 + 2335087681x^179 + 897727878x^178 + 3050631650x^177 + 1646974018x^176 + 395227802x^175 + 1144412800x^174 + 508378077x^173 + 130615630x^172 + 1554426998x^171 + 374638244x^170 + 2212173480x^169 + 756005027x^168 + 1779052498x^167 + 358373357x^166 + 1706423393x^165 + 172533412x^164 + 2252801969x^163 + 117260276x^162 + 2914389522x^161 + 3092513419x^160 + 645489528x^159 + 2034879930x^158 + 2391542437x^157 + 184935291x^156 + 1166681116x^155 + 150468624x^154 + 160320071x^153 + 1638612899x^152 + 50273415x^151 + 2731164469x^150 + 824939276x^149 + 364492049x^148 + 571947498x^147 + 1226588107x^146 + 2718765814x^145 + 1589016621x^144 + 1693414685x^143 + 2475406948x^142 + 1631940054x^141 + 123534811x^140 + 1782522465x^139 + 182260790x^138 + 2179494669x^137 + 2592942581x^136 + 1697454972x^135 + 2088047218x^134 + 3014478889x^133 + 1034853282x^132 + 1117923160x^131 + 1955722538x^130 + 528733527x^129 + 2837204349x^128 + 2995975255x^127 + 1861777816x^126 + 2792705876x^125 + 487313609x^124 + 470449757x^123 + 2592285469x^122 + 397063821x^121 + 2541225496x^120 + 1518074014x^119 + 2245263403x^118 + 154219934x^117 + 831775195x^116 + 751582126x^115 + 2113252744x^114 + 958875457x^113 + 557029157x^112 + 2293667789x^111 + 99047117x^110 + 1338869962x^109 + 400428214x^108 + 3215371505x^107 + 913519645x^106 + 1731089513x^105 + 2979622703x^104 + 2077752049x^103 + 2925393092x^102 + 688200234x^101 + 1299958656x^100 + 618266366x^99 + 579061426x^98 + 2052642107x^97 + 2048627900x^96 + 766170859x^95 + 1938571788x^94 + 1721723827x^93 + 1113888145x^92 + 556376745x^91 + 1296374746x^90 + 1437888560x^89 + 2720357387x^88 + 1441667990x^87 + 1256074340x^86 + 838931396x^85 + 591724270x^84 + 1072782011x^83 + 3026588892x^82 + 2524734261x^81 + 146797660x^80 + 1640074068x^79 + 2421228951x^78 + 1015674509x^77 + 2549300422x^76 + 499818981x^75 + 952101888x^74 + 1342945770x^73 + 2835219226x^72 + 1320572752x^71 + 2375492575x^70 + 2841415077x^69 + 556100187x^68 + 828949541x^67 + 2361011922x^66 + 1243642511x^65 + 2426386945x^64 + 1754936353x^63 + 34182915x^62 + 1620407187x^61 + 300087122x^60 + 1648019678x^59 + 1600304898x^58 + 532864059x^57 + 2195902030x^56 + 258529940x^55 + 2702074881x^54 + 2801103414x^53 + 3090072859x^52 + 918437967x^51 + 1721365997x^50 + 2859258693x^49 + 1721148335x^48 + 2685956486x^47 + 2089522169x^46 + 1975590254x^45 + 938607722x^44 + 1004144493x^43 + 3035365732x^42 + 2179582210x^41 + 3017963089x^40 + 3194237735x^39 + 2231032939x^38 + 1050257479x^37 + 3175776665x^36 + 589208906x^35 + 911380974x^34 + 378381996x^33 + 1275188540x^32 + 3180519331x^31 + 2190297672x^30 + 2060583277x^29 + 460775583x^28 + 2512161506x^27 + 191770867x^26 + 1873500852x^25 + 197991059x^24 + 2660464273x^23 + 2425492792x^22 + 1431944x^21 + 976804842x^20 + 2244215829x^19 + 431564296x^18 + 277594728x^17 + 2595074017x^16 + 1778004047x^15 + 322688855x^14 + 1495277389x^13 + 1810802035x^12 + 303207458x^11 + 2521905975x^10 + 2214743620x^9 + 1401589658x^8 + 833738775x^7 + 2409538067x^6 + 2052556331x^5 + 1312214659x^4 + 490273045x^3 + 1909520480x^2 + 324457201x + 2718901507] TestZKGen/TestParamGen: stark_test.go:57: Eval domain order : 8192 TestZKGen/TestParamGen: stark_test.go:58: Merkle Commitment of evaluations : 0855b2c68e5b61e90c53bc28f9832f4a616e076e8b5449874b19553a986244f7 TestZKGen/TestParamGen: stark_test.go:59: Chanel d54fb8f758e7c3cb6689dfaf6fad6cc35db872af5a29f1c20fbdd3fe5aa2c03f === RUN TestZKGen/TestProve TestZKGen/TestProve: stark_test.go:94: Composition Polynomial : [2426962845x^1023 + 1189059322x^1022 + 2507912539x^1021 + 16361464x^1020 + 1081279966x^1019 + 2030151756x^1018 + 576223885x^1017 + 2723126002x^1016 + 1560887838x^1015 + 1450238459x^1014 + 1763221617x^1013 + 423366876x^1012 + 1078955158x^1011 + 971041275x^1010 + 1876970551x^1009 + 1510423386x^1008 + 2206669050x^1007 + 973055636x^1006 + 1591793198x^1005 + 1221330039x^1004 + 216325101x^1003 + 1847250009x^1002 + 2424075219x^1001 + 2553933966x^1000 + 1875880395x^999 + 813644252x^998 + 247935546x^997 + 2617548981x^996 + 703312752x^995 + 141899362x^994 + 3037000241x^993 + 376528067x^992 + 2531651097x^991 + 2631419129x^990 + 1483812718x^989 + 855315304x^988 + 3099569810x^987 + 2651519909x^986 + 667432303x^985 + 2829220548x^984 + 1211280817x^983 + 553603073x^982 + 1203354564x^981 + 337966028x^980 + 1766352344x^979 + 2007709018x^978 + 1877054605x^977 + 1570310004x^976 + 3113272087x^975 + 277136862x^974 + 733665775x^973 + 1706837242x^972 + 258327272x^971 + 1424657608x^970 + 1725081739x^969 + 1731663226x^968 + 3067941793x^967 + 1978085100x^966 + 1302001059x^965 + 178778052x^964 + 2455373776x^963 + 451510404x^962 + 58202305x^961 + 430761389x^960 + 161580239x^959 + 2716668392x^958 + 2867942448x^957 + 151338530x^956 + 2089613005x^955 + 1433111889x^954 + 1056388617x^953 + 3024553109x^952 + 1755337599x^951 + 2170228653x^950 + 1309410536x^949 + 1397392011x^948 + 1094219071x^947 + 506782200x^946 + 615351126x^945 + 1204250003x^944 + 2972653071x^943 + 3194471970x^942 + 467032276x^941 + 2064678996x^940 + 1840202264x^939 + 1125582596x^938 + 1191712749x^937 + 1825626968x^936 + 874181851x^935 + 2157426192x^934 + 2110109989x^933 + 1675656171x^932 + 805437007x^931 + 202602502x^930 + 721053094x^929 + 1396365171x^928 + 1328809960x^927 + 1082658943x^926 + 2145606698x^925 + 1964518810x^924 + 2609192730x^923 + 975606053x^922 + 2005363080x^921 + 710329883x^920 + 2418289226x^919 + 1762235095x^918 + 3160046012x^917 + 860010073x^916 + 1153115686x^915 + 1097496840x^914 + 191993587x^913 + 1490636090x^912 + 1636878930x^911 + 1570447702x^910 + 2251145841x^909 + 626749429x^908 + 718131073x^907 + 381741374x^906 + 2765623862x^905 + 1537235792x^904 + 903398595x^903 + 871966297x^902 + 2025872982x^901 + 672421476x^900 + 94200537x^899 + 3069754087x^898 + 69942872x^897 + 296597175x^896 + 2277117800x^895 + 1735271062x^894 + 636912516x^893 + 91528x^892 + 745622141x^891 + 909145437x^890 + 1580963734x^889 + 1887725531x^888 + 1841607687x^887 + 1816684210x^886 + 2360151975x^885 + 2210744552x^884 + 711280983x^883 + 1747544585x^882 + 2297781385x^881 + 3151727448x^880 + 2063792563x^879 + 111949281x^878 + 2673347108x^877 + 1063727420x^876 + 1074070906x^875 + 1214954238x^874 + 269983492x^873 + 2548484095x^872 + 3152793700x^871 + 2980882832x^870 + 1435032107x^869 + 1122361789x^868 + 1761372643x^867 + 988571108x^866 + 1743953594x^865 + 2009932816x^864 + 785706107x^863 + 2725170615x^862 + 1834902787x^861 + 2219800948x^860 + 1542640458x^859 + 430340258x^858 + 2926767928x^857 + 2124501343x^856 + 128853495x^855 + 2906399294x^854 + 1848907682x^853 + 1493262888x^852 + 155557427x^851 + 1957227969x^850 + 1054539486x^849 + 2817308204x^848 + 3053323748x^847 + 1592517880x^846 + 1947733587x^845 + 782161337x^844 + 1491381005x^843 + 2913246383x^842 + 907714196x^841 + 1825765035x^840 + 2110870253x^839 + 316265152x^838 + 2599525586x^837 + 1219952504x^836 + 3150955389x^835 + 494189075x^834 + 2089157069x^833 + 1517143534x^832 + 2785231824x^831 + 2656874755x^830 + 693977856x^829 + 269087766x^828 + 381530005x^827 + 3076993217x^826 + 3154258236x^825 + 2193856053x^824 + 2386904206x^823 + 2139013049x^822 + 3038853705x^821 + 758884865x^820 + 546797082x^819 + 12471230x^818 + 2196486371x^817 + 1814599287x^816 + 999725721x^815 + 291174127x^814 + 231820483x^813 + 709088555x^812 + 2342403435x^811 + 602947764x^810 + 393486370x^809 + 1330237867x^808 + 1910687822x^807 + 1504847057x^806 + 1793324419x^805 + 2601910972x^804 + 2741941557x^803 + 3088910959x^802 + 1399154864x^801 + 485382857x^800 + 2937694935x^799 + 1446490055x^798 + 598277889x^797 + 1285970029x^796 + 3034868406x^795 + 295705223x^794 + 3073282058x^793 + 978354438x^792 + 2890014720x^791 + 2714603973x^790 + 50752394x^789 + 1134558137x^788 + 40364850x^787 + 45991062x^786 + 1298763416x^785 + 2678676255x^784 + 2412391475x^783 + 370015199x^782 + 3113750101x^781 + 1306423789x^780 + 2974458842x^779 + 2011652713x^778 + 12759558x^777 + 486704855x^776 + 97205129x^775 + 1376448753x^774 + 2545600709x^773 + 3033877104x^772 + 224088142x^771 + 1758927961x^770 + 1678020503x^769 + 550771980x^768 + 2640815255x^767 + 1740676429x^766 + 968241386x^765 + 2252811806x^764 + 3153243295x^763 + 2171627601x^762 + 2593203160x^761 + 1025521309x^760 + 2655811652x^759 + 541193555x^758 + 815631323x^757 + 3164116728x^756 + 1179432605x^755 + 2239508151x^754 + 741961425x^753 + 653724928x^752 + 2357781957x^751 + 1444728211x^750 + 109930326x^749 + 945272906x^748 + 656965763x^747 + 2208335795x^746 + 293014011x^745 + 1935485571x^744 + 911291046x^743 + 3199756078x^742 + 1370457710x^741 + 1378972622x^740 + 1334494086x^739 + 1998206083x^738 + 2164949141x^737 + 925514135x^736 + 1248289078x^735 + 275137975x^734 + 659155196x^733 + 425062669x^732 + 229297558x^731 + 1429808677x^730 + 1805886073x^729 + 2726711533x^728 + 1027970642x^727 + 85544939x^726 + 26556721x^725 + 915365048x^724 + 1858359560x^723 + 3178648723x^722 + 1460147783x^721 + 743726834x^720 + 2579390594x^719 + 2270918026x^718 + 948514936x^717 + 604719586x^716 + 398619374x^715 + 1920773202x^714 + 931866949x^713 + 1470387923x^712 + 2845833735x^711 + 1670977996x^710 + 2922203902x^709 + 1290204194x^708 + 444846014x^707 + 610920254x^706 + 15087631x^705 + 1865201757x^704 + 1146810464x^703 + 1934176135x^702 + 2734901510x^701 + 1958047318x^700 + 836528866x^699 + 1234666980x^698 + 322222453x^697 + 3171840673x^696 + 1878953809x^695 + 1098425792x^694 + 266569270x^693 + 3021992189x^692 + 699728234x^691 + 2130569075x^690 + 1350132106x^689 + 2279607518x^688 + 3095571842x^687 + 476702355x^686 + 3153704868x^685 + 290426543x^684 + 2266833005x^683 + 1862618378x^682 + 2780036486x^681 + 1779113026x^680 + 1092693549x^679 + 243107356x^678 + 2917074128x^677 + 641594937x^676 + 3099810953x^675 + 3158049556x^674 + 2786516203x^673 + 1515911482x^672 + 878608831x^671 + 3176262606x^670 + 1167930847x^669 + 1254321708x^668 + 447094574x^667 + 1973505848x^666 + 2857260100x^665 + 2071132947x^664 + 678244882x^663 + 994155200x^662 + 295756539x^661 + 1446093301x^660 + 294821242x^659 + 2605757157x^658 + 929671070x^657 + 3212772460x^656 + 2175824105x^655 + 98498939x^654 + 787426441x^653 + 464329431x^652 + 1844223396x^651 + 359853218x^650 + 188962325x^649 + 2108909014x^648 + 1651399191x^647 + 1948506855x^646 + 2927388830x^645 + 2246901056x^644 + 1387314922x^643 + 2940352617x^642 + 1623092439x^641 + 1479277109x^640 + 1393241410x^639 + 1169261623x^638 + 174417055x^637 + 1686592203x^636 + 2697011044x^635 + 796726902x^634 + 2627236795x^633 + 1706112486x^632 + 781304913x^631 + 3083860711x^630 + 2702622149x^629 + 2143755926x^628 + 1110112382x^627 + 669668449x^626 + 1237194935x^625 + 1831659636x^624 + 2647007980x^623 + 136733230x^622 + 1186650410x^621 + 1438431x^620 + 1334745421x^619 + 1193484380x^618 + 2413539707x^617 + 617004922x^616 + 2187619596x^615 + 2353031485x^614 + 677035911x^613 + 822936956x^612 + 2890858765x^611 + 276505151x^610 + 1217568954x^609 + 1686021432x^608 + 612138081x^607 + 242058914x^606 + 2767525456x^605 + 3125060294x^604 + 1136761265x^603 + 3092989030x^602 + 1092975211x^601 + 1255687983x^600 + 21307512x^599 + 2855907656x^598 + 731231688x^597 + 1540798212x^596 + 2684467690x^595 + 937516755x^594 + 1113411309x^593 + 1926244375x^592 + 478177105x^591 + 3278705x^590 + 2943191238x^589 + 237620916x^588 + 2306590926x^587 + 530026050x^586 + 1113827462x^585 + 2372843379x^584 + 2589627228x^583 + 2273273362x^582 + 1165156989x^581 + 2623679480x^580 + 464419377x^579 + 1282727654x^578 + 944040447x^577 + 2121787994x^576 + 1002037811x^575 + 1953818519x^574 + 823954044x^573 + 64912777x^572 + 1948987229x^571 + 189162629x^570 + 2333745158x^569 + 1551575438x^568 + 2495500656x^567 + 2443278070x^566 + 1105871791x^565 + 2249408656x^564 + 1652140489x^563 + 1434499609x^562 + 931792892x^561 + 779663119x^560 + 1869894887x^559 + 2773370874x^558 + 2370725352x^557 + 2019126545x^556 + 975745619x^555 + 378388489x^554 + 2524310420x^553 + 801626874x^552 + 1427877523x^551 + 1715015361x^550 + 833518674x^549 + 169906432x^548 + 1772231587x^547 + 2074719401x^546 + 1242509042x^545 + 746954920x^544 + 736374877x^543 + 689332008x^542 + 1730998690x^541 + 2015555179x^540 + 2513224678x^539 + 944889212x^538 + 991809494x^537 + 1700803402x^536 + 839655815x^535 + 501935069x^534 + 1942247994x^533 + 263819087x^532 + 1797301229x^531 + 203700464x^530 + 53278650x^529 + 1942021609x^528 + 1337899723x^527 + 1997042074x^526 + 2556139883x^525 + 1137489427x^524 + 1864156298x^523 + 2065766760x^522 + 389726857x^521 + 689557691x^520 + 1737398081x^519 + 2063419350x^518 + 721130239x^517 + 1570454526x^516 + 721820139x^515 + 9357302x^514 + 1405109486x^513 + 1294474192x^512 + 3190008605x^511 + 2708147602x^510 + 1444350373x^509 + 33402615x^508 + 292501533x^507 + 219672692x^506 + 394276328x^505 + 3212777541x^504 + 2576164003x^503 + 977549990x^502 + 3080999700x^501 + 3162881363x^500 + 1875224144x^499 + 104138362x^498 + 339797532x^497 + 2155294999x^496 + 829795459x^495 + 1684043705x^494 + 306073915x^493 + 1036228292x^492 + 749497310x^491 + 2422604760x^490 + 649076317x^489 + 3151264027x^488 + 613146561x^487 + 1637194380x^486 + 175957606x^485 + 3131848108x^484 + 2837819594x^483 + 1354483424x^482 + 2947904483x^481 + 856170274x^480 + 2228944165x^479 + 772868234x^478 + 2629143116x^477 + 1064191755x^476 + 1649668246x^475 + 667586574x^474 + 3087549609x^473 + 3190550032x^472 + 2246390068x^471 + 2473240573x^470 + 1799569547x^469 + 2547011425x^468 + 1806594170x^467 + 674990657x^466 + 65087656x^465 + 1025334638x^464 + 95716094x^463 + 363166522x^462 + 873008012x^461 + 1823095688x^460 + 2829176746x^459 + 594402737x^458 + 1188618884x^457 + 1600046991x^456 + 2104746977x^455 + 218862546x^454 + 2419050627x^453 + 2124982700x^452 + 2186818959x^451 + 1399370870x^450 + 1769075413x^449 + 2146990015x^448 + 2052520736x^447 + 171843319x^446 + 667298099x^445 + 329909216x^444 + 2627186377x^443 + 797703789x^442 + 1648145168x^441 + 799100589x^440 + 1106732775x^439 + 3044640771x^438 + 153087114x^437 + 799958922x^436 + 1393926978x^435 + 879643271x^434 + 658288581x^433 + 1187634433x^432 + 3097275316x^431 + 2872342151x^430 + 1891182425x^429 + 1905352782x^428 + 1860792801x^427 + 2920413819x^426 + 221827759x^425 + 3036460020x^424 + 151736826x^423 + 1812452851x^422 + 346130891x^421 + 1205492357x^420 + 1386409289x^419 + 2150117387x^418 + 1927839857x^417 + 600145045x^416 + 1741824205x^415 + 370648454x^414 + 2574540501x^413 + 2966766530x^412 + 81693364x^411 + 2653052314x^410 + 2846001317x^409 + 2767123679x^408 + 1025221299x^407 + 2283788199x^406 + 2777116961x^405 + 2634023450x^404 + 745958710x^403 + 1810609373x^402 + 3158165222x^401 + 2596312684x^400 + 993805439x^399 + 3169318507x^398 + 859712553x^397 + 2650217087x^396 + 3186906245x^395 + 1498380969x^394 + 270904323x^393 + 1189767904x^392 + 1098850813x^391 + 239460137x^390 + 343654938x^389 + 1131669430x^388 + 1675709720x^387 + 1009416064x^386 + 2223541947x^385 + 768711267x^384 + 185977822x^383 + 1133454602x^382 + 1281501563x^381 + 33650745x^380 + 121482859x^379 + 702386130x^378 + 1562191298x^377 + 1249322261x^376 + 38196976x^375 + 2166469403x^374 + 254702055x^373 + 1235529306x^372 + 744891610x^371 + 1245038322x^370 + 106998250x^369 + 980253677x^368 + 1912651402x^367 + 326678548x^366 + 2681320939x^365 + 1741860003x^364 + 2379564216x^363 + 2352694455x^362 + 1747208479x^361 + 1673517135x^360 + 465939195x^359 + 891359845x^358 + 3127107201x^357 + 1187809757x^356 + 2200374854x^355 + 2816939981x^354 + 592482133x^353 + 978734011x^352 + 67332882x^351 + 799591216x^350 + 2714882174x^349 + 1911837403x^348 + 1917662867x^347 + 137137071x^346 + 1538567007x^345 + 2863377487x^344 + 808787602x^343 + 2328043173x^342 + 1069540768x^341 + 1934854119x^340 + 2848587501x^339 + 1049489032x^338 + 1573878156x^337 + 1423872934x^336 + 1417868393x^335 + 333310833x^334 + 2999884001x^333 + 839250630x^332 + 1805499858x^331 + 926765839x^330 + 2203721826x^329 + 2217185753x^328 + 123617581x^327 + 1766994786x^326 + 2162502982x^325 + 2761173479x^324 + 1366736007x^323 + 1635129675x^322 + 1259051521x^321 + 2343665695x^320 + 414167468x^319 + 182237571x^318 + 2061328471x^317 + 958090780x^316 + 1338832825x^315 + 2597786488x^314 + 1679010648x^313 + 1807900156x^312 + 1757595554x^311 + 261591585x^310 + 2439310742x^309 + 2982014227x^308 + 1087455766x^307 + 624965170x^306 + 2081406717x^305 + 184304180x^304 + 1332673707x^303 + 2388517700x^302 + 75171093x^301 + 2199081231x^300 + 2309753688x^299 + 2568566589x^298 + 2976720686x^297 + 2743011260x^296 + 642202595x^295 + 668963000x^294 + 1909868350x^293 + 2118727629x^292 + 1239184933x^291 + 2823522014x^290 + 1305795990x^289 + 981909111x^288 + 2741139232x^287 + 643374764x^286 + 106914252x^285 + 3172180394x^284 + 288666692x^283 + 1296781915x^282 + 1587217938x^281 + 2783419935x^280 + 1602988676x^279 + 899250206x^278 + 1583015553x^277 + 583064997x^276 + 1496949939x^275 + 1439153766x^274 + 1460840077x^273 + 1898066398x^272 + 2020452706x^271 + 1611690829x^270 + 1583443545x^269 + 333980217x^268 + 1660595542x^267 + 1546751262x^266 + 2121253695x^265 + 3184444578x^264 + 26587460x^263 + 1169858782x^262 + 536237680x^261 + 2791721104x^260 + 2550621623x^259 + 952503151x^258 + 1681842268x^257 + 297279706x^256 + 3109974606x^255 + 347452041x^254 + 416233483x^253 + 1379605470x^252 + 235367868x^251 + 2953367302x^250 + 2124410446x^249 + 1743307251x^248 + 1950080878x^247 + 2232374156x^246 + 1117960598x^245 + 359613416x^244 + 1869033265x^243 + 1165798169x^242 + 711678324x^241 + 205810579x^240 + 1623831833x^239 + 1857378454x^238 + 2702585072x^237 + 1666107028x^236 + 2583040424x^235 + 1065381671x^234 + 1364260375x^233 + 2937641292x^232 + 1748126112x^231 + 1075923968x^230 + 1196737385x^229 + 2625984933x^228 + 541946686x^227 + 1344419726x^226 + 205381539x^225 + 1026738294x^224 + 2870305795x^223 + 2632868558x^222 + 1102106884x^221 + 3070265290x^220 + 1894360711x^219 + 601766371x^218 + 2953417056x^217 + 1042375689x^216 + 2072518442x^215 + 2888278769x^214 + 2150009228x^213 + 902816484x^212 + 2687487190x^211 + 2498275630x^210 + 1886756411x^209 + 2173538500x^208 + 2816981985x^207 + 242481949x^206 + 461995296x^205 + 1195169810x^204 + 2706909268x^203 + 647737816x^202 + 494953573x^201 + 291463059x^200 + 809150434x^199 + 2872627718x^198 + 205313689x^197 + 245382198x^196 + 1139987398x^195 + 642578157x^194 + 722490555x^193 + 1478593786x^192 + 2865719407x^191 + 1566108204x^190 + 233040717x^189 + 1107305434x^188 + 2366993364x^187 + 2662962024x^186 + 447060675x^185 + 452104732x^184 + 448074632x^183 + 1276481925x^182 + 297659844x^181 + 237123223x^180 + 611790631x^179 + 271939947x^178 + 1137239102x^177 + 2582190118x^176 + 3104277564x^175 + 2594248143x^174 + 2788308046x^173 + 2996951942x^172 + 2164248054x^171 + 917154530x^170 + 2127364800x^169 + 1510898276x^168 + 829455262x^167 + 937075420x^166 + 3057748995x^165 + 2501550947x^164 + 1848751779x^163 + 592055381x^162 + 74537144x^161 + 1519483435x^160 + 3181124371x^159 + 1691814011x^158 + 40906518x^157 + 652000573x^156 + 538023016x^155 + 2752770093x^154 + 687338575x^153 + 3123004543x^152 + 3012064367x^151 + 2554790620x^150 + 441000790x^149 + 1856256924x^148 + 1960726327x^147 + 2133831174x^146 + 3184990115x^145 + 639864815x^144 + 1829475466x^143 + 1903670790x^142 + 128138730x^141 + 1062408212x^140 + 1522162569x^139 + 2069602108x^138 + 2385177931x^137 + 1167143831x^136 + 2775619147x^135 + 3190041539x^134 + 502430206x^133 + 184493931x^132 + 2414428022x^131 + 3044314581x^130 + 547950668x^129 + 2982163193x^128 + 2091718743x^127 + 1921173154x^126 + 826248800x^125 + 2317940427x^124 + 507586576x^123 + 1502309642x^122 + 37612426x^121 + 317047412x^120 + 1017054563x^119 + 1165613644x^118 + 1928105735x^117 + 2428780715x^116 + 959473940x^115 + 1560750718x^114 + 2153083845x^113 + 2464644436x^112 + 932355117x^111 + 1823754010x^110 + 265639660x^109 + 687500697x^108 + 1414258877x^107 + 682910749x^106 + 333004139x^105 + 545758483x^104 + 1895122678x^103 + 2343873474x^102 + 2984942895x^101 + 3198143459x^100 + 2615071981x^99 + 2160176792x^98 + 2525499725x^97 + 2320381494x^96 + 2520089763x^95 + 1208118912x^94 + 2710696686x^93 + 816423588x^92 + 1388798947x^91 + 1697184911x^90 + 2431518613x^89 + 423237106x^88 + 1055004596x^87 + 2778471522x^86 + 3141662030x^85 + 2128562241x^84 + 1664515748x^83 + 1704316114x^82 + 2299157707x^81 + 342180496x^80 + 1794740464x^79 + 598458409x^78 + 692244291x^77 + 2288611599x^76 + 2969948184x^75 + 1699171154x^74 + 1847191420x^73 + 1904291455x^72 + 2760117098x^71 + 642814670x^70 + 1514671742x^69 + 2122447738x^68 + 2291017967x^67 + 578144065x^66 + 1288947423x^65 + 1066275265x^64 + 1765136675x^63 + 2000764712x^62 + 1094744119x^61 + 870438075x^60 + 2007180127x^59 + 2619873901x^58 + 295067442x^57 + 2148846167x^56 + 2799484048x^55 + 1605789310x^54 + 3103784084x^53 + 1070423990x^52 + 2439027002x^51 + 235410105x^50 + 2948661749x^49 + 1607430759x^48 + 1742529222x^47 + 2873181135x^46 + 267310129x^45 + 2474047718x^44 + 1669790660x^43 + 36387941x^42 + 2967373869x^41 + 707722851x^40 + 1683989161x^39 + 2416392286x^38 + 3044251756x^37 + 2282096613x^36 + 1976216372x^35 + 2215573520x^34 + 381038379x^33 + 363921842x^32 + 3173525896x^31 + 1093602532x^30 + 241765090x^29 + 1905486295x^28 + 1329365946x^27 + 1001292715x^26 + 2084116668x^25 + 1576216963x^24 + 189948515x^23 + 2678506137x^22 + 2844496757x^21 + 1941394281x^20 + 1141851138x^19 + 1909394132x^18 + 2060076158x^17 + 3062366423x^16 + 1952629443x^15 + 637495951x^14 + 726680408x^13 + 2181236623x^12 + 1341784466x^11 + 1583610752x^10 + 1772209714x^9 + 2136609334x^8 + 1485430016x^7 + 922597535x^6 + 1047897009x^5 + 2615599626x^4 + 2895062401x^3 + 555588964x^2 + 2963405359x + 3106470644] TestZKGen/TestProve: stark_test.go:106: Composition Polynomial Evaluations Root : f461b9e0c411c503641ac2b5eb21d9a4b15106f676da055776bf24bff0d08f04 TestZKGen/TestProve: stark_test.go:120: FRI-Layer Count : 11 TestZKGen/TestProve: stark_test.go:121: FRI-Root Count 11 TestZKGen/TestProve: stark_test.go:122: FRI Domains Count : 11 TestZKGen/TestProve: stark_test.go:123: Last Layer Root : 968701d48ee8b3648ddfbc1b18a7d6b86c448f55ba5c410f9bd37560eef931e9 TestZKGen/TestProve: stark_test.go:124: Last Layer Terms TestZKGen/TestProve: stark_test.go:126: x = 2550486681(F/3221225473) TestZKGen/TestProve: stark_test.go:126: x = 2550486681(F/3221225473) TestZKGen/TestProve: stark_test.go:126: x = 2550486681(F/3221225473) TestZKGen/TestProve: stark_test.go:126: x = 2550486681(F/3221225473) TestZKGen/TestProve: stark_test.go:126: x = 2550486681(F/3221225473) TestZKGen/TestProve: stark_test.go:126: x = 2550486681(F/3221225473) TestZKGen/TestProve: stark_test.go:126: x = 2550486681(F/3221225473) TestZKGen/TestProve: stark_test.go:126: x = 2550486681(F/3221225473) TestZKGen/TestProve: stark_test.go:128: Channel Proof [send:0855b2c68e5b61e90c53bc28f9832f4a616e076e8b5449874b19553a986244f7 receiveRandInt:327854267 receiveRandInt:62366205 receiveRandInt:1357014183 send:f461b9e0c411c503641ac2b5eb21d9a4b15106f676da055776bf24bff0d08f04] TestZKGen/TestProve: stark_test.go:133: Final Proof Uncompressed [send:0855b2c68e5b61e90c53bc28f9832f4a616e076e8b5449874b19553a986244f7 receiveRandInt:327854267 receiveRandInt:62366205 receiveRandInt:1357014183 send:f461b9e0c411c503641ac2b5eb21d9a4b15106f676da055776bf24bff0d08f04 receiveRandInt:4900 send:97f5d99a send:01010001010001010000010100 send:258ac5a2 send:01010000010001010000010100 send:bbe04885 send:01010001000001010000010100 send:5e24dbf5 send:01010001010001010000010100 send:57ae77d3 send:01010001010001010000010101 send:ae62e0b1 send:010100010100010100000101 send:8a5e8144 send:010100010100010100000100 send:72611df8 send:0101000101000101000001 send:1abd5989 send:0101000101000101000000 send:46cfa056 send:01010001010001010000 send:b51a0bc4 send:01010001010001010001 send:2a24ff9d send:010100010100010100 send:5819b2cf send:010100010100010101 send:1a3235ec send:0101000101000101 send:14f0d8cf send:0101000101000100 send:44343078 send:01010001010001 send:14e58064 send:01010001010000 send:76f786c5 send:010100010100 send:bf10b51a send:010100010101 send:3a9bb72a send:0101000101 send:7fb2c8ba send:0101000100 send:98a32148 send:01010001 send:7f48d40b send:01010000 send:98055699 receiveRandInt:3537 send:550e48d6 send:00010101000100000001000001 send:7c4bd471 send:00010100000100000001000001 send:7e22f439 send:00010101010000000001000001 send:442c8da4 send:00010101000100000001000001 send:585e7380 send:00010101000100000001000000 send:a0216c0a send:000101010001000000010000 send:80e10630 send:000101010001000000010001 send:2b805034 send:0001010100010000000100 send:612be278 send:0001010100010000000101 send:29175c7c send:00010101000100000001 send:30a6f616 send:00010101000100000000 send:19b49c62 send:000101010001000000 send:a278e80c send:000101010001000001 send:9b8edf32 send:0001010100010000 send:551402f3 send:0001010100010001 send:02e7dca1 send:00010101000100 send:7d24a521 send:00010101000101 send:73972d93 send:000101010001 send:1081d9a1 send:000101010000 send:42d9af86 send:0001010100 send:031afda0 send:0001010101 send:a5594281 send:00010101 send:7292b2d2 send:00010100 send:98055699 receiveRandInt:4020 send:346ddcb4 send:01010001000001000000000001 send:8653b9b0 send:01010000000001000000000001 send:ab8fcd54 send:01010001010100000000000001 send:5eeac89b send:01010001000001000000000001 send:204d8113 send:01010001000001000000000000 send:94920bcb send:010100010000010000000000 send:9368b5fa send:010100010000010000000001 send:5784cd53 send:0101000100000100000000 send:0a9325c0 send:0101000100000100000001 send:63986dae send:01010001000001000000 send:6f2beb99 send:01010001000001000001 send:4ae31439 send:010100010000010000 send:38cbd9da send:010100010000010001 send:bd3562d4 send:0101000100000100 send:ba394366 send:0101000100000101 send:305dbc92 send:01010001000001 send:a1180aea send:01010001000000 send:6c6f1d15 send:010100010000 send:03d1342c send:010100010001 send:7fb2c8ba send:0101000100 send:3a9bb72a send:0101000101 send:98a32148 send:01010001 send:7f48d40b send:01010000 send:98055699] --- PASS: TestZKGen (71.44s) --- PASS: TestZKGen/TestParamGen (0.07s) --- PASS: TestZKGen/TestProve (71.15s) PASS ok github.com/actuallyachraf/zkstarks 71.510s