Skip to content

Latest commit

 

History

History
274 lines (274 loc) · 69.6 KB

table.md

File metadata and controls

274 lines (274 loc) · 69.6 KB
Raw
row index result (public input) round constants (fixed) lookup composition addition decomposition witness computation result verification
0 1322 1021 314 735 51 281
1
2
3
4 483 956 882 252 246 427
5
6
7
8 1499 491 645 1240 346 140
9
10
11
12 848 633 615 648 916 639 2147483648 ✅
13 3458249854 467 1017 615 898049835 252 370 396 ✅
14 1116352408 980412007 528861580 2773480762 1541459225 2117632 285220864 ✅
15 10670868557 9005687458 ✅
16 992 546 77 198 504 674 0 ✅
17 1061746599 976 619 581 3218167418 1176 402 558 ✅
18 1899447441 2047454789 2466662958 1013904242 528734635 0 0 ✅
19 11222213840 9126916694 ✅
20 1255 345 208 256 108 598 0 ✅
21 2486107244 992 633 69 312290799 648 1016 555 ✅
22 3049323471 2081023045 1359995435 3144134277 2600822924 0 0 ✅
23 11889562918 10466566906 ✅
24 1573 789 294 894 1736 762 0 ✅
25 2840177465 1765 785 68 1533274840 384 376 594 ✅
26 3921009573 3702277188 805691986 1779033703 1359893119 0 0 ✅
27 14162324171 9398903221 ✅
28 609 250 715 385 1528 437 0 ✅
29 184137373 1637 345 194 4187358178 256 1228 754 ✅
30 961987163 3433391298 538129138 2080933965 415752866 0 0 ✅
31 9720756016 8184161310 ✅
32 539 445 816 1854 1049 30 0 ✅
33 847734774 545 445 802 275887343 320 1752 756 ✅
34 1508970993 1143404322 672883444 2632279248 536982102 0 0 ✅
35 4985862978 5627003130 ✅
36 329 910 834 635 336 250 0 ✅
37 3904360197 585 446 834 1154745484 954 1208 287 ✅
38 2453635748 1227291458 2001920287 3299628326 1876632314 0 0 ✅
39 12618585488 10786562159 ✅
40 1921 21 400 1047 888 111 0 ✅
41 299489190 777 413 784 3305889276 827 1361 122 ✅
42 2870763221 1629910800 1735738490 1277422283 808968629 0 0 ✅
43 10650759606 9998781899 ✅
44 982 1388 438 671 1619 459 0 ✅
45 1170236203 961 268 402 1753448375 119 848 123 ✅
46 3624381080 2015637906 250429563 1130821424 3889194014 0 0 ✅
47 12703327141 10648274456 ✅
48 1961 856 933 981 1009 536 0 ✅
49 3588908630 1921 348 436 4110870237 1687 601 111 ✅
50 310598401 4028985780 3538510959 690895682 1332035834 0 0 ✅
51 16909909841 9982911113 ✅
52 1919 559 849 664 456 649 0 ✅
53 596121390 2047 876 949 4160174279 663 2003 842 ✅
54 607225278 4293768117 1392463690 4028650896 2196627567 0 0 ✅
55 13246380321 12385141710 ✅
56 172 750 289 1809 1424 974 0 ✅
57 2727265859 1965 622 801 1500870838 724 993 664 ✅
58 1426881987 4121541409 1519355544 2060825014 1408847307 0 0 ✅
59 12704762944 7916780690 ✅
60 1962 211 64 1727 31 146 0 ✅
61 1382447839 1966 751 321 691745942 1553 464 651 ✅
62 1925078388 4123770177 3257352843 4113392549 2058339864 0 0 ✅
63 13438735053 12045909586 ✅
64 264 180 717 1647 1919 594 0 ✅
65 3580004385 424 246 65 2140234016 1855 159 414 ✅
66 2162078206 889444417 3890380190 4025007953 1392976521 0 0 ✅
67 14055117735 13610676886 ✅
68 558 4 935 346 156 662 0 ✅
69 1275377662 810 148 709 2874223249 1775 31 530 ✅
70 2614888103 1698845381 3722477074 361478433 3795207118 0 0 ✅
71 15981018587 13368273977 ✅
72 1476 703 475 230 1003 57 0 ✅
73 721950147 268 180 975 75938763 1611 1180 594 ✅
74 3248222580 562222031 3379720786 4114828352 3621813394 0 0 ✅
75 11609867701 14440523875 ✅
76 1440 33 437 741 1594 99 2147483648 2147483648 ✅ ✅
77 1119573945 1444 37 439 3714925842 510 686 693 ✅
78 3835390401 3028325815 1070250677 553833165 3455974994 2117632 285220864 ✅
79 18371925322 14777858727 ✅
80 568 853 330 902 1294 679 0 0 ✅ ✅
81 247743524 1440 565 475 2737838549 740 1771 59 ✅
82 4022224774 3020477915 1553706043 1170215847 725774998 0 0 ✅
83 12307765803 10209760211 ✅
84 1772 1638 555 772 804 979 2117632 2117632 ✅ ✅
85 1078994224 1704 613 299 1906821741 997 1310 675 ✅
86 264347078 3574175019 2092202659 3096116699 483372089 570427392 335825576 ✅
87 9402030442 7844977898 ✅
88 387 486 362 1692 1591 234 0 0 ✅ ✅
89 3643657639 680 870 362 4202325249 774 812 711 ✅
90 604807628 1426954602 1624027847 3019933109 1555621987 0 0 ✅
91 13057394952 11006715820 ✅
92 82 514 264 1152 841 940 570427392 570427392 ✅ ✅
93 1794535467 194 614 298 1094837106 1924 549 251 ✅
94 770255983 407476522 4035482875 1192056138 1892956839 84448578 100927888 ✅
95 10565972184 9556016333 ✅
96 942 508 216 460 1359 205 0 0 ✅ ✅
97 2222011358 386 486 328 1742667976 1680 889 174 ✅
98 1249150122 809998664 3524125870 3717831211 1619825619 0 0 ✅
99 11167779609 11853600798 ✅
100 1229 434 793 1556 486 30 84448578 84448578 ✅ ✅
101 2777225622 206 434 280 991838706 132 847 940 ✅
102 1555081692 432458008 277692332 812095850 3550010602 1476919296 2717614784 ✅
103 9668755540 7271167760 ✅
104 514 864 84 1419 333 784 2147483648 2147483648 ✅ ✅
105 615527288 654 496 88 306720802 1092 1350 221 ✅
106 1996064986 1372045400 2291472605 172493064 2416781228 2117632 285220864 ✅
107 11146095957 9331016333 ✅
108 1218 1787 341 353 768 653 1476919296 1476919296 ✅ ✅
109 1661956075 1218 1010 341 1930720028 1813 486 530 ✅
110 2554220882 2555365717 3802634770 1976037592 966081741 1451269 196150786 ✅
111 14947898509 12706614309 ✅
112 983 1461 141 1962 2019 37 4235264 4235264 ✅ ✅
113 562321278 706 2033 85 3165505339 289 780 789 ✅
114 2821834349 1482671189 606876437 2577845017 3263666206 1140854784 671651152 ✅
115 11907110062 12439962612 ✅
116 1581 1541 174 1835 1712 1012 1451269 1451269 ✅ ✅
117 4098528253 1735 1717 141 275299877 1898 1952 45 ✅
118 2952996808 3640317069 3982393389 1078820948 2976200464 3592562048 2202249455 ✅
119 17927187129 11267162755 ✅
120 356 714 697 1276 1232 643 1711282176 1711282176 ✅ ✅
121 843139653 869 1669 173 2544697005 1834 1971 676 ✅
122 3210313671 1824134317 3848195748 2556161365 741081741 253345734 168565424 ✅
123 14722844311 14611731706 ✅
124 876 817 663 823 853 250 3592562048 3592562048 ✅ ✅
125 3703701621 876 513 703 8197578 1084 1264 902 ✅
126 3336571891 1837631167 2274608006 2062996621 4116679717 1447426396 2450011507 ✅
127 18869952028 15391615861 ✅
128 805 1831 540 1195 602 885 337794312 337794312 ✅ ✅
129 464810993 868 803 669 206746186 119 1744 242 ✅
130 3584528711 1821150877 251347186 3317175470 3850028020 1612709888 2280524547 ✅
131 10516406285 11547619885 ✅
132 918 1256 13 1410 684 557 3594910044 3594910044 ✅ ✅
133 308235093 804 1825 541 3593352518 1719 857 759 ✅
134 113926993 1687979549 3605882615 747317945 2677228163 1135632532 3711107400 ✅
135 15581514975 14332618278 ✅
136 1285 1731 223 690 665 550 3374850048 3374850048 ✅ ✅
137 1658894445 773 1763 29 2023814143 1163 714 885 ✅
138 338241895 1622903837 2439719797 1837942423 1726829818 338835385 280454666 ✅
139 13185253983 11741398124 ✅
140 143 448 607 1502 1505 108 3287351444 3287351444 ✅ ✅
141 1250440168 391 1216 95 3568964284 146 653 549 ✅
142 666307205 821231711 306853413 1690082844 2506713973 2691171782 1910305519 ✅
143 12407862198 12026273163 ✅
144 1820 1084 950 1638 1175 395 676112230 676112230 ✅ ✅
145 1721629668 1293 1216 735 4150531803 1238 1673 556 ✅
146 773529912 2712863455 2597987884 1926471693 2957685293 3344286214 3766519729 ✅
147 15590340245 13082318815 ✅
148 1290 109 661 94 277 991 109604294 4404571590 ✅ ✅
149 3660001581 1294 108 663 1709540944 1478 1269 427 ✅
150 1294757372 2713825943 3100890539 2696613087 1447716390 995778958 2544737473 ✅
151 14036337063 10359122626 ✅
152 549 96 423 843 1258 706 2742808854 7037776150 ✅ ✅
153 1511315575 1804 108 951 3896345066 1134 21 971 ✅
154 1396182291 3783373751 2378192843 300352095 3151463532 2256624430 3312197918 ✅
155 18859681912 13865344681 ✅
156 800 2042 120 467 1047 681 1904000662 1904000662 ✅ ✅
157 627391345 800 104 181 1239538668 335 1282 982 ✅
158 1695183700 1677828277 703859670 3817927606 3436338571 3364202942 224981744 ✅
159 11284140893 12796848877 ✅
160 1284 1428 861 2006 26 749 4274181962 8569149258 ✅ ✅
161 2877679335 804 1520 381 2321624923 475 1266 683 ✅
162 1986661051 1687667069 997444267 2705438357 197416927 829657100 1073176823 ✅
163 14342675534 12482767487 ✅
164 695 247 78 1856 506 639 2813755136 7108722432 ✅ ✅
165 4173035862 804 1526 92 3014140064 2003 1055 749 ✅
166 2177026350 1687672924 4201676525 1151435175 1769188034 4031359666 2323221235 ✅
167 19836494895 15127221284 ✅
168 1266 1593 47 1069 453 36 2165675682 6460642978 ✅ ✅
169 2776266165 1206 1205 79 3305913072 2002 474 749 ✅
170 2456956037 2530399311 4198984429 1679812728 980442793 2040878541 814234044 ✅
171 18414637489 14787784741 ✅
172 588 1604 433 907 748 37 2561075048 6856042344 ✅ ✅
173 3148533122 758 1653 47 615747854 1097 470 638 ✅
174 2730485921 1591333935 2301057662 2694206301 4206914285 2944366334 2080356106 ✅
175 17155147827 15109487071 ✅
176 2036 434 51 1060 1566 479 62000258 4356967554 ✅ ✅
177 2770241984 1780 1584 51 165551402 9 973 37 ✅
178 2820302411 3734552627 19870757 1457773646 3892832895 1204923692 2270274917 ✅
179 13465352334 8418331369 ✅
180 276 1598 142 1966 354 745 1562224585 5857191881 ✅ ✅
181 792007278 852 1590 179 405592672 1061 654 205 ✅
182 3259730800 1788401843 2225748173 2656625711 2242319396 1728758340 4041988337 ✅
183 12276024747 12352241337 ✅
184 1757 1361 427 1794 15 697 2975250741 7270218037 ✅ ✅
185 245703598 2004 1330 171 279073805 1830 1554 1007 ✅
186 3345764771 4204054699 3839380463 1234768305 1902882853 2341485359 3540325889 ✅
187 16792110930 13577120938 ✅
188 1863 209 850 330 155 170 3286092305 11876026897 ✅ ✅
189 229825901 1877 1105 394 2631300331 1958 363 745 ✅
190 3516065817 3937486218 4106596073 4270245939 2224585183 1551511271 1232630305 ✅
191 19931951828 20034885648 ✅
192 1312 604 724 1361 774 16 614207615 9204142207 ✅ ✅
193 2590781038 1861 81 978 1454505398 834 11 681 ✅
194 3600352804 3902883794 1749036713 580450446 4123364073 2319012313 4274352904 ✅
195 18035131435 12121917049 ✅
196 407 1681 43 1684 369 633 3297584367 7592551663 ✅ ✅
197 83339795 1287 721 594 1788050248 1370 394 146 ✅
198 4094571909 2699773522 2873501842 3686090155 3762306745 920336798 2384678903 ✅
199 18599128428 19502105266 ✅
200 676 1547 364 1107 672 690 1575308336 10165242928 ✅ ✅
201 519118536 420 1561 108 2839133727 1296 294 560 ✅
202 275423344 882402412 2718210608 3907209042 692219050 260660253 940274791 ✅
203 9501816013 12007504107 ✅
204 434 1677 205 1629 1278 235 3741240933 8036208229 ✅ ✅
205 2200701755 438 1673 109 1806421113 1233 417 690 ✅
206 430227734 920265837 2586216114 2752082644 2855016464 3200903955 1677415407 ✅
207 14540089950 14171205002 ✅
208 789 522 606 613 731 394 748767245 5043734541 ✅ ✅
209 1794139740 948 1547 76 3452829181 1623 250 698 ✅
210 506948616 1989684300 3403934394 855262251 3531982457 2366380950 1305354425 ✅
211 15428285933 12499724144 ✅
212 1212 1597 493 1864 681 880 1008022316 9597956908 ✅ ✅
213 2841458658 436 1549 205 2833953725 597 1759 395 ✅
214 659060556 915944653 1253801355 1419259244 2322236082 1073519812 322011910 ✅
215 11834477345 9496333278 ✅
216 1547 242 801 432 418 990 30329261 8620263853 ✅ ✅
217 2793045715 1565 570 877 5977573 837 761 848 ✅
218 883997877 3282627437 1756096336 911881421 3417569515 3185791852 3897623765 ✅
219 12169643714 7005851983 ✅
220 1706 1921 706 1292 1332 335 369937616 4664904912 ✅ ✅
221 4216987669 1706 1713 993 3709519375 832 937 894 ✅
222 958139571 3579496417 1745790846 1655188062 1286303114 4294413044 2446951808 ✅
223 15866174608 9724878584 ✅
224 1421 1191 144 541 375 760 195877528 13080779416 ✅ ✅
225 43739254 1675 1187 640 3974733793 428 436 334 ✅
226 1322822218 3513945728 898027854 2543384045 3909789552 4129157013 130334733 ✅
227 13858935927 12844634990 ✅
228 464 933 119 2028 1636 878 907775968 9497710560 ✅ ✅
229 1466673537 1416 1957 210 450912769 524 372 617 ✅
230 1537002063 2971571410 1099289193 3244542753 906398686 3053558573 626477925 ✅
231 9339623626 8145921432 ✅
232 357 982 202 1836 569 408 3526495142 12116429734 ✅ ✅
233 4028210170 453 935 210 351821560 1853 870 872 ✅
234 1747873779 950967506 3886914408 3579709122 2710884687 1150500829 3574305263 ✅
235 17203167252 15803698698 ✅
236 11 224 20 1391 1619 522 43741191 8633675783 ✅ ✅
237 2398665500 321 996 86 390422343 1964 565 364 ✅
238 1955562222 674205782 4119385452 2981272720 1134943992 3590571970 3528955974 ✅
239 10716926482 10625327920 ✅
240 1014 468 530 970 1128 816 1967544444 6262511740 ✅ ✅
241 308964165 359 468 18 255587460 1390 1617 648 ✅
242 2024104815 753356818 2916697736 974034039 4254700398 3878479261 1616730862 ✅
243 12480955836 12392668892 ✅
244 1855 785 444 1813 583 732 133517113 8723451705 ✅ ✅
245 2768952722 831 464 20 4237926185 874 1104 530 ✅
246 2227730452 1743208468 1834041874 749689034 3850954136 242900567 557777540 ✅
247 16796330950 13033858794 ✅
248 1865 234 966 71 57 746 4161330627 8456297923 ✅ ✅
249 1792063560 1919 464 918 85060227 909 1089 984 ✅
250 2361852424 4024910742 1907427288 23298068 2918796810 1969717554 2944529409 ✅
251 17251441678 11457765444 ✅
252 34 263 14 1367 1000 68 3704256008 7999223304 ✅ ✅
253 1896946994 1835 259 398 1844363552 583 47 728 ✅
254 2428436474 3848539534 1222688472 2126991890 2035393328 1978812257 2544037151 ✅
255 16980624362 13362129724 ✅
256 2574235940 2773480762 1952 2032 1002 227 1146 828 1581412744 5876380040 ✅ ✅ ✅
257 2018687061 1541459225 3714055124 1824 482 974 2936526751 71 105 198 ✅
258 2756734187 3825699790 149005510 3891021244 3802734300 1994568821 2266422594 ✅
259 18766168406 15117434736 6869203236 2018687061 ✅
260 2600203464 1013904242 756 832 342 1064 1135 880 1153231965 9743166557 ✅ ✅ ✅
261 2761267483 528734635 2836720967 672 832 334 2765839496 375 2026 820 ✅
262 3204031479 1410138446 788507444 3911429062 148956906 3954451954 2299114876 ✅
263 12307426703 11971996352 2600203464 2761267483 ✅
264 2566659092 3144134277 1772 1307 399 1612 1418 704 996066459 5291033755 ✅ ✅ ✅
265 1687917388 2600822924 3400386742 1764 1872 462 2418674186 1195 1146 892 ✅
266 3329325298 3701293518 2507271036 71572494 2867830852 3134205301 2151394253 ✅
267 19220848091 12190740325 6861626388 5982884684 ✅
268 3820012610 1779033703 973 439 475 1716 2043 869 ✅
269 665731556 1359893119
270
271 3820012610 4960698852