Skip to content

[AST] Add 'Fix' #6793

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

Closed
wants to merge 5 commits into from
Closed
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
  •  
  •  
  •  
4 changes: 2 additions & 2 deletions plutus-benchmark/bitwise/test/9.6/8 queens.budget.golden
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 409142294016
| mem: 1575213647})
({cpu: 410655830016
| mem: 1584673247})
2 changes: 1 addition & 1 deletion plutus-benchmark/bitwise/test/9.6/8 queens.size.golden
Original file line number Diff line number Diff line change
@@ -1 +1 @@
397
390
4 changes: 2 additions & 2 deletions plutus-benchmark/bitwise/test/9.6/Ed25519.budget.golden
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 2137054479882
| mem: 7088444574})
({cpu: 2095692367882
| mem: 6829931374})
2 changes: 1 addition & 1 deletion plutus-benchmark/bitwise/test/9.6/Ed25519.size.golden
Original file line number Diff line number Diff line change
@@ -1 +1 @@
3417
3410
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Size differences are all insignificant, unsurprisingly.

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 115 (0.7%) 53556222 (0.5%) 3918 (0.0%)
10 224 (1.4%) 593877682 (5.9%) 37278 (0.3%)
20 334 (2.0%) 1134199142 (11.3%) 70638 (0.5%)
30 444 (2.7%) 1674520602 (16.7%) 103998 (0.7%)
40 554 (3.4%) 2214842062 (22.1%) 137358 (1.0%)
50 664 (4.1%) 2755163522 (27.6%) 170718 (1.2%)
60 774 (4.7%) 3295484982 (33.0%) 204078 (1.5%)
70 884 (5.4%) 3835806442 (38.4%) 237438 (1.7%)
80 994 (6.1%) 4376127902 (43.8%) 270798 (1.9%)
90 1104 (6.7%) 4916449362 (49.2%) 304158 (2.2%)
100 1214 (7.4%) 5456770822 (54.6%) 337518 (2.4%)
110 1324 (8.1%) 5997092282 (60.0%) 370878 (2.6%)
120 1434 (8.8%) 6537413742 (65.4%) 404238 (2.9%)
130 1544 (9.4%) 7077735202 (70.8%) 437598 (3.1%)
140 1654 (10.1%) 7618056662 (76.2%) 470958 (3.4%)
150 1764 (10.8%) 8158378122 (81.6%) 504318 (3.6%)
0 109 (0.7%) 53476222 (0.5%) 3418 (0.0%)
10 218 (1.3%) 593317682 (5.9%) 33778 (0.2%)
20 328 (2.0%) 1133159142 (11.3%) 64138 (0.5%)
30 438 (2.7%) 1673000602 (16.7%) 94498 (0.7%)
40 548 (3.3%) 2212842062 (22.1%) 124858 (0.9%)
50 658 (4.0%) 2752683522 (27.5%) 155218 (1.1%)
60 768 (4.7%) 3292524982 (32.9%) 185578 (1.3%)
70 878 (5.4%) 3832366442 (38.3%) 215938 (1.5%)
80 988 (6.0%) 4372207902 (43.7%) 246298 (1.8%)
90 1098 (6.7%) 4912049362 (49.1%) 276658 (2.0%)
100 1208 (7.4%) 5451890822 (54.5%) 307018 (2.2%)
110 1318 (8.0%) 5991732282 (59.9%) 337378 (2.4%)
120 1428 (8.7%) 6531573742 (65.3%) 367738 (2.6%)
130 1538 (9.4%) 7071415202 (70.7%) 398098 (2.8%)
140 1648 (10.1%) 7611256662 (76.1%) 428458 (3.1%)
150 1758 (10.7%) 8151098122 (81.5%) 458818 (3.3%)


Hash n bytestrings onto G2 and add points

n Script size CPU usage Memory usage
----------------------------------------------------------------------
0 163 (1.0%) 75306572 (0.8%) 3936 (0.0%)
10 272 (1.7%) 1769766432 (17.7%) 37656 (0.3%)
20 382 (2.3%) 3464226292 (34.6%) 71376 (0.5%)
30 492 (3.0%) 5158686152 (51.6%) 105096 (0.8%)
40 602 (3.7%) 6853146012 (68.5%) 138816 (1.0%)
50 712 (4.3%) 8547605872 (85.5%) 172536 (1.2%)
60 822 (5.0%) 10242065732 (102.4%) 206256 (1.5%)
70 932 (5.7%) 11936525592 (119.4%) 239976 (1.7%)
80 1042 (6.4%) 13630985452 (136.3%) 273696 (2.0%)
90 1152 (7.0%) 15325445312 (153.3%) 307416 (2.2%)
100 1262 (7.7%) 17019905172 (170.2%) 341136 (2.4%)
110 1372 (8.4%) 18714365032 (187.1%) 374856 (2.7%)
120 1482 (9.0%) 20408824892 (204.1%) 408576 (2.9%)
130 1592 (9.7%) 22103284752 (221.0%) 442296 (3.2%)
140 1702 (10.4%) 23797744612 (238.0%) 476016 (3.4%)
150 1812 (11.1%) 25492204472 (254.9%) 509736 (3.6%)
0 157 (1.0%) 75226572 (0.8%) 3436 (0.0%)
10 266 (1.6%) 1769206432 (17.7%) 34156 (0.2%)
20 376 (2.3%) 3463186292 (34.6%) 64876 (0.5%)
30 486 (3.0%) 5157166152 (51.6%) 95596 (0.7%)
40 596 (3.6%) 6851146012 (68.5%) 126316 (0.9%)
50 706 (4.3%) 8545125872 (85.5%) 157036 (1.1%)
60 816 (5.0%) 10239105732 (102.4%) 187756 (1.3%)
70 926 (5.7%) 11933085592 (119.3%) 218476 (1.6%)
80 1036 (6.3%) 13627065452 (136.3%) 249196 (1.8%)
90 1146 (7.0%) 15321045312 (153.2%) 279916 (2.0%)
100 1256 (7.7%) 17015025172 (170.2%) 310636 (2.2%)
110 1366 (8.3%) 18709005032 (187.1%) 341356 (2.4%)
120 1476 (9.0%) 20402984892 (204.0%) 372076 (2.7%)
130 1586 (9.7%) 22096964752 (221.0%) 402796 (2.9%)
140 1696 (10.4%) 23790944612 (237.9%) 433516 (3.1%)
150 1806 (11.0%) 25484924472 (254.8%) 464236 (3.3%)


Uncompress n G1 points and add the results

n Script size CPU usage Memory usage
----------------------------------------------------------------------
0 112 (0.7%) 53556222 (0.5%) 3918 (0.0%)
10 661 (4.0%) 597620792 (6.0%) 35278 (0.3%)
20 1211 (7.4%) 1141685362 (11.4%) 66638 (0.5%)
30 1761 (10.7%) 1685749932 (16.9%) 97998 (0.7%)
40 2311 (14.1%) 2229814502 (22.3%) 129358 (0.9%)
50 2861 (17.5%) 2773879072 (27.7%) 160718 (1.1%)
60 3411 (20.8%) 3317943642 (33.2%) 192078 (1.4%)
70 3961 (24.2%) 3862008212 (38.6%) 223438 (1.6%)
80 4511 (27.5%) 4406072782 (44.1%) 254798 (1.8%)
90 5061 (30.9%) 4950137352 (49.5%) 286158 (2.0%)
100 5611 (34.2%) 5494201922 (54.9%) 317518 (2.3%)
110 6161 (37.6%) 6038266492 (60.4%) 348878 (2.5%)
120 6711 (41.0%) 6582331062 (65.8%) 380238 (2.7%)
130 7261 (44.3%) 7126395632 (71.3%) 411598 (2.9%)
140 7811 (47.7%) 7670460202 (76.7%) 442958 (3.2%)
150 8361 (51.0%) 8214524772 (82.1%) 474318 (3.4%)
0 105 (0.6%) 53476222 (0.5%) 3418 (0.0%)
10 655 (4.0%) 597060792 (6.0%) 31778 (0.2%)
20 1205 (7.4%) 1140645362 (11.4%) 60138 (0.4%)
30 1755 (10.7%) 1684229932 (16.8%) 88498 (0.6%)
40 2305 (14.1%) 2227814502 (22.3%) 116858 (0.8%)
50 2855 (17.4%) 2771399072 (27.7%) 145218 (1.0%)
60 3405 (20.8%) 3314983642 (33.1%) 173578 (1.2%)
70 3955 (24.1%) 3858568212 (38.6%) 201938 (1.4%)
80 4505 (27.5%) 4402152782 (44.0%) 230298 (1.6%)
90 5055 (30.9%) 4945737352 (49.5%) 258658 (1.8%)
100 5605 (34.2%) 5489321922 (54.9%) 287018 (2.1%)
110 6155 (37.6%) 6032906492 (60.3%) 315378 (2.3%)
120 6705 (40.9%) 6576491062 (65.8%) 343738 (2.5%)
130 7255 (44.3%) 7120075632 (71.2%) 372098 (2.7%)
140 7805 (47.6%) 7663660202 (76.6%) 400458 (2.9%)
150 8355 (51.0%) 8207244772 (82.1%) 428818 (3.1%)


Uncompress n G2 points and add the results

n Script size CPU usage Memory usage
----------------------------------------------------------------------
0 160 (1.0%) 75306572 (0.8%) 3936 (0.0%)
10 1189 (7.3%) 847209652 (8.5%) 35656 (0.3%)
20 2219 (13.5%) 1619112732 (16.2%) 67376 (0.5%)
30 3249 (19.8%) 2391015812 (23.9%) 99096 (0.7%)
40 4279 (26.1%) 3162918892 (31.6%) 130816 (0.9%)
50 5309 (32.4%) 3934821972 (39.3%) 162536 (1.2%)
60 6339 (38.7%) 4706725052 (47.1%) 194256 (1.4%)
70 7369 (45.0%) 5478628132 (54.8%) 225976 (1.6%)
80 8399 (51.3%) 6250531212 (62.5%) 257696 (1.8%)
90 9429 (57.6%) 7022434292 (70.2%) 289416 (2.1%)
100 10459 (63.8%) 7794337372 (77.9%) 321136 (2.3%)
110 11489 (70.1%) 8566240452 (85.7%) 352856 (2.5%)
120 12519 (76.4%) 9338143532 (93.4%) 384576 (2.7%)
130 13549 (82.7%) 10110046612 (101.1%) 416296 (3.0%)
140 14579 (89.0%) 10881949692 (108.8%) 448016 (3.2%)
150 15609 (95.3%) 11653852772 (116.5%) 479736 (3.4%)
0 153 (0.9%) 75226572 (0.8%) 3436 (0.0%)
10 1183 (7.2%) 846649652 (8.5%) 32156 (0.2%)
20 2213 (13.5%) 1618072732 (16.2%) 60876 (0.4%)
30 3243 (19.8%) 2389495812 (23.9%) 89596 (0.6%)
40 4273 (26.1%) 3160918892 (31.6%) 118316 (0.8%)
50 5303 (32.4%) 3932341972 (39.3%) 147036 (1.1%)
60 6333 (38.7%) 4703765052 (47.0%) 175756 (1.3%)
70 7363 (44.9%) 5475188132 (54.8%) 204476 (1.5%)
80 8393 (51.2%) 6246611212 (62.5%) 233196 (1.7%)
90 9423 (57.5%) 7018034292 (70.2%) 261916 (1.9%)
100 10453 (63.8%) 7789457372 (77.9%) 290636 (2.1%)
110 11483 (70.1%) 8560880452 (85.6%) 319356 (2.3%)
120 12513 (76.4%) 9332303532 (93.3%) 348076 (2.5%)
130 13543 (82.7%) 10103726612 (101.0%) 376796 (2.7%)
140 14573 (88.9%) 10875149692 (108.8%) 405516 (2.9%)
150 15603 (95.2%) 11646572772 (116.5%) 434236 (3.1%)


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
----------------------------------------------------------------------
- 714 (4.4%) 1220805236 (12.2%) 48149 (0.3%)
- 708 (4.3%) 1220165236 (12.2%) 44149 (0.3%)

G1 Verify

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

n Script size CPU usage Memory usage
----------------------------------------------------------------------
- 777 (4.7%) 2720886359 (27.2%) 70002 (0.5%)
- 771 (4.7%) 2719910359 (27.2%) 63902 (0.5%)

Aggregate Multi Key

n Script size CPU usage Memory usage
----------------------------------------------------------------------
- 1705 (10.4%) 3446371236 (34.5%) 422386 (3.0%)
- 1698 (10.4%) 3439651236 (34.4%) 380386 (2.7%)

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 458 (2.8%) 5130441 (0.1%) 25722 (0.2%)
10 2185 (13.3%) 646555741 (6.5%) 514552 (3.7%)
20 3912 (23.9%) 1287981041 (12.9%) 1003382 (7.2%)
30 5639 (34.4%) 1929406341 (19.3%) 1492212 (10.7%)
40 7366 (45.0%) 2570831641 (25.7%) 1981042 (14.2%)
50 9092 (55.5%) 3212256941 (32.1%) 2469872 (17.6%)
60 10819 (66.0%) 3853682241 (38.5%) 2958702 (21.1%)
70 12546 (76.6%) 4495107541 (45.0%) 3447532 (24.6%)
80 14272 (87.1%) 5136532841 (51.4%) 3936362 (28.1%)
90 15999 (97.7%) 5777958141 (57.8%) 4425192 (31.6%)
100 17726 (108.2%) 6419383441 (64.2%) 4914022 (35.1%)
110 19453 (118.7%) 7060808741 (70.6%) 5402852 (38.6%)
120 21179 (129.3%) 7702234041 (77.0%) 5891682 (42.1%)
130 22906 (139.8%) 8343659341 (83.4%) 6380512 (45.6%)
140 24633 (150.3%) 8985084641 (89.9%) 6869342 (49.1%)
150 26360 (160.9%) 9626509941 (96.3%) 7358172 (52.6%)
0 451 (2.8%) 5066441 (0.1%) 25322 (0.2%)
10 2178 (13.3%) 645531741 (6.5%) 508152 (3.6%)
20 3905 (23.8%) 1285997041 (12.9%) 990982 (7.1%)
30 5632 (34.4%) 1926462341 (19.3%) 1473812 (10.5%)
40 7359 (44.9%) 2566927641 (25.7%) 1956642 (14.0%)
50 9085 (55.5%) 3207392941 (32.1%) 2439472 (17.4%)
60 10812 (66.0%) 3847858241 (38.5%) 2922302 (20.9%)
70 12539 (76.5%) 4488323541 (44.9%) 3405132 (24.3%)
80 14265 (87.1%) 5128788841 (51.3%) 3887962 (27.8%)
90 15992 (97.6%) 5769254141 (57.7%) 4370792 (31.2%)
100 17719 (108.1%) 6409719441 (64.1%) 4853622 (34.7%)
110 19446 (118.7%) 7050184741 (70.5%) 5336452 (38.1%)
120 21172 (129.2%) 7690650041 (76.9%) 5819282 (41.6%)
130 22899 (139.8%) 8331115341 (83.3%) 6302112 (45.0%)
140 24626 (150.3%) 8971580641 (89.7%) 6784942 (48.5%)
150 26353 (160.8%) 9612045941 (96.1%) 7267772 (51.9%)

Off-chain version succeeded on 100 inputs
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 197510904
| mem: 846852})
({cpu: 193318904
| mem: 820652})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 16499812194
| mem: 70488132})
({cpu: 16026180194
| mem: 67527932})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 59141074
| mem: 255392})
({cpu: 58229074
| mem: 249692})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 4212184144
| mem: 17998532})
({cpu: 4095352144
| mem: 17268332})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 117905780
| mem: 564480})
({cpu: 113713780
| mem: 538280})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 8992550900
| mem: 41599800})
({cpu: 8518918900
| mem: 38639600})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 37925190
| mem: 186640})
({cpu: 37013190
| mem: 180940})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 2323012500
| mem: 10794400})
({cpu: 2206180500
| mem: 10064200})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 122258594
| mem: 523832})
({cpu: 117378594
| mem: 493332})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 316399632
| mem: 1277230})
({cpu: 311519632
| mem: 1246730})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 82856900
| mem: 454900})
({cpu: 77976900
| mem: 424400})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 127058594
| mem: 553832})
({cpu: 122178594
| mem: 523332})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 321199632
| mem: 1307230})
({cpu: 316319632
| mem: 1276730})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 87656900
| mem: 484900})
({cpu: 82776900
| mem: 454400})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 203554074
| mem: 988490})
({cpu: 199090074
| mem: 960590})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 296248136
| mem: 1507304})
({cpu: 288488136
| mem: 1458804})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 218828188
| mem: 1072854})
({cpu: 213516188
| mem: 1039654})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 177375938
| mem: 850422})
({cpu: 173295938
| mem: 824922})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 199201946
| mem: 960932})
({cpu: 194481946
| mem: 931432})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 185596754
| mem: 887072})
({cpu: 181740754
| mem: 862972})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 184435055
| mem: 880470})
({cpu: 180627055
| mem: 856670})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 231014344
| mem: 1131576})
({cpu: 225174344
| mem: 1095076})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 214343877
| mem: 1046444})
({cpu: 209255877
| mem: 1014644})
Loading
Loading