Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[StdLib] Strictify 'fix' #5939

Merged
merged 5 commits into from
May 6, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
134 changes: 67 additions & 67 deletions plutus-benchmark/bls12-381-costs/test/9.6/bls12-381-costs.golden
Original file line number Diff line number Diff line change
Expand Up @@ -2,88 +2,88 @@ Hash n bytestrings onto G1 and add points

n Script size CPU usage Memory usage
----------------------------------------------------------------------
0 117 (0.7%) 17432189 (0.2%) 4518 (0.0%)
10 227 (1.4%) 694178079 (6.9%) 40878 (0.3%)
20 337 (2.1%) 1370923969 (13.7%) 77238 (0.6%)
30 447 (2.7%) 2047669859 (20.5%) 113598 (0.8%)
40 557 (3.4%) 2724415749 (27.2%) 149958 (1.1%)
50 667 (4.1%) 3401161639 (34.0%) 186318 (1.3%)
60 777 (4.7%) 4077907529 (40.8%) 222678 (1.6%)
70 887 (5.4%) 4754653419 (47.5%) 259038 (1.9%)
80 997 (6.1%) 5431399309 (54.3%) 295398 (2.1%)
90 1107 (6.8%) 6108145199 (61.1%) 331758 (2.4%)
100 1217 (7.4%) 6784891089 (67.8%) 368118 (2.6%)
110 1327 (8.1%) 7461636979 (74.6%) 404478 (2.9%)
120 1437 (8.8%) 8138382869 (81.4%) 440838 (3.1%)
130 1547 (9.4%) 8815128759 (88.2%) 477198 (3.4%)
140 1657 (10.1%) 9491874649 (94.9%) 513558 (3.7%)
150 1767 (10.8%) 10168620539 (101.7%) 549918 (3.9%)
0 115 (0.7%) 17294189 (0.2%) 3918 (0.0%)
10 224 (1.4%) 693350079 (6.9%) 37278 (0.3%)
20 334 (2.0%) 1369405969 (13.7%) 70638 (0.5%)
30 444 (2.7%) 2045461859 (20.5%) 103998 (0.7%)
40 554 (3.4%) 2721517749 (27.2%) 137358 (1.0%)
50 664 (4.1%) 3397573639 (34.0%) 170718 (1.2%)
60 774 (4.7%) 4073629529 (40.7%) 204078 (1.5%)
70 884 (5.4%) 4749685419 (47.5%) 237438 (1.7%)
80 994 (6.1%) 5425741309 (54.3%) 270798 (1.9%)
90 1104 (6.7%) 6101797199 (61.0%) 304158 (2.2%)
100 1214 (7.4%) 6777853089 (67.8%) 337518 (2.4%)
110 1324 (8.1%) 7453908979 (74.5%) 370878 (2.6%)
120 1434 (8.8%) 8129964869 (81.3%) 404238 (2.9%)
130 1544 (9.4%) 8806020759 (88.1%) 437598 (3.1%)
140 1654 (10.1%) 9482076649 (94.8%) 470958 (3.4%)
150 1764 (10.8%) 10158132539 (101.6%) 504318 (3.6%)


Hash n bytestrings onto G2 and add points

n Script size CPU usage Memory usage
----------------------------------------------------------------------
0 165 (1.0%) 34024964 (0.3%) 4536 (0.0%)
10 275 (1.7%) 2106368474 (21.1%) 41256 (0.3%)
20 385 (2.3%) 4178711984 (41.8%) 77976 (0.6%)
30 495 (3.0%) 6251055494 (62.5%) 114696 (0.8%)
40 605 (3.7%) 8323399004 (83.2%) 151416 (1.1%)
50 715 (4.4%) 10395742514 (104.0%) 188136 (1.3%)
60 825 (5.0%) 12468086024 (124.7%) 224856 (1.6%)
70 935 (5.7%) 14540429534 (145.4%) 261576 (1.9%)
80 1045 (6.4%) 16612773044 (166.1%) 298296 (2.1%)
90 1155 (7.0%) 18685116554 (186.9%) 335016 (2.4%)
100 1265 (7.7%) 20757460064 (207.6%) 371736 (2.7%)
110 1375 (8.4%) 22829803574 (228.3%) 408456 (2.9%)
120 1485 (9.1%) 24902147084 (249.0%) 445176 (3.2%)
130 1595 (9.7%) 26974490594 (269.7%) 481896 (3.4%)
140 1705 (10.4%) 29046834104 (290.5%) 518616 (3.7%)
150 1815 (11.1%) 31119177614 (311.2%) 555336 (4.0%)
0 163 (1.0%) 33886964 (0.3%) 3936 (0.0%)
10 272 (1.7%) 2105540474 (21.1%) 37656 (0.3%)
20 382 (2.3%) 4177193984 (41.8%) 71376 (0.5%)
30 492 (3.0%) 6248847494 (62.5%) 105096 (0.8%)
40 602 (3.7%) 8320501004 (83.2%) 138816 (1.0%)
50 712 (4.3%) 10392154514 (103.9%) 172536 (1.2%)
60 822 (5.0%) 12463808024 (124.6%) 206256 (1.5%)
70 932 (5.7%) 14535461534 (145.4%) 239976 (1.7%)
80 1042 (6.4%) 16607115044 (166.1%) 273696 (2.0%)
90 1152 (7.0%) 18678768554 (186.8%) 307416 (2.2%)
100 1262 (7.7%) 20750422064 (207.5%) 341136 (2.4%)
110 1372 (8.4%) 22822075574 (228.2%) 374856 (2.7%)
120 1482 (9.0%) 24893729084 (248.9%) 408576 (2.9%)
130 1592 (9.7%) 26965382594 (269.7%) 442296 (3.2%)
140 1702 (10.4%) 29037036104 (290.4%) 476016 (3.4%)
150 1812 (11.1%) 31108689614 (311.1%) 509736 (3.6%)


Uncompress n G1 points and add the results

n Script size CPU usage Memory usage
----------------------------------------------------------------------
0 114 (0.7%) 17432189 (0.2%) 4518 (0.0%)
10 664 (4.1%) 197781159 (2.0%) 38878 (0.3%)
20 1214 (7.4%) 378130129 (3.8%) 73238 (0.5%)
30 1764 (10.8%) 558479099 (5.6%) 107598 (0.8%)
40 2314 (14.1%) 738828069 (7.4%) 141958 (1.0%)
50 2864 (17.5%) 919177039 (9.2%) 176318 (1.3%)
60 3414 (20.8%) 1099526009 (11.0%) 210678 (1.5%)
70 3964 (24.2%) 1279874979 (12.8%) 245038 (1.8%)
80 4514 (27.6%) 1460223949 (14.6%) 279398 (2.0%)
90 5064 (30.9%) 1640572919 (16.4%) 313758 (2.2%)
100 5614 (34.3%) 1820921889 (18.2%) 348118 (2.5%)
110 6164 (37.6%) 2001270859 (20.0%) 382478 (2.7%)
120 6714 (41.0%) 2181619829 (21.8%) 416838 (3.0%)
130 7264 (44.3%) 2361968799 (23.6%) 451198 (3.2%)
140 7814 (47.7%) 2542317769 (25.4%) 485558 (3.5%)
150 8364 (51.0%) 2722666739 (27.2%) 519918 (3.7%)
0 112 (0.7%) 17294189 (0.2%) 3918 (0.0%)
10 661 (4.0%) 196953159 (2.0%) 35278 (0.3%)
20 1211 (7.4%) 376612129 (3.8%) 66638 (0.5%)
30 1761 (10.7%) 556271099 (5.6%) 97998 (0.7%)
40 2311 (14.1%) 735930069 (7.4%) 129358 (0.9%)
50 2861 (17.5%) 915589039 (9.2%) 160718 (1.1%)
60 3411 (20.8%) 1095248009 (11.0%) 192078 (1.4%)
70 3961 (24.2%) 1274906979 (12.7%) 223438 (1.6%)
80 4511 (27.5%) 1454565949 (14.5%) 254798 (1.8%)
90 5061 (30.9%) 1634224919 (16.3%) 286158 (2.0%)
100 5611 (34.2%) 1813883889 (18.1%) 317518 (2.3%)
110 6161 (37.6%) 1993542859 (19.9%) 348878 (2.5%)
120 6711 (41.0%) 2173201829 (21.7%) 380238 (2.7%)
130 7261 (44.3%) 2352860799 (23.5%) 411598 (2.9%)
140 7811 (47.7%) 2532519769 (25.3%) 442958 (3.2%)
150 8361 (51.0%) 2712178739 (27.1%) 474318 (3.4%)


Uncompress n G2 points and add the results

n Script size CPU usage Memory usage
----------------------------------------------------------------------
0 162 (1.0%) 34024964 (0.3%) 4536 (0.0%)
10 1192 (7.3%) 393431584 (3.9%) 39256 (0.3%)
20 2222 (13.6%) 752838204 (7.5%) 73976 (0.5%)
30 3252 (19.8%) 1112244824 (11.1%) 108696 (0.8%)
40 4282 (26.1%) 1471651444 (14.7%) 143416 (1.0%)
50 5312 (32.4%) 1831058064 (18.3%) 178136 (1.3%)
60 6342 (38.7%) 2190464684 (21.9%) 212856 (1.5%)
70 7372 (45.0%) 2549871304 (25.5%) 247576 (1.8%)
80 8402 (51.3%) 2909277924 (29.1%) 282296 (2.0%)
90 9432 (57.6%) 3268684544 (32.7%) 317016 (2.3%)
100 10462 (63.9%) 3628091164 (36.3%) 351736 (2.5%)
110 11492 (70.1%) 3987497784 (39.9%) 386456 (2.8%)
120 12522 (76.4%) 4346904404 (43.5%) 421176 (3.0%)
130 13552 (82.7%) 4706311024 (47.1%) 455896 (3.3%)
140 14582 (89.0%) 5065717644 (50.7%) 490616 (3.5%)
150 15612 (95.3%) 5425124264 (54.3%) 525336 (3.8%)
0 160 (1.0%) 33886964 (0.3%) 3936 (0.0%)
10 1189 (7.3%) 392603584 (3.9%) 35656 (0.3%)
20 2219 (13.5%) 751320204 (7.5%) 67376 (0.5%)
30 3249 (19.8%) 1110036824 (11.1%) 99096 (0.7%)
40 4279 (26.1%) 1468753444 (14.7%) 130816 (0.9%)
50 5309 (32.4%) 1827470064 (18.3%) 162536 (1.2%)
60 6339 (38.7%) 2186186684 (21.9%) 194256 (1.4%)
70 7369 (45.0%) 2544903304 (25.4%) 225976 (1.6%)
80 8399 (51.3%) 2903619924 (29.0%) 257696 (1.8%)
90 9429 (57.6%) 3262336544 (32.6%) 289416 (2.1%)
100 10459 (63.8%) 3621053164 (36.2%) 321136 (2.3%)
110 11489 (70.1%) 3979769784 (39.8%) 352856 (2.5%)
120 12519 (76.4%) 4338486404 (43.4%) 384576 (2.7%)
130 13549 (82.7%) 4697203024 (47.0%) 416296 (3.0%)
140 14579 (89.0%) 5055919644 (50.6%) 448016 (3.2%)
150 15609 (95.3%) 5414636264 (54.1%) 479736 (3.4%)


Apply pairing to two pairs of points in G1 x G2 and run finalVerify on the results
Expand All @@ -103,7 +103,7 @@ VRF example

n Script size CPU usage Memory usage
----------------------------------------------------------------------
- 712 (4.3%) 1303299563 (13.0%) 49149 (0.4%)
- 712 (4.3%) 1303023563 (13.0%) 47949 (0.3%)

G1 Verify

Expand All @@ -121,13 +121,13 @@ Aggregate Single Key

n Script size CPU usage Memory usage
----------------------------------------------------------------------
- 777 (4.7%) 3336910422 (33.4%) 71202 (0.5%)
- 777 (4.7%) 3336634422 (33.4%) 70002 (0.5%)

Aggregate Multi Key

n Script size CPU usage Memory usage
----------------------------------------------------------------------
- 1704 (10.4%) 3676891887 (36.8%) 430586 (3.1%)
- 1704 (10.4%) 3674821887 (36.7%) 421586 (3.0%)

Schnorr Signature G1

Expand Down
32 changes: 16 additions & 16 deletions plutus-benchmark/ed25519-costs/test/9.6/ed25519-costs.golden
Original file line number Diff line number Diff line change
@@ -1,20 +1,20 @@
n Script size CPU usage Memory usage
----------------------------------------------------------------------
0 481 (2.9%) 6124112 (0.1%) 22722 (0.2%)
10 2208 (13.5%) 732562512 (7.3%) 517552 (3.7%)
20 3935 (24.0%) 1459000912 (14.6%) 1012382 (7.2%)
30 5662 (34.6%) 2185439312 (21.9%) 1507212 (10.8%)
40 7389 (45.1%) 2911877712 (29.1%) 2002042 (14.3%)
50 9115 (55.6%) 3638316112 (36.4%) 2496872 (17.8%)
60 10842 (66.2%) 4364754512 (43.6%) 2991702 (21.4%)
70 12569 (76.7%) 5091192912 (50.9%) 3486532 (24.9%)
80 14295 (87.2%) 5817631312 (58.2%) 3981362 (28.4%)
90 16022 (97.8%) 6544069712 (65.4%) 4476192 (32.0%)
100 17749 (108.3%) 7270508112 (72.7%) 4971022 (35.5%)
110 19476 (118.9%) 7996946512 (80.0%) 5465852 (39.0%)
120 21202 (129.4%) 8723384912 (87.2%) 5960682 (42.6%)
130 22929 (139.9%) 9449823312 (94.5%) 6455512 (46.1%)
140 24656 (150.5%) 10176261712 (101.8%) 6950342 (49.6%)
150 26383 (161.0%) 10902700112 (109.0%) 7445172 (53.2%)
0 481 (2.9%) 5848112 (0.1%) 21522 (0.2%)
10 2208 (13.5%) 732286512 (7.3%) 516352 (3.7%)
20 3935 (24.0%) 1458724912 (14.6%) 1011182 (7.2%)
30 5662 (34.6%) 2185163312 (21.9%) 1506012 (10.8%)
40 7389 (45.1%) 2911601712 (29.1%) 2000842 (14.3%)
50 9115 (55.6%) 3638040112 (36.4%) 2495672 (17.8%)
60 10842 (66.2%) 4364478512 (43.6%) 2990502 (21.4%)
70 12569 (76.7%) 5090916912 (50.9%) 3485332 (24.9%)
80 14295 (87.2%) 5817355312 (58.2%) 3980162 (28.4%)
90 16022 (97.8%) 6543793712 (65.4%) 4474992 (32.0%)
100 17749 (108.3%) 7270232112 (72.7%) 4969822 (35.5%)
110 19476 (118.9%) 7996670512 (80.0%) 5464652 (39.0%)
120 21202 (129.4%) 8723108912 (87.2%) 5959482 (42.6%)
130 22929 (139.9%) 9449547312 (94.5%) 6454312 (46.1%)
140 24656 (150.5%) 10175985712 (101.8%) 6949142 (49.6%)
150 26383 (161.0%) 10902424112 (109.0%) 7443972 (53.2%)

Off-chain version succeeded on 100 inputs
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 281818764
| mem: 853552})
({cpu: 278230764
| mem: 837952})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 23467702554
| mem: 69648832})
({cpu: 23433064554
| mem: 69498232})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 84670834
| mem: 261592})
({cpu: 82807834
| mem: 253492})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 5993154004
| mem: 17829232})
({cpu: 5975766004
| mem: 17753632})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 187660620
| mem: 554080})
({cpu: 184072620
| mem: 538480})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 14186634300
| mem: 39690400})
({cpu: 14151996300
| mem: 39539800})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 60673710
| mem: 186740})
({cpu: 58810710
| mem: 178640})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 3669494700
| mem: 10340000})
({cpu: 3652106700
| mem: 10264400})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 174359654
| mem: 564532})
({cpu: 167321654
| mem: 533932})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 368280389
| mem: 1114530})
({cpu: 361242389
| mem: 1083930})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 132243800
| mem: 485500})
({cpu: 125205800
| mem: 454900})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 181259654
| mem: 594532})
({cpu: 174221654
| mem: 563932})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 375180389
| mem: 1144530})
({cpu: 368142389
| mem: 1113930})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 139143800
| mem: 515500})
({cpu: 132105800
| mem: 484900})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 258545561
| mem: 922390})
({cpu: 247988561
| mem: 876490})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 389499336
| mem: 1444704})
({cpu: 373215336
| mem: 1373904})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 279511649
| mem: 1007454})
({cpu: 267781649
| mem: 956454})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 222840463
| mem: 786822})
({cpu: 213732463
| mem: 747222})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 251726730
| mem: 891132})
({cpu: 242342730
| mem: 850332})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 232451662
| mem: 818172})
({cpu: 223274662
| mem: 778272})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 230636085
| mem: 811570})
({cpu: 221459085
| mem: 771670})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 294346963
| mem: 1057176})
({cpu: 283858963
| mem: 1011576})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 273094280
| mem: 978744})
({cpu: 262123280
| mem: 931044})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 249500070
| mem: 886810})
({cpu: 239288070
| mem: 842410})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 279059337
| mem: 999494})
({cpu: 268502337
| mem: 953594})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 282047596
| mem: 1017870})
({cpu: 271076596
| mem: 970170})
Loading