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

merged 230 commits into from
Jun 1, 2023

Commits on Dec 13, 2022

  1. Initial version of BLS pairing builtins

    @kwxm
    kwxm committed Dec 13, 2022
    Configuration menu
    Copy the full SHA
    0020b29 View commit details
    Browse the repository at this point in the history

  2. WIP

    @kwxm
    kwxm committed Dec 13, 2022
    Configuration menu
    Copy the full SHA
    7e0de43 View commit details
    Browse the repository at this point in the history

Commits on Dec 14, 2022

  1. WIP

    @kwxm
    kwxm committed Dec 14, 2022
    Configuration menu
    Copy the full SHA
    3927e15 View commit details
    Browse the repository at this point in the history

  2. WIP: implementations of GT operations

    @kwxm
    kwxm committed Dec 14, 2022
    Configuration menu
    Copy the full SHA
    4ade080 View commit details
    Browse the repository at this point in the history

  3. Tidy up instances

    @kwxm
    kwxm committed Dec 14, 2022
    Configuration menu
    Copy the full SHA
    56589d9 View commit details
    Browse the repository at this point in the history

Commits on Dec 15, 2022

  1. More-or-less complete implementation for UPLC

    @kwxm
    kwxm committed Dec 15, 2022
    Configuration menu
    Copy the full SHA
    a592101 View commit details
    Browse the repository at this point in the history

  2. Initial costing benchmarks for BLS builtins

    @kwxm
    kwxm committed Dec 15, 2022
    Configuration menu
    Copy the full SHA
    26b01ec View commit details
    Browse the repository at this point in the history

  3. Update benchmarks

    @kwxm
    kwxm committed Dec 15, 2022
    Configuration menu
    Copy the full SHA
    1bb2753 View commit details
    Browse the repository at this point in the history

Commits on Dec 16, 2022

  1. Update R code

    @kwxm
    kwxm committed Dec 16, 2022
    Configuration menu
    Copy the full SHA
    099ba8c View commit details
    Browse the repository at this point in the history

Commits on Dec 17, 2022

  1. Forgot source files

    @kwxm
    kwxm committed Dec 17, 2022
    Configuration menu
    Copy the full SHA
    bf30d3f View commit details
    Browse the repository at this point in the history

  2. Wrong denotation for GT_mul

    @kwxm
    kwxm committed Dec 17, 2022
    Configuration menu
    Copy the full SHA
    4956ed9 View commit details
    Browse the repository at this point in the history

  3. Partial updates to CreateBuiltinCostModel

    @kwxm
    kwxm committed Dec 17, 2022
    Configuration menu
    Copy the full SHA
    b1b1b0d View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into kwxm/BLS12_381/prototype

    @kwxm
    kwxm committed Dec 17, 2022
    Configuration menu
    Copy the full SHA
    2354352 View commit details
    Browse the repository at this point in the history

Commits on Dec 20, 2022

  1. Fix typos in function names

    @kwxm
    kwxm committed Dec 20, 2022
    Configuration menu
    Copy the full SHA
    a81447e View commit details
    Browse the repository at this point in the history

  2. Update memory models for BLS12_381 builtins

    @kwxm
    kwxm committed Dec 20, 2022
    Configuration menu
    Copy the full SHA
    3cfe6db View commit details
    Browse the repository at this point in the history

  3. Update memory models for BLS12_381 builtins

    @kwxm
    kwxm committed Dec 20, 2022
    Configuration menu
    Copy the full SHA
    51bbb93 View commit details
    Browse the repository at this point in the history

  4. WIP

    @kwxm
    kwxm committed Dec 20, 2022
    Configuration menu
    Copy the full SHA
    dd3b6d3 View commit details
    Browse the repository at this point in the history

  5. Rename BLS (de)serialise -> (un)compress

    @kwxm
    kwxm committed Dec 20, 2022
    Configuration menu
    Copy the full SHA
    48a0f18 View commit details
    Browse the repository at this point in the history

  6. Reformat

    @kwxm
    kwxm committed Dec 20, 2022
    Configuration menu
    Copy the full SHA
    aaa8ec9 View commit details
    Browse the repository at this point in the history

  7. inline-r workaround; corrections to cost model generation code

    @kwxm
    kwxm committed Dec 20, 2022
    Configuration menu
    Copy the full SHA
    378264f View commit details
    Browse the repository at this point in the history

  8. inline-r workaround

    @kwxm
    kwxm committed Dec 20, 2022
    Configuration menu
    Copy the full SHA
    39d1804 View commit details
    Browse the repository at this point in the history

Commits on Dec 21, 2022

  1. Update cost model tests for BLS functions

    @kwxm
    kwxm committed Dec 21, 2022
    Configuration menu
    Copy the full SHA
    236b2cb View commit details
    Browse the repository at this point in the history

  2. Update benching results and cost model file for BLS

    @kwxm
    kwxm committed Dec 21, 2022
    Configuration menu
    Copy the full SHA
    c977559 View commit details
    Browse the repository at this point in the history

  3. Update benching results and cost model file for BLS

    @kwxm
    kwxm committed Dec 21, 2022
    Configuration menu
    Copy the full SHA
    0b0048e View commit details
    Browse the repository at this point in the history

  4. Update comment

    @kwxm
    kwxm committed Dec 21, 2022
    Configuration menu
    Copy the full SHA
    c17d0b8 View commit details
    Browse the repository at this point in the history

  5. Update comment

    @kwxm
    kwxm committed Dec 21, 2022
    Configuration menu
    Copy the full SHA
    cd8c1c5 View commit details
    Browse the repository at this point in the history

  6. Add some extra stuff for the benefit of the QuickCheck shrinker

    @kwxm
    kwxm committed Dec 21, 2022
    Configuration menu
    Copy the full SHA
    994b478 View commit details
    Browse the repository at this point in the history

Commits on Dec 22, 2022

  1. Add new builtins to plutus-tx

    @kwxm
    kwxm committed Dec 22, 2022
    Configuration menu
    Copy the full SHA
    fd18459 View commit details
    Browse the repository at this point in the history

  2. Add a few Haskell BLS examples

    @kwxm
    kwxm committed Dec 22, 2022
    Configuration menu
    Copy the full SHA
    1c219e7 View commit details
    Browse the repository at this point in the history

Commits on Dec 28, 2022

  1. WIP

    @kwxm
    kwxm committed Dec 28, 2022
    Configuration menu
    Copy the full SHA
    ba59233 View commit details
    Browse the repository at this point in the history

Commits on Jan 5, 2023

  1. Update cabal file

    @kwxm
    kwxm committed Jan 5, 2023
    Configuration menu
    Copy the full SHA
    1a18aff View commit details
    Browse the repository at this point in the history

  2. Merge master

    @kwxm
    kwxm committed Jan 5, 2023
    Configuration menu
    Copy the full SHA
    7e812f2 View commit details
    Browse the repository at this point in the history

  3. WIP

    @kwxm
    kwxm committed Jan 5, 2023
    Configuration menu
    Copy the full SHA
    6216a1a View commit details
    Browse the repository at this point in the history

Commits on Jan 9, 2023

  1. Update BLS throughput benchmarks

    @kwxm
    kwxm committed Jan 9, 2023
    Configuration menu
    Copy the full SHA
    b102e4a View commit details
    Browse the repository at this point in the history

Commits on Jan 10, 2023

  1. Update cost model for uncompress vs deserialise

    @kwxm
    kwxm committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    54087c7 View commit details
    Browse the repository at this point in the history

  2. Update BSL benchmark program

    @kwxm
    kwxm committed Jan 10, 2023
    Configuration menu
    Copy the full SHA
    b337f23 View commit details
    Browse the repository at this point in the history

Commits on Feb 10, 2023

  1. Merge branch 'master' into kwxm/BLS12_381/prototype

    @kwxm
    kwxm committed Feb 10, 2023
    Configuration menu
    Copy the full SHA
    196f6ac View commit details
    Browse the repository at this point in the history

  2. WIP

    @kwxm
    kwxm committed Feb 10, 2023
    Configuration menu
    Copy the full SHA
    a1e1c48 View commit details
    Browse the repository at this point in the history

  3. Nix weirdness

    @kwxm
    kwxm committed Feb 10, 2023
    Configuration menu
    Copy the full SHA
    00c48ee View commit details
    Browse the repository at this point in the history

Commits on Feb 11, 2023

  1. Updates after merge

    @kwxm
    kwxm committed Feb 11, 2023
    Configuration menu
    Copy the full SHA
    c276129 View commit details
    Browse the repository at this point in the history

Commits on Feb 16, 2023

  1. Add Groth16 verification example

    @kwxm
    kwxm committed Feb 16, 2023
    Configuration menu
    Copy the full SHA
    5b4a6fb View commit details
    Browse the repository at this point in the history

Commits on Feb 17, 2023

  1. Tidying up; get rid of SourceSpans

    @kwxm
    kwxm committed Feb 17, 2023
    Configuration menu
    Copy the full SHA
    d5c5660 View commit details
    Browse the repository at this point in the history

  2. Minor updates

    @kwxm
    kwxm committed Feb 17, 2023
    Configuration menu
    Copy the full SHA
    c292e0e View commit details
    Browse the repository at this point in the history

  3. Minor updates

    @kwxm
    kwxm committed Feb 17, 2023
    Configuration menu
    Copy the full SHA
    aaf2abc View commit details
    Browse the repository at this point in the history

  4. Add proper Criterion benchmarks

    @kwxm
    kwxm committed Feb 17, 2023
    Configuration menu
    Copy the full SHA
    e75b9a2 View commit details
    Browse the repository at this point in the history

  5. Tidying up

    @kwxm
    kwxm committed Feb 17, 2023
    Configuration menu
    Copy the full SHA
    8de27a1 View commit details
    Browse the repository at this point in the history

  6. Moved file

    @kwxm
    kwxm committed Feb 17, 2023
    Configuration menu
    Copy the full SHA
    4d43ca9 View commit details
    Browse the repository at this point in the history

  7. Forgot cabal file

    @kwxm
    kwxm committed Feb 17, 2023
    Configuration menu
    Copy the full SHA
    fdf8f6f View commit details
    Browse the repository at this point in the history

  8. Fix typo

    @kwxm
    kwxm committed Feb 17, 2023
    Configuration menu
    Copy the full SHA
    c3bea5f View commit details
    Browse the repository at this point in the history

Commits on Feb 19, 2023

  1. Update comment

    @kwxm
    kwxm committed Feb 19, 2023
    Configuration menu
    Copy the full SHA
    640fdd7 View commit details
    Browse the repository at this point in the history

Commits on Mar 2, 2023

  1. Merge branch 'master' into kwxm/BLS12_381/prototype

    @kwxm
    kwxm committed Mar 2, 2023
    Configuration menu
    Copy the full SHA
    9365d43 View commit details
    Browse the repository at this point in the history

  2. Fix cabal version constraints

    @kwxm
    kwxm committed Mar 2, 2023
    Configuration menu
    Copy the full SHA
    2ae1323 View commit details
    Browse the repository at this point in the history

  3. Add missing cases for geqStep

    @kwxm
    kwxm committed Mar 2, 2023
    Configuration menu
    Copy the full SHA
    4b22cbe View commit details
    Browse the repository at this point in the history

Commits on Mar 3, 2023

  1. Update deriving methods

    @kwxm
    kwxm committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    fd8f5c0 View commit details
    Browse the repository at this point in the history

  2. WIP: property tests

    @kwxm
    kwxm committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    05a9f37 View commit details
    Browse the repository at this point in the history

Commits on Mar 4, 2023

  1. Add Plutus versions of most of the property tests

    @kwxm
    kwxm committed Mar 4, 2023
    Configuration menu
    Copy the full SHA
    a5c5386 View commit details
    Browse the repository at this point in the history

  2. Tidy up the test code a bit

    @kwxm
    kwxm committed Mar 4, 2023
    Configuration menu
    Copy the full SHA
    384add7 View commit details
    Browse the repository at this point in the history

  3. Use folds for repeated addition; adjust sizes of test inputs

    @kwxm
    kwxm committed Mar 4, 2023
    Configuration menu
    Copy the full SHA
    fa3ae48 View commit details
    Browse the repository at this point in the history

Commits on Mar 5, 2023

  1. Better folding

    @kwxm
    kwxm committed Mar 5, 2023
    Configuration menu
    Copy the full SHA
    b9ba88c View commit details
    Browse the repository at this point in the history

  2. Update FFI code to new version

    @kwxm
    kwxm committed Mar 5, 2023
    Configuration menu
    Copy the full SHA
    0f25b60 View commit details
    Browse the repository at this point in the history

  3. Name change: millerLoop -> pairing

    @kwxm
    kwxm committed Mar 5, 2023
    Configuration menu
    Copy the full SHA
    3a13bbc View commit details
    Browse the repository at this point in the history

  4. Reorganise files

    @kwxm
    kwxm committed Mar 5, 2023
    Configuration menu
    Copy the full SHA
    0b854bd View commit details
    Browse the repository at this point in the history

  5. Tidy up

    @kwxm
    kwxm committed Mar 5, 2023
    Configuration menu
    Copy the full SHA
    8041694 View commit details
    Browse the repository at this point in the history

  6. Tidy up

    @kwxm
    kwxm committed Mar 5, 2023
    Configuration menu
    Copy the full SHA
    bc76516 View commit details
    Browse the repository at this point in the history

  7. More tidying up

    @kwxm
    kwxm committed Mar 5, 2023
    Configuration menu
    Copy the full SHA
    5f5f705 View commit details
    Browse the repository at this point in the history

  8. Add comment

    @kwxm
    kwxm committed Mar 5, 2023
    Configuration menu
    Copy the full SHA
    7ef1fe1 View commit details
    Browse the repository at this point in the history

Commits on Mar 6, 2023

  1. Abstraction for BLS property tests

    @kwxm
    kwxm committed Mar 6, 2023
    Configuration menu
    Copy the full SHA
    8d67d51 View commit details
    Browse the repository at this point in the history

  2. Tidying up

    @kwxm
    kwxm committed Mar 6, 2023
    Configuration menu
    Copy the full SHA
    efd3d1f View commit details
    Browse the repository at this point in the history

Commits on Mar 10, 2023

  1. WIP

    kwxm committed Mar 10, 2023
    Configuration menu
    Copy the full SHA
    40b55ae View commit details
    Browse the repository at this point in the history

  2. Incorporate Inigo's updates

    kwxm committed Mar 10, 2023
    Configuration menu
    Copy the full SHA
    52c8d63 View commit details
    Browse the repository at this point in the history

Commits on Mar 11, 2023

  1. Banish Hedgehog

    kwxm committed Mar 11, 2023
    Configuration menu
    Copy the full SHA
    0242dd3 View commit details
    Browse the repository at this point in the history

Commits on Mar 12, 2023

  1. Add conformance tests for BLS12-381 constants

    kwxm committed Mar 12, 2023
    Configuration menu
    Copy the full SHA
    9a761c2 View commit details
    Browse the repository at this point in the history

  2. Add BLS12-381 addition conformance tests

    kwxm committed Mar 12, 2023
    Configuration menu
    Copy the full SHA
    b8c0a95 View commit details
    Browse the repository at this point in the history

  3. Add BLS12-381 equality conformance tests

    kwxm committed Mar 12, 2023
    Configuration menu
    Copy the full SHA
    5cd1e06 View commit details
    Browse the repository at this point in the history

  4. Add BLS12-381 negation conformance tests

    kwxm committed Mar 12, 2023
    Configuration menu
    Copy the full SHA
    cbde413 View commit details
    Browse the repository at this point in the history

  5. Update comment on cofactors

    kwxm committed Mar 12, 2023
    Configuration menu
    Copy the full SHA
    4d4280d View commit details
    Browse the repository at this point in the history

  6. More conformance tests

    kwxm committed Mar 12, 2023
    Configuration menu
    Copy the full SHA
    086b83a View commit details
    Browse the repository at this point in the history

  7. Correct test name

    kwxm committed Mar 12, 2023
    Configuration menu
    Copy the full SHA
    ffe0130 View commit details
    Browse the repository at this point in the history

  8. Add BLS12-381 scalar multiplication conformance tests

    kwxm committed Mar 12, 2023
    Configuration menu
    Copy the full SHA
    94176b7 View commit details
    Browse the repository at this point in the history

  9. Remark about source of data for Groth16 verification example

    kwxm committed Mar 12, 2023
    Configuration menu
    Copy the full SHA
    a4140ff View commit details
    Browse the repository at this point in the history

  10. Add BLS12-381 pairing operation conformance tests

    kwxm committed Mar 12, 2023
    Configuration menu
    Copy the full SHA
    d423a47 View commit details
    Browse the repository at this point in the history

  11. Update comment in BLS12-381 peoperty tests

    kwxm committed Mar 12, 2023
    Configuration menu
    Copy the full SHA
    1963ff8 View commit details
    Browse the repository at this point in the history

  12. Update comment in BLS12-381 peoperty tests

    kwxm committed Mar 12, 2023
    Configuration menu
    Copy the full SHA
    251ef9c View commit details
    Browse the repository at this point in the history

  13. Typo in file name

    kwxm committed Mar 12, 2023
    Configuration menu
    Copy the full SHA
    9cc3f61 View commit details
    Browse the repository at this point in the history

Commits on Mar 15, 2023

  1. Fix types in bls-sizes executable

    kwxm committed Mar 15, 2023
    Configuration menu
    Copy the full SHA
    e451055 View commit details
    Browse the repository at this point in the history

  2. Update names in costing benchmark CSV file

    kwxm committed Mar 15, 2023
    Configuration menu
    Copy the full SHA
    fa4b195 View commit details
    Browse the repository at this point in the history

  3. Update names of built-in types and functions in plutus-core

    kwxm committed Mar 15, 2023
    Configuration menu
    Copy the full SHA
    82237c5 View commit details
    Browse the repository at this point in the history

  4. Update names in conformance tests

    kwxm committed Mar 15, 2023
    Configuration menu
    Copy the full SHA
    fc02f08 View commit details
    Browse the repository at this point in the history

  5. Update BLS names in plutus-tx-plugin

    kwxm committed Mar 15, 2023
    Configuration menu
    Copy the full SHA
    885747e View commit details
    Browse the repository at this point in the history

Commits on Mar 16, 2023

  1. Remove parser for MlResult; fix Groth16 example

    kwxm committed Mar 16, 2023
    Configuration menu
    Copy the full SHA
    edfabad View commit details
    Browse the repository at this point in the history

  2. Tidy up the Groth16 example

    kwxm committed Mar 16, 2023
    Configuration menu
    Copy the full SHA
    7771982 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into kwxm/BLS12_381/prototype

    kwxm committed Mar 16, 2023
    Configuration menu
    Copy the full SHA
    f1581d5 View commit details
    Browse the repository at this point in the history

  4. Update versions in plutus-benchmark.cabal

    kwxm committed Mar 16, 2023
    Configuration menu
    Copy the full SHA
    fa29bc1 View commit details
    Browse the repository at this point in the history

  5. applyCode -> unsafeApplyCode after PLT-1552

    kwxm committed Mar 16, 2023
    Configuration menu
    Copy the full SHA
    e17860c View commit details
    Browse the repository at this point in the history

  6. Update comment

    kwxm committed Mar 16, 2023
    Configuration menu
    Copy the full SHA
    80db5e7 View commit details
    Browse the repository at this point in the history

  7. Minor formatting updates

    kwxm committed Mar 16, 2023
    Configuration menu
    Copy the full SHA
    2a2659e View commit details
    Browse the repository at this point in the history

  8. Make plutus-metatheory work with the BLS builtins to some extent

    kwxm committed Mar 16, 2023
    Configuration menu
    Copy the full SHA
    8385fbf View commit details
    Browse the repository at this point in the history

  9. Fix incorrect test

    kwxm committed Mar 16, 2023
    Configuration menu
    Copy the full SHA
    0370055 View commit details
    Browse the repository at this point in the history

  10. Exclude failing BLS12-381 Agda tests

    kwxm committed Mar 16, 2023
    Configuration menu
    Copy the full SHA
    06d78c1 View commit details
    Browse the repository at this point in the history

  11. Exclude failing BLS12-381 Agda tests

    kwxm committed Mar 16, 2023
    Configuration menu
    Copy the full SHA
    575f35d View commit details
    Browse the repository at this point in the history

  12. Add property test for periodicity of scalar multiplication

    kwxm committed Mar 16, 2023
    Configuration menu
    Copy the full SHA
    616608c View commit details
    Browse the repository at this point in the history

  13. Minor code rearrangement

    kwxm committed Mar 16, 2023
    Configuration menu
    Copy the full SHA
    73a3278 View commit details
    Browse the repository at this point in the history

  14. Import scalarPeriod for tests

    kwxm committed Mar 16, 2023
    Configuration menu
    Copy the full SHA
    067b444 View commit details
    Browse the repository at this point in the history

Commits on Mar 17, 2023

  1. Add more property tests for BLS compression

    kwxm committed Mar 17, 2023
    Configuration menu
    Copy the full SHA
    e0bd999 View commit details
    Browse the repository at this point in the history

  2. Add conformance tests for BLS scalar mulitplication periodicity

    kwxm committed Mar 17, 2023
    Configuration menu
    Copy the full SHA
    3d89f5d View commit details
    Browse the repository at this point in the history

  3. Add descirptive comments to the BLS conformance tests

    kwxm committed Mar 17, 2023
    Configuration menu
    Copy the full SHA
    9affbaa View commit details
    Browse the repository at this point in the history

Commits on Mar 18, 2023

  1. Improve printing of known builtins when parser encounters an unknown one

    kwxm committed Mar 18, 2023
    Configuration menu
    Copy the full SHA
    d238be1 View commit details
    Browse the repository at this point in the history

  2. Reorganise files containing cryptographic functions

    kwxm committed Mar 18, 2023
    Configuration menu
    Copy the full SHA
    b8d6690 View commit details
    Browse the repository at this point in the history

  3. Reorganise Crypto files

    kwxm committed Mar 18, 2023
    Configuration menu
    Copy the full SHA
    37321b8 View commit details
    Browse the repository at this point in the history

  4. hashToCurve -> hashToGroup

    kwxm committed Mar 18, 2023
    Configuration menu
    Copy the full SHA
    8d5080e View commit details
    Browse the repository at this point in the history

  5. Adjust spacing in print-builtin-signatures

    kwxm committed Mar 18, 2023
    Configuration menu
    Copy the full SHA
    eda34de View commit details
    Browse the repository at this point in the history

  6. Justification

    kwxm committed Mar 18, 2023
    Configuration menu
    Copy the full SHA
    2ffe630 View commit details
    Browse the repository at this point in the history

Commits on Mar 20, 2023

  1. Attempt to update to work with iohk-nix version of libblst

    kwxm committed Mar 20, 2023
    Configuration menu
    Copy the full SHA
    aeaec35 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into kwxm/BLS12_381/prototype

    kwxm committed Mar 20, 2023
    Configuration menu
    Copy the full SHA
    ea3064b View commit details
    Browse the repository at this point in the history

  3. Merge Mauro's metatheory updates

    kwxm committed Mar 20, 2023
    Configuration menu
    Copy the full SHA
    51b244f View commit details
    Browse the repository at this point in the history

  4. Update to new version of BLS bindings

    kwxm committed Mar 20, 2023
    Configuration menu
    Copy the full SHA
    82e659a View commit details
    Browse the repository at this point in the history

  5. Update to new version of BLS bindings

    kwxm committed Mar 20, 2023
    Configuration menu
    Copy the full SHA
    5acda2d View commit details
    Browse the repository at this point in the history

  6. Update to new version of BLS bindings

    kwxm committed Mar 20, 2023
    Configuration menu
    Copy the full SHA
    98caea1 View commit details
    Browse the repository at this point in the history

  7. Merge Mauro's metatheory improvements

    kwxm committed Mar 20, 2023
    Configuration menu
    Copy the full SHA
    de4ca72 View commit details
    Browse the repository at this point in the history

  8. Still trying to get libblst to work with nix

    kwxm committed Mar 20, 2023
    Configuration menu
    Copy the full SHA
    a91d8a3 View commit details
    Browse the repository at this point in the history

  9. More informative BLS names in metatheory

    kwxm committed Mar 20, 2023
    Configuration menu
    Copy the full SHA
    9a2e840 View commit details
    Browse the repository at this point in the history

Commits on Mar 21, 2023

  1. Update some comments

    kwxm committed Mar 21, 2023
    Configuration menu
    Copy the full SHA
    79bdd9e View commit details
    Browse the repository at this point in the history

  2. Get BSL sizes from blst

    kwxm committed Mar 21, 2023
    Configuration menu
    Copy the full SHA
    c67dda5 View commit details
    Browse the repository at this point in the history

Commits on Mar 22, 2023

  1. Pairing.pairing -> Pairing.millerLoop

    kwxm committed Mar 22, 2023
    Configuration menu
    Copy the full SHA
    4521caf View commit details
    Browse the repository at this point in the history

  2. Backpatch cost model

    kwxm committed Mar 22, 2023
    Configuration menu
    Copy the full SHA
    9c6b92a View commit details
    Browse the repository at this point in the history

  3. Turn on immediate warnings in R

    kwxm committed Mar 22, 2023
    Configuration menu
    Copy the full SHA
    2319ad0 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into kwxm/BLS12_381/prototype

    kwxm committed Mar 22, 2023
    Configuration menu
    Copy the full SHA
    311d000 View commit details
    Browse the repository at this point in the history

  5. Restore golden budget results after cost model backpatch

    kwxm committed Mar 22, 2023
    Configuration menu
    Copy the full SHA
    18cf9f6 View commit details
    Browse the repository at this point in the history

  6. Attempt to fix plututs-ledger-api version tests

    kwxm committed Mar 22, 2023
    Configuration menu
    Copy the full SHA
    6585a98 View commit details
    Browse the repository at this point in the history

  7. Restore comment

    kwxm committed Mar 22, 2023
    Configuration menu
    Copy the full SHA
    0e1c8c5 View commit details
    Browse the repository at this point in the history

  8. Add comment

    kwxm committed Mar 22, 2023
    Configuration menu
    Copy the full SHA
    5dfd770 View commit details
    Browse the repository at this point in the history

  9. Fix name of plutus-tx-plugin-tests

    kwxm committed Mar 22, 2023
    Configuration menu
    Copy the full SHA
    02d6bf3 View commit details
    Browse the repository at this point in the history

Commits on Mar 23, 2023

  1. Improve comments

    kwxm committed Mar 23, 2023
    Configuration menu
    Copy the full SHA
    fe45053 View commit details
    Browse the repository at this point in the history

  2. Extend comments

    kwxm committed Mar 23, 2023
    Configuration menu
    Copy the full SHA
    6cc73e3 View commit details
    Browse the repository at this point in the history

  3. Reformat comments

    kwxm committed Mar 23, 2023
    Configuration menu
    Copy the full SHA
    6d969d8 View commit details
    Browse the repository at this point in the history

  4. Add comments to ignore cbits

    kwxm committed Mar 23, 2023
    Configuration menu
    Copy the full SHA
    a89677e View commit details
    Browse the repository at this point in the history

  5. Comments on costing benchmarks

    kwxm committed Mar 23, 2023
    Configuration menu
    Copy the full SHA
    bf07f99 View commit details
    Browse the repository at this point in the history

  6. Tidying up

    kwxm committed Mar 23, 2023
    Configuration menu
    Copy the full SHA
    f25bceb View commit details
    Browse the repository at this point in the history

  7. Add some more comments

    kwxm committed Mar 23, 2023
    Configuration menu
    Copy the full SHA
    930f578 View commit details
    Browse the repository at this point in the history

  8. Add changelog entries for BLS12-381 modifications

    kwxm committed Mar 23, 2023
    Configuration menu
    Copy the full SHA
    dfbf702 View commit details
    Browse the repository at this point in the history

Commits on Mar 24, 2023

  1. Remove unnecessary changelog directories from unversioned packages

    kwxm committed Mar 24, 2023
    Configuration menu
    Copy the full SHA
    5292de0 View commit details
    Browse the repository at this point in the history

  2. Update plutus-core/plutus-core/src/PlutusCore/Parser/Builtin.hs 

    Co-authored-by: Michael Peyton Jones <[email protected]>
    @kwxm @michaelpj
    kwxm and michaelpj authored Mar 24, 2023
    Configuration menu
    Copy the full SHA
    2038ca0 View commit details
    Browse the repository at this point in the history

  3. Address some PR comments

    kwxm committed Mar 24, 2023
    Configuration menu
    Copy the full SHA
    1c182de View commit details
    Browse the repository at this point in the history

  4. Crypto -> PlutusCore.Crypto for stuff we've defined

    kwxm committed Mar 24, 2023
    Configuration menu
    Copy the full SHA
    b0c8f7f View commit details
    Browse the repository at this point in the history

  5. Address some more PR comments

    kwxm committed Mar 24, 2023
    Configuration menu
    Copy the full SHA
    6916df4 View commit details
    Browse the repository at this point in the history

  6. Update metatheory for package name change

    kwxm committed Mar 24, 2023
    Configuration menu
    Copy the full SHA
    100f301 View commit details
    Browse the repository at this point in the history

  7. Update metatheory for package name change

    kwxm committed Mar 24, 2023
    Configuration menu
    Copy the full SHA
    8c74593 View commit details
    Browse the repository at this point in the history

Commits on Apr 3, 2023

  1. Merge branch 'master' into kwxm/BLS12_381/prototype

    kwxm committed Apr 3, 2023
    Configuration menu
    Copy the full SHA
    50d0e93 View commit details
    Browse the repository at this point in the history

  2. Update version numbers in cabal file

    kwxm committed Apr 3, 2023
    Configuration menu
    Copy the full SHA
    a520986 View commit details
    Browse the repository at this point in the history

  3. Update BLS branch to work with merged version of BLS bindings in card… 

    …ano-base
    kwxm committed Apr 3, 2023
    Configuration menu
    Copy the full SHA
    6f0698a View commit details
    Browse the repository at this point in the history

  4. Remove commented-out Haskell code in plutus-metatheory

    kwxm committed Apr 3, 2023
    Configuration menu
    Copy the full SHA
    a71be07 View commit details
    Browse the repository at this point in the history

  5. Missing cases in metatheory

    kwxm committed Apr 3, 2023
    Configuration menu
    Copy the full SHA
    483cdcd View commit details
    Browse the repository at this point in the history

  6. Missing cases in metatheory

    kwxm committed Apr 3, 2023
    Configuration menu
    Copy the full SHA
    a077b9d View commit details
    Browse the repository at this point in the history

  7. Missing cases in metatheory

    kwxm committed Apr 3, 2023
    Configuration menu
    Copy the full SHA
    ce46a04 View commit details
    Browse the repository at this point in the history

  8. Missing cases in metatheory

    kwxm committed Apr 3, 2023
    Configuration menu
    Copy the full SHA
    1187e3f View commit details
    Browse the repository at this point in the history

  9. Missing cases in metatheory

    kwxm committed Apr 3, 2023
    Configuration menu
    Copy the full SHA
    9316d19 View commit details
    Browse the repository at this point in the history

Commits on Apr 11, 2023

  1. Merge branch 'master' into kwxm/BLS12_381/prototype

    kwxm committed Apr 11, 2023
    Configuration menu
    Copy the full SHA
    228de87 View commit details
    Browse the repository at this point in the history

  2. Reorder constructors in ledger-api cost model interface

    kwxm committed Apr 11, 2023
    Configuration menu
    Copy the full SHA
    17f6a86 View commit details
    Browse the repository at this point in the history

Commits on Apr 12, 2023

  1. Update the comments about wrapping BLS12-381 types

    kwxm committed Apr 12, 2023
    Configuration menu
    Copy the full SHA
    a345dc7 View commit details
    Browse the repository at this point in the history

Commits on Apr 16, 2023

  1. Remove Haskell property tests for BLS12-381 (tested in cardano-base)

    kwxm committed Apr 16, 2023
    Configuration menu
    Copy the full SHA
    00e0be0 View commit details
    Browse the repository at this point in the history

  2. Refactoring

    kwxm committed Apr 16, 2023
    Configuration menu
    Copy the full SHA
    6970cbd View commit details
    Browse the repository at this point in the history

  3. Refactoring

    kwxm committed Apr 16, 2023
    Configuration menu
    Copy the full SHA
    3a7ed24 View commit details
    Browse the repository at this point in the history

  4. Remove some stuff that was left in accidentally

    kwxm committed Apr 16, 2023
    Configuration menu
    Copy the full SHA
    f121dd6 View commit details
    Browse the repository at this point in the history

  5. Remove empty lines

    kwxm committed Apr 16, 2023
    Configuration menu
    Copy the full SHA
    8957ee1 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'master' into kwxm/BLS12_381/prototype

    kwxm committed Apr 16, 2023
    Configuration menu
    Copy the full SHA
    d83721a View commit details
    Browse the repository at this point in the history

  7. Resolve merge problems

    kwxm committed Apr 16, 2023
    Configuration menu
    Copy the full SHA
    5fa04f5 View commit details
    Browse the repository at this point in the history

  8. Fix comment

    kwxm committed Apr 16, 2023
    Configuration menu
    Copy the full SHA
    50e5040 View commit details
    Browse the repository at this point in the history

  9. Delete unused boilerplate from changelog entry

    kwxm committed Apr 16, 2023
    Configuration menu
    Copy the full SHA
    c1191cb View commit details
    Browse the repository at this point in the history

Commits on Apr 17, 2023

  1. Merge branch 'master' into kwxm/BLS12_381/prototype

    kwxm committed Apr 17, 2023
    Configuration menu
    Copy the full SHA
    5fc950c View commit details
    Browse the repository at this point in the history

  2. Update cabal file

    kwxm committed Apr 17, 2023
    Configuration menu
    Copy the full SHA
    6630d15 View commit details
    Browse the repository at this point in the history

  3. Fix alignment

    kwxm committed Apr 17, 2023
    Configuration menu
    Copy the full SHA
    45ff422 View commit details
    Browse the repository at this point in the history

Commits on Apr 18, 2023

  1. Address some PR comments

    kwxm committed Apr 18, 2023
    Configuration menu
    Copy the full SHA
    16bf911 View commit details
    Browse the repository at this point in the history

  2. Address some PR comments

    kwxm committed Apr 18, 2023
    Configuration menu
    Copy the full SHA
    c9fd616 View commit details
    Browse the repository at this point in the history

  3. fromIntegral -> fromSatInt

    kwxm committed Apr 18, 2023
    Configuration menu
    Copy the full SHA
    f2294bc View commit details
    Browse the repository at this point in the history

  4. GHC.Tick -> GHC.HpcTick

    kwxm committed Apr 18, 2023
    Configuration menu
    Copy the full SHA
    18f28a0 View commit details
    Browse the repository at this point in the history

Commits on Apr 19, 2023

  1. Trying to get rid of wrong version of Expr.hs in plutus-tx-plugin

    kwxm committed Apr 19, 2023
    Configuration menu
    Copy the full SHA
    7f897b8 View commit details
    Browse the repository at this point in the history

  2. Add missing golden files

    kwxm committed Apr 19, 2023
    Configuration menu
    Copy the full SHA
    1ac1ae6 View commit details
    Browse the repository at this point in the history

  3. Fix weird results in TypeSynthesis/Golden/Bls12*

    kwxm committed Apr 19, 2023
    Configuration menu
    Copy the full SHA
    332773f View commit details
    Browse the repository at this point in the history

  4. Try to fix blst

    @michaelpj
    michaelpj committed Apr 19, 2023
    Configuration menu
    Copy the full SHA
    8b0db0b View commit details
    Browse the repository at this point in the history

Commits on Apr 29, 2023

  1. Merge branch 'master' into kwxm/BLS12_381/prototype

    @kwxm
    kwxm committed Apr 29, 2023
    Configuration menu
    Copy the full SHA
    aed2c6c View commit details
    Browse the repository at this point in the history

Commits on Apr 30, 2023

  1. Add BLS builtins to metatheory

    @kwxm
    kwxm committed Apr 30, 2023
    Configuration menu
    Copy the full SHA
    ccdac92 View commit details
    Browse the repository at this point in the history

  2. Fix Untyped/CEK.lagda; make Agda conformance tests pass

    @kwxm
    kwxm committed Apr 30, 2023
    Configuration menu
    Copy the full SHA
    2b1b382 View commit details
    Browse the repository at this point in the history

  3. Correct spacing

    @kwxm
    kwxm committed Apr 30, 2023
    Configuration menu
    Copy the full SHA
    10c5e47 View commit details
    Browse the repository at this point in the history

  4. Remove some remaining merge conflicts

    @kwxm
    kwxm committed Apr 30, 2023
    Configuration menu
    Copy the full SHA
    1f93366 View commit details
    Browse the repository at this point in the history

  5. Correct spacing

    @kwxm
    kwxm committed Apr 30, 2023
    Configuration menu
    Copy the full SHA
    4aee59e View commit details
    Browse the repository at this point in the history

  6. Correct formatting

    @kwxm
    kwxm committed Apr 30, 2023
    Configuration menu
    Copy the full SHA
    bb5b70b View commit details
    Browse the repository at this point in the history

  7. Correct formatting

    @kwxm
    kwxm committed Apr 30, 2023
    Configuration menu
    Copy the full SHA
    9f1ccb6 View commit details
    Browse the repository at this point in the history

  8. Some renaming

    @kwxm
    kwxm committed Apr 30, 2023
    Configuration menu
    Copy the full SHA
    4360585 View commit details
    Browse the repository at this point in the history

Commits on May 2, 2023

  1. Merge branch 'master' into kwxm/BLS12_381/prototype

    @kwxm
    kwxm committed May 2, 2023
    Configuration menu
    Copy the full SHA
    610ee51 View commit details
    Browse the repository at this point in the history

  2. Update flake

    @kwxm
    kwxm committed May 2, 2023
    Configuration menu
    Copy the full SHA
    2bae2c7 View commit details
    Browse the repository at this point in the history

Commits on May 11, 2023

  1. Merge branch 'master' into kwxm/BLS12_381/prototype

    @angerman
    angerman authored May 11, 2023
    Configuration menu
    Copy the full SHA
    748b666 View commit details
    Browse the repository at this point in the history

  2. Bump plutus-core at el from 1.5 -> 1.6

    @angerman
    angerman committed May 11, 2023
    Configuration menu
    Copy the full SHA
    8f9b2d7 View commit details
    Browse the repository at this point in the history

  3. Bump haskell.nix, iohk-nix, CHaP

    @angerman
    angerman committed May 11, 2023
    Configuration menu
    Copy the full SHA
    0460f4e View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into kwxm/BLS12_381/prototype

    @angerman
    angerman authored May 11, 2023
    Configuration menu
    Copy the full SHA
    bf30c36 View commit details
    Browse the repository at this point in the history

Commits on May 12, 2023

  1. bump cardano-base 

    we needed to get proper blst discovery, until 2.2.0.0 is released. This
also means we need to bring in cardano-mempool.
    @angerman
    angerman committed May 12, 2023
    Configuration menu
    Copy the full SHA
    fa8b323 View commit details
    Browse the repository at this point in the history

  2. Fix missing blst symbols. 

    This depends on IntersectMBO/cardano-base#412.
    @angerman
    angerman committed May 12, 2023
    Configuration menu
    Copy the full SHA
    d71023e View commit details
    Browse the repository at this point in the history

  3. Agda fixes

    @kwxm
    kwxm committed May 12, 2023
    Configuration menu
    Copy the full SHA
    5f136e7 View commit details
    Browse the repository at this point in the history

  4. liftCode -> liftCodeDef

    @kwxm
    kwxm committed May 12, 2023
    Configuration menu
    Copy the full SHA
    2920bc5 View commit details
    Browse the repository at this point in the history

  5. Remove superlfuous dependencies

    @kwxm
    kwxm committed May 12, 2023
    Configuration menu
    Copy the full SHA
    f408615 View commit details
    Browse the repository at this point in the history

  6. Add DST argument to hashToGroup builtins

    @kwxm
    kwxm committed May 12, 2023
    Configuration menu
    Copy the full SHA
    fe62965 View commit details
    Browse the repository at this point in the history

Commits on May 14, 2023

  1. Address a couple of PR comments

    @kwxm
    kwxm committed May 14, 2023
    Configuration menu
    Copy the full SHA
    513f4e6 View commit details
    Browse the repository at this point in the history

Commits on May 15, 2023

  1. bump haskell.nix

    @angerman
    angerman committed May 15, 2023
    Configuration menu
    Copy the full SHA
    eed55b5 View commit details
    Browse the repository at this point in the history

  2. Add NOINLINE to listOfSizedByteStrings

    @kwxm
    kwxm committed May 15, 2023
    Configuration menu
    Copy the full SHA
    4f94d7f View commit details
    Browse the repository at this point in the history

  3. Address some PR comments

    @kwxm
    kwxm committed May 15, 2023
    Configuration menu
    Copy the full SHA
    946ee31 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'kwxm/BLS12_381/prototype' of github.com:input-output-hk… 

    …/plutus into kwxm/BLS12_381/prototype
    @kwxm
    kwxm committed May 15, 2023
    Configuration menu
    Copy the full SHA
    2b9ac9f View commit details
    Browse the repository at this point in the history

Commits on May 16, 2023

  1. Bump haskell.nix 

    To get input-output-hk/haskell.nix#1948
    @hamishmack
    hamishmack committed May 16, 2023
    Configuration menu
    Copy the full SHA
    af2e99d View commit details
    Browse the repository at this point in the history

  2. Merge branch 'kwxm/BLS12_381/prototype' of github.com:input-output-hk… 

    …/plutus into kwxm/BLS12_381/prototype
    @kwxm
    kwxm committed May 16, 2023
    Configuration menu
    Copy the full SHA
    e5bfc61 View commit details
    Browse the repository at this point in the history

  3. Error type for overlong DSTs

    @kwxm
    kwxm committed May 16, 2023
    Configuration menu
    Copy the full SHA
    2c733ab View commit details
    Browse the repository at this point in the history

Commits on May 17, 2023

  1. Error type for overlong DSTs

    @kwxm @angerman
    kwxm authored and angerman committed May 17, 2023
    Configuration menu
    Copy the full SHA
    85ec23d View commit details
    Browse the repository at this point in the history

  2. Merge branch 'kwxm/BLS12_381/prototype' of github.com:input-output-hk… 

    …/plutus into kwxm/BLS12_381/prototype
    @kwxm
    kwxm committed May 17, 2023
    Configuration menu
    Copy the full SHA
    b3eb0f3 View commit details
    Browse the repository at this point in the history

Commits on May 19, 2023

  1. Stuff about shrinking

    @kwxm
    kwxm committed May 19, 2023
    Configuration menu
    Copy the full SHA
    3a859cc View commit details
    Browse the repository at this point in the history

Commits on May 22, 2023

  1. Make CI happy. x is unused.

    @angerman
    angerman committed May 22, 2023
    Configuration menu
    Copy the full SHA
    3d10333 View commit details
    Browse the repository at this point in the history

Commits on May 25, 2023

  1. plutus windows cross 8.10

    @angerman
    angerman committed May 25, 2023
    Configuration menu
    Copy the full SHA
    7daa1d5 View commit details
    Browse the repository at this point in the history

Commits on May 26, 2023

  1. Finish incomplete test

    @kwxm
    kwxm committed May 26, 2023
    Configuration menu
    Copy the full SHA
    198816d View commit details
    Browse the repository at this point in the history

  2. Typo

    @kwxm
    kwxm committed May 26, 2023
    Configuration menu
    Copy the full SHA
    0e97668 View commit details
    Browse the repository at this point in the history

  3. Address PR comments

    @kwxm
    kwxm committed May 26, 2023
    Configuration menu
    Copy the full SHA
    2b0f142 View commit details
    Browse the repository at this point in the history

  4. Fix parser for bls12_381_mlresult type

    @kwxm
    kwxm committed May 26, 2023
    Configuration menu
    Copy the full SHA
    75c8cfe View commit details
    Browse the repository at this point in the history

  5. WIP updating things

    @michaelpj
    michaelpj committed May 26, 2023
    Configuration menu
    Copy the full SHA
    19563fa View commit details
    Browse the repository at this point in the history

  6. bump iohk-nix

    @michaelpj
    michaelpj committed May 26, 2023
    Configuration menu
    Copy the full SHA
    651f525 View commit details
    Browse the repository at this point in the history

  7. Improve hash collision tests

    @kwxm
    kwxm committed May 26, 2023
    Configuration menu
    Copy the full SHA
    aa41b37 View commit details
    Browse the repository at this point in the history

  8. Merge branch 'kwxm/BLS12_381/prototype' of github.com:input-output-hk… 

    …/plutus into kwxm/BLS12_381/prototype
    @kwxm
    kwxm committed May 26, 2023
    Configuration menu
    Copy the full SHA
    310cfe0 View commit details
    Browse the repository at this point in the history

  9. Update benching.csv to new format to make merge easier

    @kwxm
    kwxm committed May 26, 2023
    Configuration menu
    Copy the full SHA
    57dc567 View commit details
    Browse the repository at this point in the history

Commits on May 30, 2023

  1. Merge branch 'master' into kwxm/BLS12_381/prototype

    @kwxm
    kwxm committed May 30, 2023
    Configuration menu
    Copy the full SHA
    fcc4551 View commit details
    Browse the repository at this point in the history

  2. Resolve some remaining conflicts

    @kwxm
    kwxm committed May 30, 2023
    Configuration menu
    Copy the full SHA
    9a07a5a View commit details
    Browse the repository at this point in the history

  3. Update ciJobs.nix

    @kwxm
    kwxm committed May 30, 2023
    Configuration menu
    Copy the full SHA
    e88aa44 View commit details
    Browse the repository at this point in the history

Commits on May 31, 2023

  1. bump haskell.nix

    @angerman
    angerman committed May 31, 2023
    Configuration menu
    Copy the full SHA
    17ff8f3 View commit details
    Browse the repository at this point in the history

  2. Update nix/cells/automation/ciJobs.nix

    @angerman
    angerman authored May 31, 2023
    Configuration menu
    Copy the full SHA
    df8f19b View commit details
    Browse the repository at this point in the history

  3. Update nix/cells/automation/ciJobs.nix

    @angerman
    angerman authored May 31, 2023
    Configuration menu
    Copy the full SHA
    e67e029 View commit details
    Browse the repository at this point in the history

Commits on Jun 1, 2023

  1. Update plutus-metatheory/src/Algorithmic/Erasure.lagda

    @angerman
    angerman authored Jun 1, 2023
    Configuration menu
    Copy the full SHA
    29a78e3 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into kwxm/BLS12_381/prototype

    @angerman
    angerman committed Jun 1, 2023
    Configuration menu
    Copy the full SHA
    646b7e6 View commit details
    Browse the repository at this point in the history