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.

Sign up for GitHub

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

Jump to bottom

Kwxm/bls12-381/prototype (PLT-192, PLT-1557, PLT-1554, etc). #5231

Merged
merged 230 commits into from
Jun 1, 2023
Merged

Kwxm/bls12-381/prototype (PLT-192, PLT-1557, PLT-1554, etc). #5231

Show file tree
Hide file tree
Changes from 226 commits
Commits
Show all changes
230 commits
Select commit Hold shift + click to select a range
0020b29
Initial version of BLS pairing builtins
kwxm Dec 13, 2022
7e0de43
WIP
kwxm Dec 13, 2022
3927e15
WIP
kwxm Dec 14, 2022
4ade080
WIP: implementations of GT operations
kwxm Dec 14, 2022
56589d9
Tidy up instances
kwxm Dec 14, 2022
a592101
More-or-less complete implementation for UPLC
kwxm Dec 15, 2022
26b01ec
Initial costing benchmarks for BLS builtins
kwxm Dec 15, 2022
1bb2753
Update benchmarks
kwxm Dec 15, 2022
099ba8c
Update R code
kwxm Dec 16, 2022
bf30d3f
Forgot source files
kwxm Dec 17, 2022
4956ed9
Wrong denotation for GT_mul
kwxm Dec 17, 2022
b1b1b0d
Partial updates to CreateBuiltinCostModel
kwxm Dec 17, 2022
2354352
Merge branch 'master' into kwxm/BLS12_381/prototype
kwxm Dec 17, 2022
a81447e
Fix typos in function names
kwxm Dec 20, 2022
3cfe6db
Update memory models for BLS12_381 builtins
kwxm Dec 20, 2022
51bbb93
Update memory models for BLS12_381 builtins
kwxm Dec 20, 2022
dd3b6d3
WIP
kwxm Dec 20, 2022
48a0f18
Rename BLS (de)serialise -> (un)compress
kwxm Dec 20, 2022
aaa8ec9
Reformat
kwxm Dec 20, 2022
378264f
inline-r workaround; corrections to cost model generation code
kwxm Dec 20, 2022
39d1804
inline-r workaround
kwxm Dec 20, 2022
236b2cb
Update cost model tests for BLS functions
kwxm Dec 21, 2022
c977559
Update benching results and cost model file for BLS
kwxm Dec 21, 2022
0b0048e
Update benching results and cost model file for BLS
kwxm Dec 21, 2022
c17d0b8
Update comment
kwxm Dec 21, 2022
cd8c1c5
Update comment
kwxm Dec 21, 2022
994b478
Add some extra stuff for the benefit of the QuickCheck shrinker
kwxm Dec 21, 2022
fd18459
Add new builtins to plutus-tx
kwxm Dec 22, 2022
1c219e7
Add a few Haskell BLS examples
kwxm Dec 22, 2022
ba59233
WIP
kwxm Dec 28, 2022
1a18aff
Update cabal file
kwxm Jan 5, 2023
7e812f2
Merge master
kwxm Jan 5, 2023
6216a1a
WIP
kwxm Jan 5, 2023
b102e4a
Update BLS throughput benchmarks
kwxm Jan 9, 2023
54087c7
Update cost model for uncompress vs deserialise
kwxm Jan 10, 2023
b337f23
Update BSL benchmark program
kwxm Jan 10, 2023
196f6ac
Merge branch 'master' into kwxm/BLS12_381/prototype
kwxm Feb 10, 2023
a1e1c48
WIP
kwxm Feb 10, 2023
00c48ee
Nix weirdness
kwxm Feb 10, 2023
c276129
Updates after merge
kwxm Feb 11, 2023
5b4a6fb
Add Groth16 verification example
kwxm Feb 16, 2023
d5c5660
Tidying up; get rid of SourceSpans
kwxm Feb 17, 2023
c292e0e
Minor updates
kwxm Feb 17, 2023
aaf2abc
Minor updates
kwxm Feb 17, 2023
e75b9a2
Add proper Criterion benchmarks
kwxm Feb 17, 2023
8de27a1
Tidying up
kwxm Feb 17, 2023
4d43ca9
Moved file
kwxm Feb 17, 2023
fdf8f6f
Forgot cabal file
kwxm Feb 17, 2023
c3bea5f
Fix typo
kwxm Feb 17, 2023
640fdd7
Update comment
kwxm Feb 19, 2023
9365d43
Merge branch 'master' into kwxm/BLS12_381/prototype
kwxm Mar 2, 2023
2ae1323
Fix cabal version constraints
kwxm Mar 2, 2023
4b22cbe
Add missing cases for geqStep
kwxm Mar 2, 2023
fd8f5c0
Update deriving methods
kwxm Mar 3, 2023
05a9f37
WIP: property tests
kwxm Mar 3, 2023
a5c5386
Add Plutus versions of most of the property tests
kwxm Mar 4, 2023
384add7
Tidy up the test code a bit
kwxm Mar 4, 2023
fa3ae48
Use folds for repeated addition; adjust sizes of test inputs
kwxm Mar 4, 2023
b9ba88c
Better folding
kwxm Mar 5, 2023
0f25b60
Update FFI code to new version
kwxm Mar 5, 2023
3a13bbc
Name change: millerLoop -> pairing
kwxm Mar 5, 2023
0b854bd
Reorganise files
kwxm Mar 5, 2023
8041694
Tidy up
kwxm Mar 5, 2023
bc76516
Tidy up
kwxm Mar 5, 2023
5f5f705
More tidying up
kwxm Mar 5, 2023
7ef1fe1
Add comment
kwxm Mar 5, 2023
8d67d51
Abstraction for BLS property tests
kwxm Mar 6, 2023
efd3d1f
Tidying up
kwxm Mar 6, 2023
40b55ae
WIP
kwxm Mar 10, 2023
52c8d63
Incorporate Inigo's updates
kwxm Mar 10, 2023
0242dd3
Banish Hedgehog
kwxm Mar 11, 2023
9a761c2
Add conformance tests for BLS12-381 constants
kwxm Mar 12, 2023
b8c0a95
Add BLS12-381 addition conformance tests
kwxm Mar 12, 2023
5cd1e06
Add BLS12-381 equality conformance tests
kwxm Mar 12, 2023
cbde413
Add BLS12-381 negation conformance tests
kwxm Mar 12, 2023
4d4280d
Update comment on cofactors
kwxm Mar 12, 2023
086b83a
More conformance tests
kwxm Mar 12, 2023
ffe0130
Correct test name
kwxm Mar 12, 2023
94176b7
Add BLS12-381 scalar multiplication conformance tests
kwxm Mar 12, 2023
a4140ff
Remark about source of data for Groth16 verification example
kwxm Mar 12, 2023
d423a47
Add BLS12-381 pairing operation conformance tests
kwxm Mar 12, 2023
1963ff8
Update comment in BLS12-381 peoperty tests
kwxm Mar 12, 2023
251ef9c
Update comment in BLS12-381 peoperty tests
kwxm Mar 12, 2023
9cc3f61
Typo in file name
kwxm Mar 12, 2023
e451055
Fix types in bls-sizes executable
kwxm Mar 15, 2023
fa4b195
Update names in costing benchmark CSV file
kwxm Mar 15, 2023
82237c5
Update names of built-in types and functions in plutus-core
kwxm Mar 15, 2023
fc02f08
Update names in conformance tests
kwxm Mar 15, 2023
885747e
Update BLS names in plutus-tx-plugin
kwxm Mar 15, 2023
edfabad
Remove parser for MlResult; fix Groth16 example
kwxm Mar 16, 2023
7771982
Tidy up the Groth16 example
kwxm Mar 16, 2023
f1581d5
Merge branch 'master' into kwxm/BLS12_381/prototype
kwxm Mar 16, 2023
fa29bc1
Update versions in plutus-benchmark.cabal
kwxm Mar 16, 2023
e17860c
applyCode -> unsafeApplyCode after PLT-1552
kwxm Mar 16, 2023
80db5e7
Update comment
kwxm Mar 16, 2023
2a2659e
Minor formatting updates
kwxm Mar 16, 2023
8385fbf
Make plutus-metatheory work with the BLS builtins to some extent
kwxm Mar 16, 2023
0370055
Fix incorrect test
kwxm Mar 16, 2023
06d78c1
Exclude failing BLS12-381 Agda tests
kwxm Mar 16, 2023
575f35d
Exclude failing BLS12-381 Agda tests
kwxm Mar 16, 2023
616608c
Add property test for periodicity of scalar multiplication
kwxm Mar 16, 2023
73a3278
Minor code rearrangement
kwxm Mar 16, 2023
067b444
Import scalarPeriod for tests
kwxm Mar 16, 2023
e0bd999
Add more property tests for BLS compression
kwxm Mar 17, 2023
3d89f5d
Add conformance tests for BLS scalar mulitplication periodicity
kwxm Mar 17, 2023
9affbaa
Add descirptive comments to the BLS conformance tests
kwxm Mar 17, 2023
d238be1
Improve printing of known builtins when parser encounters an unknown one
kwxm Mar 18, 2023
b8d6690
Reorganise files containing cryptographic functions
kwxm Mar 18, 2023
37321b8
Reorganise Crypto files
kwxm Mar 18, 2023
8d5080e
hashToCurve -> hashToGroup
kwxm Mar 18, 2023
eda34de
Adjust spacing in print-builtin-signatures
kwxm Mar 18, 2023
2ffe630
Justification
kwxm Mar 18, 2023
aeaec35
Attempt to update to work with iohk-nix version of libblst
kwxm Mar 20, 2023
ea3064b
Merge branch 'master' into kwxm/BLS12_381/prototype
kwxm Mar 20, 2023
51b244f
Merge Mauro's metatheory updates
kwxm Mar 20, 2023
82e659a
Update to new version of BLS bindings
kwxm Mar 20, 2023
5acda2d
Update to new version of BLS bindings
kwxm Mar 20, 2023
98caea1
Update to new version of BLS bindings
kwxm Mar 20, 2023
de4ca72
Merge Mauro's metatheory improvements
kwxm Mar 20, 2023
a91d8a3
Still trying to get libblst to work with nix
kwxm Mar 20, 2023
9a2e840
More informative BLS names in metatheory
kwxm Mar 20, 2023
79bdd9e
Update some comments
kwxm Mar 21, 2023
c67dda5
Get BSL sizes from blst
kwxm Mar 21, 2023
4521caf
Pairing.pairing -> Pairing.millerLoop
kwxm Mar 22, 2023
9c6b92a
Backpatch cost model
kwxm Mar 22, 2023
2319ad0
Turn on immediate warnings in R
kwxm Mar 22, 2023
311d000
Merge branch 'master' into kwxm/BLS12_381/prototype
kwxm Mar 22, 2023
18cf9f6
Restore golden budget results after cost model backpatch
kwxm Mar 22, 2023
6585a98
Attempt to fix plututs-ledger-api version tests
kwxm Mar 22, 2023
0e1c8c5
Restore comment
kwxm Mar 22, 2023
5dfd770
Add comment
kwxm Mar 22, 2023
02d6bf3
Fix name of plutus-tx-plugin-tests
kwxm Mar 22, 2023
fe45053
Improve comments
kwxm Mar 23, 2023
6cc73e3
Extend comments
kwxm Mar 23, 2023
6d969d8
Reformat comments
kwxm Mar 23, 2023
a89677e
Add comments to ignore cbits
kwxm Mar 23, 2023
bf07f99
Comments on costing benchmarks
kwxm Mar 23, 2023
f25bceb
Tidying up
kwxm Mar 23, 2023
930f578
Add some more comments
kwxm Mar 23, 2023
dfbf702
Add changelog entries for BLS12-381 modifications
kwxm Mar 23, 2023
5292de0
Remove unnecessary changelog directories from unversioned packages
kwxm Mar 24, 2023
2038ca0
Update plutus-core/plutus-core/src/PlutusCore/Parser/Builtin.hs
kwxm Mar 24, 2023
1c182de
Address some PR comments
kwxm Mar 24, 2023
b0c8f7f
Crypto -> PlutusCore.Crypto for stuff we've defined
kwxm Mar 24, 2023
6916df4
Address some more PR comments
kwxm Mar 24, 2023
100f301
Update metatheory for package name change
kwxm Mar 24, 2023
8c74593
Update metatheory for package name change
kwxm Mar 24, 2023
50d0e93
Merge branch 'master' into kwxm/BLS12_381/prototype
kwxm Apr 3, 2023
a520986
Update version numbers in cabal file
kwxm Apr 3, 2023
6f0698a
Update BLS branch to work with merged version of BLS bindings in card…
kwxm Apr 3, 2023
a71be07
Remove commented-out Haskell code in plutus-metatheory
kwxm Apr 3, 2023
483cdcd
Missing cases in metatheory
kwxm Apr 3, 2023
a077b9d
Missing cases in metatheory
kwxm Apr 3, 2023
ce46a04
Missing cases in metatheory
kwxm Apr 3, 2023
1187e3f
Missing cases in metatheory
kwxm Apr 3, 2023
9316d19
Missing cases in metatheory
kwxm Apr 3, 2023
228de87
Merge branch 'master' into kwxm/BLS12_381/prototype
kwxm Apr 11, 2023
17f6a86
Reorder constructors in ledger-api cost model interface
kwxm Apr 11, 2023
a345dc7
Update the comments about wrapping BLS12-381 types
kwxm Apr 12, 2023
00e0be0
Remove Haskell property tests for BLS12-381 (tested in cardano-base)
kwxm Apr 16, 2023
6970cbd
Refactoring
kwxm Apr 16, 2023
3a7ed24
Refactoring
kwxm Apr 16, 2023
f121dd6
Remove some stuff that was left in accidentally
kwxm Apr 16, 2023
8957ee1
Remove empty lines
kwxm Apr 16, 2023
d83721a
Merge branch 'master' into kwxm/BLS12_381/prototype
kwxm Apr 16, 2023
5fa04f5
Resolve merge problems
kwxm Apr 16, 2023
50e5040
Fix comment
kwxm Apr 16, 2023
c1191cb
Delete unused boilerplate from changelog entry
kwxm Apr 16, 2023
5fc950c
Merge branch 'master' into kwxm/BLS12_381/prototype
kwxm Apr 17, 2023
6630d15
Update cabal file
kwxm Apr 17, 2023
45ff422
Fix alignment
kwxm Apr 17, 2023
16bf911
Address some PR comments
kwxm Apr 18, 2023
c9fd616
Address some PR comments
kwxm Apr 18, 2023
f2294bc
fromIntegral -> fromSatInt
kwxm Apr 18, 2023
18f28a0
GHC.Tick -> GHC.HpcTick
kwxm Apr 18, 2023
7f897b8
Trying to get rid of wrong version of Expr.hs in plutus-tx-plugin
kwxm Apr 19, 2023
1ac1ae6
Add missing golden files
kwxm Apr 19, 2023
332773f
Fix weird results in TypeSynthesis/Golden/Bls12*
kwxm Apr 19, 2023
8b0db0b
Try to fix blst
michaelpj Apr 19, 2023
aed2c6c
Merge branch 'master' into kwxm/BLS12_381/prototype
kwxm Apr 29, 2023
ccdac92
Add BLS builtins to metatheory
kwxm Apr 30, 2023
2b1b382
Fix Untyped/CEK.lagda; make Agda conformance tests pass
kwxm Apr 30, 2023
10c5e47
Correct spacing
kwxm Apr 30, 2023
1f93366
Remove some remaining merge conflicts
kwxm Apr 30, 2023
4aee59e
Correct spacing
kwxm Apr 30, 2023
bb5b70b
Correct formatting
kwxm Apr 30, 2023
9f1ccb6
Correct formatting
kwxm Apr 30, 2023
4360585
Some renaming
kwxm Apr 30, 2023
610ee51
Merge branch 'master' into kwxm/BLS12_381/prototype
kwxm May 2, 2023
2bae2c7
Update flake
kwxm May 2, 2023
748b666
Merge branch 'master' into kwxm/BLS12_381/prototype
angerman May 11, 2023
8f9b2d7
Bump plutus-core at el from 1.5 -> 1.6
angerman May 11, 2023
0460f4e
Bump haskell.nix, iohk-nix, CHaP
angerman May 11, 2023
bf30c36
Merge branch 'master' into kwxm/BLS12_381/prototype
angerman May 11, 2023
fa8b323
bump cardano-base
angerman May 12, 2023
d71023e
Fix missing blst symbols.
angerman May 12, 2023
5f136e7
Agda fixes
kwxm May 12, 2023
2920bc5
liftCode -> liftCodeDef
kwxm May 12, 2023
f408615
Remove superlfuous dependencies
kwxm May 12, 2023
fe62965
Add DST argument to hashToGroup builtins
kwxm May 12, 2023
513f4e6
Address a couple of PR comments
kwxm May 14, 2023
eed55b5
bump haskell.nix
angerman May 15, 2023
4f94d7f
Add NOINLINE to listOfSizedByteStrings
kwxm May 15, 2023
946ee31
Address some PR comments
kwxm May 15, 2023
2b9ac9f
Merge branch 'kwxm/BLS12_381/prototype' of github.com:input-output-hk…
kwxm May 15, 2023
af2e99d
Bump haskell.nix
hamishmack May 16, 2023
e5bfc61
Merge branch 'kwxm/BLS12_381/prototype' of github.com:input-output-hk…
kwxm May 16, 2023
2c733ab
Error type for overlong DSTs
kwxm May 16, 2023
85ec23d
Error type for overlong DSTs
kwxm May 16, 2023
b3eb0f3
Merge branch 'kwxm/BLS12_381/prototype' of github.com:input-output-hk…
kwxm May 17, 2023
3a859cc
Stuff about shrinking
kwxm May 19, 2023
3d10333
Make CI happy. x is unused.
angerman May 22, 2023
7daa1d5
plutus windows cross 8.10
angerman May 25, 2023
198816d
Finish incomplete test
kwxm May 26, 2023
0e97668
Typo
kwxm May 26, 2023
2b0f142
Address PR comments
kwxm May 26, 2023
75c8cfe
Fix parser for bls12_381_mlresult type
kwxm May 26, 2023
19563fa
WIP updating things
michaelpj May 26, 2023
651f525
bump iohk-nix
michaelpj May 26, 2023
aa41b37
Improve hash collision tests
kwxm May 26, 2023
310cfe0
Merge branch 'kwxm/BLS12_381/prototype' of github.com:input-output-hk…
kwxm May 26, 2023
57dc567
Update benching.csv to new format to make merge easier
kwxm May 26, 2023
fcc4551
Merge branch 'master' into kwxm/BLS12_381/prototype
kwxm May 30, 2023
9a07a5a
Resolve some remaining conflicts
kwxm May 30, 2023
e88aa44
Update ciJobs.nix
kwxm May 30, 2023
17ff8f3
bump haskell.nix
angerman May 31, 2023
df8f19b
Update nix/cells/automation/ciJobs.nix
angerman May 31, 2023
e67e029
Update nix/cells/automation/ciJobs.nix
angerman May 31, 2023
29a78e3
Update plutus-metatheory/src/Algorithmic/Erasure.lagda
angerman Jun 1, 2023
646b7e6
Merge branch 'master' into kwxm/BLS12_381/prototype
angerman Jun 1, 2023
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
  •  
  •  
  •  
2 changes: 1 addition & 1 deletion cabal.project
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ index-state:
-- Bump both the following dates if you need newer packages from Hackage
, hackage.haskell.org 2023-05-23T01:25:23Z
-- Bump this if you need newer packages from CHaP
, cardano-haskell-packages 2023-05-16T08:53:30Z
, cardano-haskell-packages 2023-05-26T00:00:00Z

packages: doc/read-the-docs-site
marlowe-cardano-minimal
Expand Down
Loading