Skip to content

Commit 4cc28a4

Browse files
perturbingkwxm
authored and
Unisay
committed
CIP-0133: Add BLS12-381 multi scalar (#7283)
* add g1/g2 bls msm to plutus core * fix plutus-core and plutus-tx and plutus-tx-plugin builds * add golden files by running const. test with --accept flag * cleanup + remove old comment * run bitwise and cardano-loadns tests with --accept flag to make CI happy * add initial costing setup with model set to zero * update R model and add benchmarks of g1/g2 msm * add non zero cost model to model A/B/C for testing * fix plutus-ledger-api-test failure * remove changes to ledger api (but keeping the git history), remove test model D * correct msm memory cost model to constant * bump CHaP and remove cardano-base SRP * fix plutusTx interface to use lists instead of builtinList * add bls g1/g2 elements to mkNil list for plutus plugin * TEST: add plutus-ledger-api fix to see if CI still builds it all * remove multiScalar args from costmodelparams golden file * update bound on cardano-crypto-class and add comment * add to change logs * fix golden tests and cleanup * Update plutus-tx/changelog.d/20250910_094941_thomas.vellekoop_blsmsm.md Co-authored-by: Kenneth MacKenzie <kenneth.mackenzie@iohk.io> * Update plutus-tx-plugin/changelog.d/20250910_094955_thomas.vellekoop_blsmsm.md Co-authored-by: Kenneth MacKenzie <kenneth.mackenzie@iohk.io> * Update plutus-ledger-api/changelog.d/20250910_094845_thomas.vellekoop_blsmsm.md Co-authored-by: Kenneth MacKenzie <kenneth.mackenzie@iohk.io> * Update plutus-core/changelog.d/20250910_094648_thomas.vellekoop_blsmsm.md Co-authored-by: Kenneth MacKenzie <kenneth.mackenzie@iohk.io> * Update plutus-tx/src/PlutusTx/Builtins/Internal.hs --------- Co-authored-by: Kenneth MacKenzie <kenneth.mackenzie@iohk.io>
1 parent 46164ce commit 4cc28a4

File tree

41 files changed

+1341
-920
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

41 files changed

+1341
-920
lines changed

‎cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/sorted.cbor.size.golden‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
2045
1+
2042

‎cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/sorted.large.budget.golden‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
ExBudget {exBudgetCPU = ExCPU 406467137, exBudgetMemory = ExMemory 2070956}
1+
ExBudget {exBudgetCPU = ExCPU 406419137, exBudgetMemory = ExMemory 2070656}

‎cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/sorted.small.budget.golden‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
ExBudget {exBudgetCPU = ExCPU 60269664, exBudgetMemory = ExMemory 276518}
1+
ExBudget {exBudgetCPU = ExCPU 60221664, exBudgetMemory = ExMemory 276218}

‎cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/sorted.uplc.golden‎

Lines changed: 783 additions & 784 deletions
Large diffs are not rendered by default.

‎cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/unsorted.uplc.golden‎

Lines changed: 36 additions & 36 deletions
Original file line numberDiff line numberDiff line change
@@ -794,19 +794,19 @@ program
794794
(constr 3
795795
[ (constr 1
796796
[ cse
797-
, (constr 1
798-
[ (constr 0
799-
[ (constr 0
800-
[ ])
801-
, (constr 1
802-
[ cse
803-
, cse ]) ])
804-
, (constr 0
805-
[ ]) ]) ]) ]))
797+
, cse ]) ]))
806798
(constr 3
807799
[ (constr 1
808800
[ cse
809-
, cse ]) ]))
801+
, (constr 1
802+
[ (constr 0
803+
[ (constr 0
804+
[ ])
805+
, (constr 1
806+
[ cse
807+
, cse ]) ])
808+
, (constr 0
809+
[ ]) ]) ]) ]))
810810
(constr 1
811811
[ (constr 3
812812
[ (constr 1
@@ -837,16 +837,16 @@ program
837837
[ ])
838838
, (constr 1
839839
[ cse
840-
, (constr 1
841-
[ cse
842-
, (constr 0
843-
[ ]) ]) ]) ]))
840+
, cse ]) ]))
844841
(constr 0
845842
[ (constr 1
846843
[ ])
847844
, (constr 1
848845
[ cse
849-
, cse ]) ]))
846+
, (constr 1
847+
[ cse
848+
, (constr 0
849+
[ ]) ]) ]) ]))
850850
(constr 1
851851
[ (constr 0
852852
[ (constr 0
@@ -871,17 +871,17 @@ program
871871
, (constr 0
872872
[ ]) ]))
873873
(constr 1
874-
[ (constr 0
875-
[ (constr 0
876-
[ ])
877-
, (constr 1
878-
[ 500000000
879-
, (constr 0
880-
[ ]) ]) ])
874+
[ cse
881875
, (constr 0
882876
[ ]) ]))
883877
(constr 1
884-
[ cse
878+
[ (constr 0
879+
[ (constr 0
880+
[ ])
881+
, (constr 1
882+
[ 500000000
883+
, (constr 0
884+
[ ]) ]) ])
885885
, (constr 0
886886
[ ]) ]))
887887
(constr 1
@@ -894,30 +894,30 @@ program
894894
[ ]) ]))
895895
(cse
896896
1))
897-
(cse 10))
897+
(cse 4))
898898
(constr 0
899899
[ (constr 1
900900
[])
901901
, cse ]))
902-
(cse 4))
903-
(cse 1))
902+
(cse 5))
903+
(cse 10))
904904
(cse 10))
905905
(constr 0
906906
[ (constr 1 [])
907907
, (constr 1
908908
[ 1
909909
, (constr 0
910910
[]) ]) ]))
911-
(cse 100))
912-
(cse 5))
913-
(cse 2))
914-
(unsafeRatio 1))
915-
(unsafeRatio 51))
916-
(unsafeRatio 4))
917-
(unsafeRatio 9))
918-
(unsafeRatio 0))
919-
(constr 1 [0, (constr 0 [])]))
920-
(unsafeRatio 3))
911+
(cse 2))
912+
(cse 100))
913+
(cse 1))
914+
(unsafeRatio 9))
915+
(unsafeRatio 1))
916+
(unsafeRatio 3))
917+
(unsafeRatio 51))
918+
(constr 1 [0, (constr 0 [])]))
919+
(unsafeRatio 4))
920+
(unsafeRatio 0))
921921
((\s -> s s)
922922
(\s arg ->
923923
delay

0 commit comments

Comments
 (0)