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

Make verified ML-KEM available in libcrux-ml-kem #329

Merged
merged 62 commits into from
Jul 1, 2024
Merged

Make verified ML-KEM available in libcrux-ml-kem #329

merged 62 commits into from
Jul 1, 2024

Commits on Jun 18, 2024

  1. Revert changes to Kyber (Round 3) for ML-KEM

    @jschneider-bensch
    jschneider-bensch committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    7b5c5e4 View commit details
    Browse the repository at this point in the history

  2. Fix swapped private key decoding

    @jschneider-bensch
    jschneider-bensch committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    5126d6a View commit details
    Browse the repository at this point in the history

Commits on Jun 19, 2024

  1. Pull out Kyber encaps

    @jschneider-bensch
    jschneider-bensch committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    11d7bb9 View commit details
    Browse the repository at this point in the history

Commits on Jun 20, 2024

  1. Make Kyber API available behind kyber feature

    @jschneider-bensch
    jschneider-bensch committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    017ac5f View commit details
    Browse the repository at this point in the history

  2. Format

    @jschneider-bensch
    jschneider-bensch committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    c7beed2 View commit details
    Browse the repository at this point in the history

  3. Introduce kyber feature in libcrux-kem

    @jschneider-bensch
    jschneider-bensch committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    0571d1f View commit details
    Browse the repository at this point in the history

  4. Format

    @jschneider-bensch
    jschneider-bensch committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    283d99e View commit details
    Browse the repository at this point in the history

  5. Include verified ML-KEM in libcrux-ml-kem

    @jschneider-bensch
    jschneider-bensch committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    4be326b View commit details
    Browse the repository at this point in the history

  6. WIP separation of verified API

    @jschneider-bensch
    jschneider-bensch committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    7f3e42e View commit details
    Browse the repository at this point in the history

Commits on Jun 21, 2024

  1. Merge branch 'dev' into jonas/xyber768

    @franziskuskiefer
    franziskuskiefer committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    66dca4d View commit details
    Browse the repository at this point in the history

  2. Integrating pre-verification and verified testing

    @jschneider-bensch
    jschneider-bensch committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    e346e99 View commit details
    Browse the repository at this point in the history

  3. Integrating verified ML-KEM in libcrux-kem

    @jschneider-bensch
    jschneider-bensch committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    cb11230 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'jonas/xyber768' into jonas/restore-verified-mlkem

    @jschneider-bensch
    jschneider-bensch committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    688b7fb View commit details
    Browse the repository at this point in the history

  5. Format

    @jschneider-bensch
    jschneider-bensch committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    cfaeac0 View commit details
    Browse the repository at this point in the history

  6. Test portable pre-verification ML-KEM 768

    @jschneider-bensch
    jschneider-bensch committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    d86006b View commit details
    Browse the repository at this point in the history

Commits on Jun 24, 2024

  1. Merge branch 'dev' into jonas/xyber768

    @franziskuskiefer
    franziskuskiefer committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    6b39b9e View commit details
    Browse the repository at this point in the history

  2. fix C extraction

    @franziskuskiefer
    franziskuskiefer committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    8cdead9 View commit details
    Browse the repository at this point in the history

Commits on Jun 26, 2024

  1. Fix typo

    @jschneider-bensch
    jschneider-bensch committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    847136a View commit details
    Browse the repository at this point in the history

  2. Give more accurate test names (kyber... to mlkem...)

    @jschneider-bensch
    jschneider-bensch committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    32af120 View commit details
    Browse the repository at this point in the history

  3. Avoid unused warning when testing

    @jschneider-bensch
    jschneider-bensch committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    11355da View commit details
    Browse the repository at this point in the history

  4. Use Hasher trait to select best KDF for Kyber

    @jschneider-bensch
    jschneider-bensch committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    0aa89eb View commit details
    Browse the repository at this point in the history

  5. Document differences between Kyber (Round 3) and ML-KEM

    @jschneider-bensch
    jschneider-bensch committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    b4e4d13 View commit details
    Browse the repository at this point in the history

  6. Inline ML-KEM/Kyber variant differences

    @jschneider-bensch
    jschneider-bensch committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    1d9e38d View commit details
    Browse the repository at this point in the history

  7. kyber{512,768,1024} top level modules

    @jschneider-bensch
    jschneider-bensch committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    00e62c0 View commit details
    Browse the repository at this point in the history

  8. Merge branch 'jonas/xyber768' of github.com:cryspen/libcrux into jona… 

    …s/xyber768
    @jschneider-bensch
    jschneider-bensch committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    422bedb View commit details
    Browse the repository at this point in the history

  9. Merge remote-tracking branch 'origin/jonas/xyber768-f' into jonas/xyb… 

    …er768
    @jschneider-bensch
    jschneider-bensch committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    790eb06 View commit details
    Browse the repository at this point in the history

  10. Fix kyber feature in libcrux-kem

    @jschneider-bensch
    jschneider-bensch committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    366c761 View commit details
    Browse the repository at this point in the history

  11. Rename NIST KAT files for ML-KEM

    @jschneider-bensch
    jschneider-bensch committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    d0740e3 View commit details
    Browse the repository at this point in the history

  12. Include NIST KATs for all Kyber parameter sets

    @jschneider-bensch
    jschneider-bensch committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    2af99c3 View commit details
    Browse the repository at this point in the history

  13. Document single Kyber 768 KAT from boringssl

    @jschneider-bensch
    jschneider-bensch committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    e5b264c View commit details
    Browse the repository at this point in the history

  14. Format

    @jschneider-bensch
    jschneider-bensch committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    608fe19 View commit details
    Browse the repository at this point in the history

  15. Test Kyber on CI

    @jschneider-bensch
    jschneider-bensch committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    1233e95 View commit details
    Browse the repository at this point in the history

  16. Merge branch 'jonas/xyber768' into jonas/restore-verified-mlkem

    @jschneider-bensch
    jschneider-bensch committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    7942c6f View commit details
    Browse the repository at this point in the history

  17. Fix insufficient feature gating

    @jschneider-bensch
    jschneider-bensch committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    f2f27e5 View commit details
    Browse the repository at this point in the history

  18. Merge branch 'dev' into jonas/restore-verified-mlkem

    @jschneider-bensch
    jschneider-bensch committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    30cfb4c View commit details
    Browse the repository at this point in the history

  19. Get rid of various warnings

    @jschneider-bensch
    jschneider-bensch committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    a9e6489 View commit details
    Browse the repository at this point in the history

  20. Format

    @jschneider-bensch
    jschneider-bensch committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    956382d View commit details
    Browse the repository at this point in the history

  21. Remove commented use declarations

    @jschneider-bensch
    jschneider-bensch committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    6d2fda3 View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2024

  1. Merge branch 'dev' into jonas/restore-verified-mlkem

    @jschneider-bensch
    jschneider-bensch committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    936b0b9 View commit details
    Browse the repository at this point in the history

  2. Fix unused_mut warning

    @jschneider-bensch
    jschneider-bensch committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    906a298 View commit details
    Browse the repository at this point in the history

  3. Feature gating helper macros

    @jschneider-bensch
    jschneider-bensch committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    7f349f1 View commit details
    Browse the repository at this point in the history

  4. Fix hax extraction

    @jschneider-bensch
    jschneider-bensch committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    19040cd View commit details
    Browse the repository at this point in the history

  5. Feature flag documentation

    @jschneider-bensch
    jschneider-bensch committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    dbde61d View commit details
    Browse the repository at this point in the history

  6. Fix mistaken feature guards

    @jschneider-bensch
    jschneider-bensch committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    24297ff View commit details
    Browse the repository at this point in the history

  7. Remove commented code

    @jschneider-bensch
    jschneider-bensch committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    3877346 View commit details
    Browse the repository at this point in the history

  8. size -> len

    @jschneider-bensch
    jschneider-bensch committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    5271f75 View commit details
    Browse the repository at this point in the history

  9. Drop explicit dependency on hax-lib-macros

    @jschneider-bensch
    jschneider-bensch committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    96ab20d View commit details
    Browse the repository at this point in the history

  10. Hide helper macro docs

    @jschneider-bensch
    jschneider-bensch committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    4b1d95a View commit details
    Browse the repository at this point in the history

  11. Formatting

    @jschneider-bensch
    jschneider-bensch committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    bd14f8d View commit details
    Browse the repository at this point in the history

  12. Call out the kyber feature more prominently

    @jschneider-bensch
    jschneider-bensch committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    c7ca638 View commit details
    Browse the repository at this point in the history

  13. Feature gate tests etc so --no-std-features tests

    @jschneider-bensch
    jschneider-bensch committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    12d7693 View commit details
    Browse the repository at this point in the history

Commits on Jun 28, 2024

  1. cleanup; make features work

    @franziskuskiefer
    franziskuskiefer committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    c391c74 View commit details
    Browse the repository at this point in the history

  2. more cleanup and docs

    @franziskuskiefer
    franziskuskiefer committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    fc84415 View commit details
    Browse the repository at this point in the history

  3. update hax extraction

    @franziskuskiefer
    franziskuskiefer committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    193cc33 View commit details
    Browse the repository at this point in the history

  4. fixup x64 and hax extract

    @franziskuskiefer
    franziskuskiefer committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    d19b897 View commit details
    Browse the repository at this point in the history

  5. update C extraction

    @franziskuskiefer
    franziskuskiefer committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    a3ce343 View commit details
    Browse the repository at this point in the history

  6. update header only C code

    @franziskuskiefer
    franziskuskiefer committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    a576e70 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'dev' into jonas/restore-verified-mlkem

    @franziskuskiefer
    franziskuskiefer committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    9cd4bb5 View commit details
    Browse the repository at this point in the history

  8. update C code

    @franziskuskiefer
    franziskuskiefer committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    65fd9fd View commit details
    Browse the repository at this point in the history

  9. install cargo hack on ci

    @franziskuskiefer
    franziskuskiefer committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    9c15eda View commit details
    Browse the repository at this point in the history

  10. ci

    @franziskuskiefer
    franziskuskiefer committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    58c79cd View commit details
    Browse the repository at this point in the history

  11. more updates

    @franziskuskiefer
    franziskuskiefer committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    43cab0a View commit details
    Browse the repository at this point in the history