Skip to content

Commit

Permalink
CSE for UPLC (#5634)
Browse files Browse the repository at this point in the history
  • Loading branch information
zliu41 authored Dec 8, 2023
1 parent b5492cb commit 1a4b503
Show file tree
Hide file tree
Showing 272 changed files with 2,702 additions and 967 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -73,6 +73,12 @@
- Dump Untyped Plutus Core


* - ``max-cse-iterations``
- Int
- 4
- Set the max iterations for CSE


* - ``max-simplifier-iterations-pir``
- Int
- 12
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -103,7 +103,7 @@ VRF example

n Script size CPU usage Memory usage
----------------------------------------------------------------------
- 759 (4.6%) 1490764930 (14.9%) 320995 (2.3%)
- 753 (4.6%) 1364980692 (13.6%) 184634 (1.3%)

G1 Verify

Expand All @@ -127,19 +127,19 @@ Aggregate Multi Key

n Script size CPU usage Memory usage
----------------------------------------------------------------------
- 1743 (10.6%) 3741772913 (37.4%) 566493 (4.0%)
- 1743 (10.6%) 3741726913 (37.4%) 566293 (4.0%)

Schnorr Signature G1

n Script size CPU usage Memory usage
----------------------------------------------------------------------
- 421 (2.6%) 550950209 (5.5%) 264724 (1.9%)
- 418 (2.6%) 361167811 (3.6%) 264488 (1.9%)

Schnorr Signature G2

n Script size CPU usage Memory usage
----------------------------------------------------------------------
- 565 (3.4%) 987187705 (9.9%) 264928 (1.9%)
- 562 (3.4%) 606243489 (6.1%) 264656 (1.9%)

Groth16Verify succeeded
Simple Verify succeeded
Expand Down
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 265767561
| mem: 953790})
({cpu: 261098561
| mem: 933490})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 398331336
| mem: 1483104})
({cpu: 393800336
| mem: 1463404})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 287883649
| mem: 1043854})
({cpu: 283168649
| mem: 1023354})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 230384463
| mem: 819622})
({cpu: 225577463
| mem: 798722})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 259270730
| mem: 923932})
({cpu: 254371730
| mem: 902632})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 239328662
| mem: 848072})
({cpu: 234590662
| mem: 827472})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 237513085
| mem: 841470})
({cpu: 232775085
| mem: 820870})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 302373963
| mem: 1092076})
({cpu: 297451963
| mem: 1070676})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 280914280
| mem: 1012744})
({cpu: 276153280
| mem: 992044})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 256975070
| mem: 919310})
({cpu: 252191070
| mem: 898510})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 286373337
| mem: 1031294})
({cpu: 281612337
| mem: 1010594})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 290005596
| mem: 1052470})
({cpu: 285152596
| mem: 1031370})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 349035715
| mem: 1280898})
({cpu: 344458715
| mem: 1260998})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 234989737
| mem: 836344})
({cpu: 230251737
| mem: 815744})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 255885475
| mem: 913408})
({cpu: 251032475
| mem: 892308})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 224355371
| mem: 786366})
({cpu: 219594371
| mem: 765666})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 288925141
| mem: 1054942})
({cpu: 284141141
| mem: 1034142})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 250553373
| mem: 898082})
({cpu: 245815373
| mem: 877482})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 255643746
| mem: 928710})
({cpu: 250974746
| mem: 908410})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 297345841
| mem: 1085714})
({cpu: 292745841
| mem: 1065714})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 241541941
| mem: 864670})
({cpu: 236757941
| mem: 843870})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 271465299
| mem: 975820})
({cpu: 266681299
| mem: 955020})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 265767561
| mem: 953790})
({cpu: 261098561
| mem: 933490})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 282995772
| mem: 1024340})
({cpu: 278303772
| mem: 1003940})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 237885583
| mem: 840474})
({cpu: 233078583
| mem: 819574})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 234723512
| mem: 831350})
({cpu: 229916512
| mem: 810450})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 238740173
| mem: 846770})
({cpu: 234002173
| mem: 826170})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 233174036
| mem: 829742})
({cpu: 228436036
| mem: 809142})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 263768295
| mem: 941638})
({cpu: 258984295
| mem: 920838})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 250354961
| mem: 891622})
({cpu: 245524961
| mem: 870622})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 268620635
| mem: 969012})
({cpu: 263859635
| mem: 948312})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 237885583
| mem: 840474})
({cpu: 233078583
| mem: 819574})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 229423476
| mem: 819316})
({cpu: 224685476
| mem: 798716})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 255520170
| mem: 913506})
({cpu: 250621170
| mem: 892206})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 234989613
| mem: 836344})
({cpu: 230251613
| mem: 815744})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 234989613
| mem: 836344})
({cpu: 230251613
| mem: 815744})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 293383438
| mem: 1062112})
({cpu: 288783438
| mem: 1042112})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 246083693
| mem: 879256})
({cpu: 241345693
| mem: 858656})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 292756755
| mem: 1069666})
({cpu: 288156755
| mem: 1049666})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 265767561
| mem: 953790})
({cpu: 261098561
| mem: 933490})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 297924987
| mem: 1072450})
({cpu: 293094987
| mem: 1051450})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 236924596
| mem: 840168})
({cpu: 232186596
| mem: 819568})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 236924596
| mem: 840168})
({cpu: 232186596
| mem: 819568})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 251769610
| mem: 903080})
({cpu: 246870610
| mem: 881780})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 336758765
| mem: 1240986})
({cpu: 332135765
| mem: 1220886})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 307096153
| mem: 1116772})
({cpu: 302059153
| mem: 1094872})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 258266441
| mem: 932938})
({cpu: 253597441
| mem: 912638})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 236924596
| mem: 840168})
({cpu: 232186596
| mem: 819568})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 357691284
| mem: 1325810})
({cpu: 353114284
| mem: 1305910})
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
({cpu: 288925141
| mem: 1054942})
({cpu: 284141141
| mem: 1034142})
Loading

0 comments on commit 1a4b503

Please sign in to comment.