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

Starting proofs for ML-DSA Arithmetic #594

Draft
wants to merge 229 commits into
base: dev
Choose a base branch
from
Draft

Starting proofs for ML-DSA Arithmetic #594

wants to merge 229 commits into from

Commits on Jul 23, 2024

  1. Fix typo

    @jschneider-bensch
    jschneider-bensch committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    f5c500c View commit details
    Browse the repository at this point in the history

  2. CAVP crate Readme

    @jschneider-bensch
    jschneider-bensch committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    5237bff View commit details
    Browse the repository at this point in the history

Commits on Jul 29, 2024

  1. Rename CAVP Readme to conform to workspace

    @jschneider-bensch
    jschneider-bensch committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    6042f03 View commit details
    Browse the repository at this point in the history

  2. Basic ECDH Readme

    @jschneider-bensch
    jschneider-bensch committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    db8fa55 View commit details
    Browse the repository at this point in the history

  3. Add verification status to KEM crate Readme

    @jschneider-bensch
    jschneider-bensch committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    cbf91a4 View commit details
    Browse the repository at this point in the history

  4. Add verification status to PSQ crate Readme

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

  5. HMAC crate basic Readme

    @jschneider-bensch
    jschneider-bensch committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    f1cb0de View commit details
    Browse the repository at this point in the history

  6. HKDF crate basic Readme

    @jschneider-bensch
    jschneider-bensch committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    b5aa98d View commit details
    Browse the repository at this point in the history

  7. Add verification status to ML-KEM crate

    @jschneider-bensch
    jschneider-bensch committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    b4baef2 View commit details
    Browse the repository at this point in the history

  8. Add verification status to ML-DSA crate

    @jschneider-bensch
    jschneider-bensch committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    fb28a67 View commit details
    Browse the repository at this point in the history

  9. Add explanation of verification badges to main readme

    @jschneider-bensch
    jschneider-bensch committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    de72e52 View commit details
    Browse the repository at this point in the history

  10. Merge branch 'main' into jonas/readmes

    @jschneider-bensch
    jschneider-bensch authored Jul 29, 2024
    Configuration menu
    Copy the full SHA
    eb70731 View commit details
    Browse the repository at this point in the history

  11. wip; not working like this

    @franziskuskiefer
    franziskuskiefer committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    f34493b View commit details
    Browse the repository at this point in the history

  12. more wip

    @franziskuskiefer
    franziskuskiefer committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    3c81d14 View commit details
    Browse the repository at this point in the history

  13. wip

    @franziskuskiefer
    franziskuskiefer committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    24306c5 View commit details
    Browse the repository at this point in the history

  14. working, dirty

    @franziskuskiefer
    franziskuskiefer committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    470fc60 View commit details
    Browse the repository at this point in the history

  15. started cleanup

    @franziskuskiefer
    franziskuskiefer committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    dcb7944 View commit details
    Browse the repository at this point in the history

  16. no more vecs in mldsa

    @franziskuskiefer
    franziskuskiefer committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    27c3955 View commit details
    Browse the repository at this point in the history

  17. drop comment in cavp

    @franziskuskiefer
    franziskuskiefer committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    1d09b71 View commit details
    Browse the repository at this point in the history

  18. more cleanup

    @franziskuskiefer
    franziskuskiefer committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    c69b0f8 View commit details
    Browse the repository at this point in the history

Commits on Jul 30, 2024

  1. Restore AVX2 build

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

Commits on Jul 31, 2024

  1. Remove warnings about unused function parameters

    @jschneider-bensch
    jschneider-bensch committed Jul 31, 2024
    Configuration menu
    Copy the full SHA
    4044c78 View commit details
    Browse the repository at this point in the history

  2. Change naming: RATE is what the standard uses for BLOCK(_)SIZE

    @jschneider-bensch
    jschneider-bensch committed Jul 31, 2024
    Configuration menu
    Copy the full SHA
    3339f71 View commit details
    Browse the repository at this point in the history

Commits on Aug 1, 2024

  1. Repair C extraction

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

  2. Update C code

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

  3. cargo fmt

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

  4. Update header-only C

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

  5. Distinguish between Absorb and Squeeze states in XOF API

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

  6. Type aliases for incremental SHAKE128/256

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

  7. Offer SHAKE128/256 as implementations of sealed XOF traits

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

  8. Update C code

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

  9. Merge branch 'main' into jonas/cleanup-sha3-xof

    @jschneider-bensch
    jschneider-bensch authored Aug 1, 2024
    Configuration menu
    Copy the full SHA
    ce64b27 View commit details
    Browse the repository at this point in the history

Commits on Aug 6, 2024

  1. Slight improvement to rejection sampling.

    @xvzcf
    xvzcf committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    3840267 View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2024

  1. Unroll expand_to_A.

    @xvzcf
    xvzcf committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    74354fd View commit details
    Browse the repository at this point in the history

  2. Slightly refactored sample.rs tests

    @xvzcf
    xvzcf committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    9f921f1 View commit details
    Browse the repository at this point in the history

  3. Leverage latest code quality improvements in Eurydice etc.

    @msprotz
    msprotz committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    9307ab9 View commit details
    Browse the repository at this point in the history

Commits on Aug 9, 2024

  1. Unroll sample_error_vector.

    @xvzcf
    xvzcf committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    ac6b1ad View commit details
    Browse the repository at this point in the history

  2. cargo fmt

    @xvzcf
    xvzcf committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    d6bc5ff View commit details
    Browse the repository at this point in the history

  3. Fix test build failure.

    @xvzcf
    xvzcf committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    8b22983 View commit details
    Browse the repository at this point in the history

Commits on Aug 10, 2024

  1. Merge pull request #473 from cryspen/goutam/ml-dsa-avx2-part-7 

    ML-DSA: Unroll sampling of matrix A and error ring vectors.
    @franziskuskiefer
    franziskuskiefer authored Aug 10, 2024
    Configuration menu
    Copy the full SHA
    aefa51f View commit details
    Browse the repository at this point in the history

  2. re-extract cg

    @franziskuskiefer
    franziskuskiefer committed Aug 10, 2024
    Configuration menu
    Copy the full SHA
    541bf67 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' of github.com:cryspen/libcrux into protz_cosmetic

    @franziskuskiefer
    franziskuskiefer committed Aug 10, 2024
    Configuration menu
    Copy the full SHA
    23fd749 View commit details
    Browse the repository at this point in the history

Commits on Aug 12, 2024

  1. Get rid of unused warnings

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

  2. wip

    @msprotz
    msprotz committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    c52405e View commit details
    Browse the repository at this point in the history

Commits on Aug 13, 2024

  1. Merge branch 'main' into jonas/cleanup-sha3-xof

    @jschneider-bensch
    jschneider-bensch committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    8afc909 View commit details
    Browse the repository at this point in the history

  2. Remove feature gated import

    @jschneider-bensch
    jschneider-bensch committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    5b5b44c View commit details
    Browse the repository at this point in the history

  3. Re-extract C code

    @jschneider-bensch
    jschneider-bensch committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    2254679 View commit details
    Browse the repository at this point in the history

  4. Regenerate headerless

    @jschneider-bensch
    jschneider-bensch committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    06b02e7 View commit details
    Browse the repository at this point in the history

  5. Fix C extraction

    @jschneider-bensch
    jschneider-bensch committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    3230f59 View commit details
    Browse the repository at this point in the history

  6. Expose key generation and signing randomness requirement constants

    @jschneider-bensch
    jschneider-bensch committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    66c395b View commit details
    Browse the repository at this point in the history

  7. Add manual benchmarks for ML-DSA variants

    @jschneider-bensch
    jschneider-bensch committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    5624b74 View commit details
    Browse the repository at this point in the history

  8. Merge pull request #451 from cryspen/jonas/cleanup-sha3-xof 

    SHA3 xof for ml-dsa
    @franziskuskiefer
    franziskuskiefer authored Aug 13, 2024
    Configuration menu
    Copy the full SHA
    6196054 View commit details
    Browse the repository at this point in the history

  9. Merge branch 'main' into jonas/ml-dsa-manual-benches

    @jschneider-bensch
    jschneider-bensch authored Aug 13, 2024
    Configuration menu
    Copy the full SHA
    d10b4fc View commit details
    Browse the repository at this point in the history

  10. Remove obsolete comments

    @jschneider-bensch
    jschneider-bensch committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    e388218 View commit details
    Browse the repository at this point in the history

  11. Merge branch 'jonas/ml-dsa-manual-benches' of github.com:cryspen/libc… 

    …rux into jonas/ml-dsa-manual-benches
    @jschneider-bensch
    jschneider-bensch committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    16124b8 View commit details
    Browse the repository at this point in the history

  12. Merge pull request #486 from cryspen/jonas/ml-dsa-manual-benches 

    Manual benchmarks for ML-DSA
    @jschneider-bensch
    jschneider-bensch authored Aug 13, 2024
    Configuration menu
    Copy the full SHA
    4e53a82 View commit details
    Browse the repository at this point in the history

  13. Separate parameter set benchmarks

    @jschneider-bensch
    jschneider-bensch committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    6832d78 View commit details
    Browse the repository at this point in the history

  14. With latest Eurydice changes

    @msprotz
    msprotz committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    d5574e8 View commit details
    Browse the repository at this point in the history

  15. WIP

    @msprotz
    msprotz committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    0b811da View commit details
    Browse the repository at this point in the history

  16. Regenerate on Intel

    @msprotz
    msprotz committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    90358e0 View commit details
    Browse the repository at this point in the history

  17. Embrace shorter names, for readability

    @msprotz
    msprotz committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    37727e2 View commit details
    Browse the repository at this point in the history

  18. Formatting + recognize builtin slice operations and give them better … 

    …names
    @msprotz
    msprotz committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    97db7bc View commit details
    Browse the repository at this point in the history

  19. More cosmetic changes for core_slice -- align convention with other m… 

    …acros in eurydice_glue.h
    @msprotz
    msprotz committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    490a866 View commit details
    Browse the repository at this point in the history

Commits on Aug 14, 2024

  1. fix(mlkem/fstar): fix regression introduced by hacspec/hax#864 

    hacspec/hax#864 makes `fstar::before` and `fstar::after` chunks of
code defaults to implementation files (fst).

This commit backport that change and makes some code go explicitly to
interfaces.
    @W95Psp
    W95Psp committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    0356783 View commit details
    Browse the repository at this point in the history

  2. Benchmark pqclean

    @jschneider-bensch
    jschneider-bensch committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    e19a760 View commit details
    Browse the repository at this point in the history

  3. More meaningful constants

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

  4. Merge pull request #489 from cryspen/lf-fix-regression-hax-pr-846 

    fix(mlkem/fstar): fix regression introduced by hacspec/hax#864
    @franziskuskiefer
    franziskuskiefer authored Aug 14, 2024
    Configuration menu
    Copy the full SHA
    bf283a0 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'main' into jonas/ml-dsa-manual-benches

    @jschneider-bensch
    jschneider-bensch authored Aug 14, 2024
    Configuration menu
    Copy the full SHA
    ff3da9d View commit details
    Browse the repository at this point in the history

  6. Remove unnecessary attributes

    @jschneider-bensch
    jschneider-bensch committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    af83d1d View commit details
    Browse the repository at this point in the history

  7. Merge branch 'jonas/ml-dsa-manual-benches' of github.com:cryspen/libc… 

    …rux into jonas/ml-dsa-manual-benches
    @jschneider-bensch
    jschneider-bensch committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    bce2d9d View commit details
    Browse the repository at this point in the history

  8. Merge pull request #490 from cryspen/jonas/ml-dsa-manual-benches 

    Manual benchmarks for PQClean
    @jschneider-bensch
    jschneider-bensch authored Aug 14, 2024
    Configuration menu
    Copy the full SHA
    b1d4135 View commit details
    Browse the repository at this point in the history

  9. code update

    @franziskuskiefer
    franziskuskiefer committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    0c66762 View commit details
    Browse the repository at this point in the history

  10. More code quality

    @msprotz
    msprotz committed Aug 14, 2024
    Configuration menu
    Copy the full SHA
    05f346c View commit details
    Browse the repository at this point in the history

Commits on Aug 18, 2024

  1. fixes for ml-kem C

    @franziskuskiefer
    franziskuskiefer committed Aug 18, 2024
    Configuration menu
    Copy the full SHA
    63adbfb View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' of github.com:cryspen/libcrux into protz_cosmetic

    @franziskuskiefer
    franziskuskiefer committed Aug 18, 2024
    Configuration menu
    Copy the full SHA
    a62ef07 View commit details
    Browse the repository at this point in the history

  3. update C extraction

    @franziskuskiefer
    franziskuskiefer committed Aug 18, 2024
    Configuration menu
    Copy the full SHA
    0ca73e5 View commit details
    Browse the repository at this point in the history

  4. inline ind_cpa encrypt for stack

    @franziskuskiefer
    franziskuskiefer committed Aug 18, 2024
    Configuration menu
    Copy the full SHA
    c5406ba View commit details
    Browse the repository at this point in the history

  5. sha3 benchmarks

    @franziskuskiefer
    franziskuskiefer committed Aug 18, 2024
    Configuration menu
    Copy the full SHA
    322297a View commit details
    Browse the repository at this point in the history

  6. update mlkem c extraction

    @franziskuskiefer
    franziskuskiefer committed Aug 18, 2024
    Configuration menu
    Copy the full SHA
    573b064 View commit details
    Browse the repository at this point in the history

  7. Merge pull request #472 from cryspen/protz_cosmetic 

    Leverage latest code quality improvements in Eurydice etc.
    @franziskuskiefer
    franziskuskiefer authored Aug 18, 2024
    Configuration menu
    Copy the full SHA
    c85c0f9 View commit details
    Browse the repository at this point in the history

Commits on Aug 19, 2024

  1. Add LICENSE-MIT

    @franziskuskiefer
    franziskuskiefer committed Aug 19, 2024
    Configuration menu
    Copy the full SHA
    501f771 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #516 from cryspen/franziskus/mit-license 

    Add LICENSE-MIT
    @jschneider-bensch
    jschneider-bensch authored Aug 19, 2024
    Configuration menu
    Copy the full SHA
    80d195d View commit details
    Browse the repository at this point in the history

  3. Update test vectors to include domain separation for key generation

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

  4. WIP domain separation for keygen seed

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

  5. Merge branch 'main' into jonas/ml-kem-final-diffs

    @jschneider-bensch
    jschneider-bensch authored Aug 19, 2024
    Configuration menu
    Copy the full SHA
    3b56cb3 View commit details
    Browse the repository at this point in the history

  6. Test actual Kyber on CI

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

  7. Test verified version of ML-KEM IPD using the right vectors

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

  8. IPD test vectors only for the old IPD implementation

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

  9. Update C test vectors

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

  10. Update C extraction

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

Commits on Aug 20, 2024

  1. update Cargo.lock

    @franziskuskiefer
    franziskuskiefer committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    cd20a27 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #519 from cryspen/franziskus/update-cargo-lock 

    Update Cargo.lock
    @jschneider-bensch
    jschneider-bensch authored Aug 20, 2024
    Configuration menu
    Copy the full SHA
    ea9e21b View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into jonas/ml-kem-final-diffs

    @jschneider-bensch
    jschneider-bensch authored Aug 20, 2024
    Configuration menu
    Copy the full SHA
    6de20c4 View commit details
    Browse the repository at this point in the history

  4. Merge pull request #517 from cryspen/jonas/ml-kem-final-diffs 

    [ML-KEM] Address changes from FIPS 203 IPD to final version
    @jschneider-bensch
    jschneider-bensch authored Aug 20, 2024
    Configuration menu
    Copy the full SHA
    5ca2e45 View commit details
    Browse the repository at this point in the history

  5. PSQ registration protocol

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

  6. Update documentation

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

  7. Clippy

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

  8. Merge branch 'main' into jonas/psq-registration

    @jschneider-bensch
    jschneider-bensch authored Aug 20, 2024
    Configuration menu
    Copy the full SHA
    0385208 View commit details
    Browse the repository at this point in the history

Commits on Aug 21, 2024

  1. put the ml-kem unpacked API behind a feature

    @franziskuskiefer
    franziskuskiefer committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    72ab012 View commit details
    Browse the repository at this point in the history

  2. docrs fixes for mlkem

    @franziskuskiefer
    franziskuskiefer committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    9a130a8 View commit details
    Browse the repository at this point in the history

  3. extract C code without unpacked API

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

  4. enable unpacked features on docs.rs

    @franziskuskiefer
    franziskuskiefer committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    4c340d5 View commit details
    Browse the repository at this point in the history

  5. update mlkem F* extraction

    @franziskuskiefer
    franziskuskiefer committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    7d3aa4d View commit details
    Browse the repository at this point in the history

  6. update cg extraction

    @franziskuskiefer
    franziskuskiefer committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    7dec44a View commit details
    Browse the repository at this point in the history

  7. Merge pull request #522 from cryspen/franziskus/unpacked-feature 

    Put the ml-kem unpacked API behind a feature
    @franziskuskiefer
    franziskuskiefer authored Aug 21, 2024
    Configuration menu
    Copy the full SHA
    6a879b9 View commit details
    Browse the repository at this point in the history

Commits on Aug 22, 2024

  1. mldsa feature detection 

    - add build.rs for feature detection
- add instantiations for 44
- add neon sha3
    @franziskuskiefer
    franziskuskiefer committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    ad45801 View commit details
    Browse the repository at this point in the history

  2. sign 44 example bench

    @franziskuskiefer
    franziskuskiefer committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    dc056fd View commit details
    Browse the repository at this point in the history

  3. ml-dsa multiplexing

    @franziskuskiefer
    franziskuskiefer committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    a39501e View commit details
    Browse the repository at this point in the history

  4. fixup ml-dsa multiplexing for mldsa

    @franziskuskiefer
    franziskuskiefer committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    61a77d5 View commit details
    Browse the repository at this point in the history

  5. prepare merge queues

    Jan Winkelmann (keks) committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    79a8afc View commit details
    Browse the repository at this point in the history

  6. undo hpke

    Jan Winkelmann (keks) committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    11629c3 View commit details
    Browse the repository at this point in the history

  7. run tests in merge queue :face_palm:

    Jan Winkelmann (keks) committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    9ddfa5e View commit details
    Browse the repository at this point in the history

Commits on Aug 23, 2024

  1. Create stale.yml

    @franziskuskiefer
    franziskuskiefer authored Aug 23, 2024
    Configuration menu
    Copy the full SHA
    36c6b05 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #529 from cryspen/franziskus/stale-job 

    Create stale.yml
    @franziskuskiefer
    franziskuskiefer authored Aug 23, 2024
    Configuration menu
    Copy the full SHA
    4873df7 View commit details
    Browse the repository at this point in the history

Commits on Aug 26, 2024

  1. Bump serde from 1.0.208 to 1.0.209 

    Bumps [serde](https://github.com/serde-rs/serde) from 1.0.208 to 1.0.209.
- [Release notes](https://github.com/serde-rs/serde/releases)
- [Commits](serde-rs/serde@v1.0.208...v1.0.209)

---
updated-dependencies:
- dependency-name: serde
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <[email protected]>
    @dependabot
    dependabot[bot] authored Aug 26, 2024
    Configuration menu
    Copy the full SHA
    6d67494 View commit details
    Browse the repository at this point in the history

  2. Bump serde_json from 1.0.125 to 1.0.127 

    Bumps [serde_json](https://github.com/serde-rs/json) from 1.0.125 to 1.0.127.
- [Release notes](https://github.com/serde-rs/json/releases)
- [Commits](serde-rs/json@1.0.125...1.0.127)

---
updated-dependencies:
- dependency-name: serde_json
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <[email protected]>
    @dependabot
    dependabot[bot] authored Aug 26, 2024
    Configuration menu
    Copy the full SHA
    bb3cd58 View commit details
    Browse the repository at this point in the history

  3. build gc before trying to bench it

    Jan Winkelmann (keks) committed Aug 26, 2024
    Configuration menu
    Copy the full SHA
    190bfd4 View commit details
    Browse the repository at this point in the history

  4. disable libtest for benches in ./benchmarks/

    Jan Winkelmann (keks) committed Aug 26, 2024
    Configuration menu
    Copy the full SHA
    e995f6a View commit details
    Browse the repository at this point in the history

  5. bench = false in the rest of the benchmarked rust packages

    Jan Winkelmann (keks) committed Aug 26, 2024
    Configuration menu
    Copy the full SHA
    802eccd View commit details
    Browse the repository at this point in the history

  6. disable c bench for windows

    Jan Winkelmann (keks) committed Aug 26, 2024
    Configuration menu
    Copy the full SHA
    b4e38dd View commit details
    Browse the repository at this point in the history

  7. steps towards getting wasm to work, but disable it for now because it… 

    … still doesn't
    Jan Winkelmann (keks) committed Aug 26, 2024
    Configuration menu
    Copy the full SHA
    13aa81f View commit details
    Browse the repository at this point in the history

  8. final touches on benchmarks 

    had to move the utils into the crate, because otherwise it would be
picked up by the bechmarks and fail because libtest would again complain
about the --output-format argument
    Jan Winkelmann (keks) committed Aug 26, 2024
    Configuration menu
    Copy the full SHA
    c3e4c58 View commit details
    Browse the repository at this point in the history

  9. Merge branch 'main' into keks/towards-merge-queue-and-bench-graphs

    @keks
    keks authored Aug 26, 2024
    Configuration menu
    Copy the full SHA
    e580006 View commit details
    Browse the repository at this point in the history

  10. split up benchmarks and fix git issue

    Jan Winkelmann (keks) committed Aug 26, 2024
    Configuration menu
    Copy the full SHA
    30af7dd View commit details
    Browse the repository at this point in the history

Commits on Aug 27, 2024

  1. fix more benchmark workflows

    Jan Winkelmann (keks) committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    496c9d3 View commit details
    Browse the repository at this point in the history

  2. figure out which files need to be reset

    Jan Winkelmann (keks) committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    6108ada View commit details
    Browse the repository at this point in the history

  3. Add private key validation function 

    Fixes #536
    @franziskuskiefer
    franziskuskiefer committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    264dbfd View commit details
    Browse the repository at this point in the history

  4. Update C extraction

    @franziskuskiefer
    franziskuskiefer committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    1def0c1 View commit details
    Browse the repository at this point in the history

  5. fix ml-kem.rs test for old implementation

    @franziskuskiefer
    franziskuskiefer committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    3388672 View commit details
    Browse the repository at this point in the history

Commits on Aug 28, 2024

  1. Update README.md

    @jiep
    jiep authored Aug 28, 2024
    Configuration menu
    Copy the full SHA
    f90dff2 View commit details
    Browse the repository at this point in the history

  2. add a single kat for dk validation

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

Commits on Aug 29, 2024

  1. update tools and licenses

    @franziskuskiefer
    franziskuskiefer committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    62e1ec3 View commit details
    Browse the repository at this point in the history

  2. disable benchmarks on CI :(

    Jan Winkelmann (keks) committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    0c50e0d View commit details
    Browse the repository at this point in the history

  3. Merge pull request #540 from cryspen/franziskus/ml-kem-dk-validation 

    ml-kem dk validation
    @franziskuskiefer
    franziskuskiefer authored Aug 29, 2024
    Configuration menu
    Copy the full SHA
    fdfb18e View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' into keks/towards-merge-queue-and-bench-graphs

    @franziskuskiefer
    franziskuskiefer authored Aug 29, 2024
    Configuration menu
    Copy the full SHA
    7ac6ace View commit details
    Browse the repository at this point in the history

  5. Merge pull request #525 from cryspen/keks/towards-merge-queue-and-ben… 

    …ch-graphs

Rework Actions to work well with Merge Queues and Enable Benchmarks in there
    @keks
    keks authored Aug 29, 2024
    Configuration menu
    Copy the full SHA
    9915bee View commit details
    Browse the repository at this point in the history

  6. Merge pull request #532 from cryspen/dependabot/cargo/serde_json-1.0.127 

    Bump serde_json from 1.0.125 to 1.0.127
    @franziskuskiefer
    franziskuskiefer authored Aug 29, 2024
    Configuration menu
    Copy the full SHA
    59dc8ea View commit details
    Browse the repository at this point in the history

  7. Merge pull request #531 from cryspen/dependabot/cargo/serde-1.0.209 

    Bump serde from 1.0.208 to 1.0.209
    @franziskuskiefer
    franziskuskiefer authored Aug 29, 2024
    Configuration menu
    Copy the full SHA
    84c5d87 View commit details
    Browse the repository at this point in the history

  8. add randomized APIs to ml-kem

    @franziskuskiefer
    franziskuskiefer committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    b0786ec View commit details
    Browse the repository at this point in the history

Commits on Aug 30, 2024

  1. drop commented code

    @franziskuskiefer
    franziskuskiefer committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    ebf3e09 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' of github.com:cryspen/libcrux into franziskus/ml-… 

    …dsa-boilerplate
    @franziskuskiefer
    franziskuskiefer committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    4dccc28 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' of github.com:cryspen/libcrux into franziskus/ml-… 

    …kem-rand
    @franziskuskiefer
    franziskuskiefer committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    109e1aa View commit details
    Browse the repository at this point in the history

  4. update cargo.lock

    @franziskuskiefer
    franziskuskiefer committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    2c597d9 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'main' into patch-1

    @franziskuskiefer
    franziskuskiefer authored Aug 30, 2024
    Configuration menu
    Copy the full SHA
    baac801 View commit details
    Browse the repository at this point in the history

  6. Merge pull request #542 from jiep/patch-1 

    Update README.md
    @franziskuskiefer
    franziskuskiefer authored Aug 30, 2024
    Configuration menu
    Copy the full SHA
    d8644b0 View commit details
    Browse the repository at this point in the history

  7. fix non-rand build

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

  8. Merge branch 'main' of github.com:cryspen/libcrux into franziskus/ml-… 

    …kem-rand
    @franziskuskiefer
    franziskuskiefer committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    870d72f View commit details
    Browse the repository at this point in the history

  9. Refresh C

    @msprotz
    msprotz committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    056e28a View commit details
    Browse the repository at this point in the history

  10. Merge remote-tracking branch 'origin/main'

    @msprotz
    msprotz committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    6ff01fb View commit details
    Browse the repository at this point in the history

  11. Refresh C

    @msprotz
    msprotz committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    3676fd5 View commit details
    Browse the repository at this point in the history

  12. update cg and docker

    @franziskuskiefer
    franziskuskiefer committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    6196b7a View commit details
    Browse the repository at this point in the history

  13. more feature guards

    @franziskuskiefer
    franziskuskiefer committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    9633017 View commit details
    Browse the repository at this point in the history

Commits on Sep 2, 2024

  1. basic fuzzing for C extraction of ML-KEM768

    @djmdjm
    djmdjm committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    75ca451 View commit details
    Browse the repository at this point in the history

  2. update docker

    @franziskuskiefer
    franziskuskiefer committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    a39bda0 View commit details
    Browse the repository at this point in the history

  3. Apply suggestions from code review 

    Co-authored-by: Jonas Schneider-Bensch <[email protected]>
    @franziskuskiefer @jschneider-bensch
    franziskuskiefer and jschneider-bensch authored Sep 2, 2024
    Configuration menu
    Copy the full SHA
    3fc1eab View commit details
    Browse the repository at this point in the history

Commits on Sep 3, 2024

  1. Include hidden files in extraction upload

    @jschneider-bensch
    jschneider-bensch committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    ea41a38 View commit details
    Browse the repository at this point in the history

  2. Remove unsafe code from include to avoid being rejected by hax.

    @maximebuyse
    maximebuyse committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    6d74c9d View commit details
    Browse the repository at this point in the history

  3. Merge branch 'jonas/fix-extraction-action' into fix-rejected-unsafe

    @jschneider-bensch
    jschneider-bensch authored Sep 3, 2024
    Configuration menu
    Copy the full SHA
    e988d2d View commit details
    Browse the repository at this point in the history

  4. Merge pull request #556 from cryspen/fix-rejected-unsafe 

    Remove unsafe code from include to avoid being rejected by hax.
    @jschneider-bensch
    jschneider-bensch authored Sep 3, 2024
    Configuration menu
    Copy the full SHA
    bc44752 View commit details
    Browse the repository at this point in the history

  5. Merge pull request #555 from cryspen/jonas/fix-extraction-action 

    Include hidden files in extraction upload
    @franziskuskiefer
    franziskuskiefer authored Sep 3, 2024
    Configuration menu
    Copy the full SHA
    9680093 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'main' into franziskus/ml-kem-rand

    @jschneider-bensch
    jschneider-bensch authored Sep 3, 2024
    Configuration menu
    Copy the full SHA
    08491c7 View commit details
    Browse the repository at this point in the history

  7. Merge pull request #546 from cryspen/franziskus/ml-kem-rand 

    Add randomised APIs to ml-kem
    @franziskuskiefer
    franziskuskiefer authored Sep 3, 2024
    Configuration menu
    Copy the full SHA
    482620d View commit details
    Browse the repository at this point in the history

  8. hax-compatibility: Cast match scrutinees

    @jschneider-bensch
    jschneider-bensch committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    643ca60 View commit details
    Browse the repository at this point in the history

  9. hax-compatibility: Change loop to a bounded iteration

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

Commits on Sep 4, 2024

  1. Remove comment

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

  2. Merge branch 'main' into jonas/psq-registration

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

  3. Merge branch 'jonas/psq-registration' of github.com:cryspen/libcrux i… 

    …nto jonas/psq-registration
    @jschneider-bensch
    jschneider-bensch committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    b8e3435 View commit details
    Browse the repository at this point in the history

  4. Merge pull request #521 from cryspen/jonas/psq-registration 

    PSQ Registration protocol
    @jschneider-bensch
    jschneider-bensch authored Sep 4, 2024
    Configuration menu
    Copy the full SHA
    8daadb7 View commit details
    Browse the repository at this point in the history

Commits on Sep 5, 2024

  1. hax-compatibility: RefMut workaround

    @jschneider-bensch
    jschneider-bensch committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    43e55c4 View commit details
    Browse the repository at this point in the history

  2. hax-compatibility: Rewrite early returns

    @jschneider-bensch
    jschneider-bensch committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    bcb6e09 View commit details
    Browse the repository at this point in the history

  3. Remove unused import

    @jschneider-bensch
    jschneider-bensch committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    c18a8c1 View commit details
    Browse the repository at this point in the history

  4. Add ML-DSA extraction to hax CI workflow

    @jschneider-bensch
    jschneider-bensch committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    5e67fa7 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'main' into jonas/ml-dsa-hax-fixes

    @jschneider-bensch
    jschneider-bensch authored Sep 5, 2024
    Configuration menu
    Copy the full SHA
    138797b View commit details
    Browse the repository at this point in the history

Commits on Sep 6, 2024

  1. update F*

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

  2. Merge branch 'main' into protz_refresh_c

    @franziskuskiefer
    franziskuskiefer authored Sep 6, 2024
    Configuration menu
    Copy the full SHA
    409d847 View commit details
    Browse the repository at this point in the history

  3. Merge pull request #547 from cryspen/protz_refresh_c 

    Refresh C
    @franziskuskiefer
    franziskuskiefer authored Sep 6, 2024
    Configuration menu
    Copy the full SHA
    b1c4c44 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' into franziskus/ml-dsa-boilerplate

    @franziskuskiefer
    franziskuskiefer authored Sep 6, 2024
    Configuration menu
    Copy the full SHA
    3204a98 View commit details
    Browse the repository at this point in the history

Commits on Sep 9, 2024

  1. Merge branch 'main' into jonas/ml-dsa-hax-fixes

    @jschneider-bensch
    jschneider-bensch authored Sep 9, 2024
    Configuration menu
    Copy the full SHA
    c184c2d View commit details
    Browse the repository at this point in the history

  2. Apply suggestions from code review 

    Co-authored-by: Jonas Schneider-Bensch <[email protected]>
    @franziskuskiefer @jschneider-bensch
    franziskuskiefer and jschneider-bensch authored Sep 9, 2024
    Configuration menu
    Copy the full SHA
    99498ee View commit details
    Browse the repository at this point in the history

  3. update extracted C code

    @franziskuskiefer
    franziskuskiefer committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    717b165 View commit details
    Browse the repository at this point in the history

  4. Merge pull request #524 from cryspen/franziskus/ml-dsa-boilerplate 

    ML-DSA 44 instantiations and multiplexing
    @franziskuskiefer
    franziskuskiefer authored Sep 9, 2024
    Configuration menu
    Copy the full SHA
    4a129c7 View commit details
    Browse the repository at this point in the history

Commits on Sep 10, 2024

  1. wip

    @franziskuskiefer
    franziskuskiefer committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    76a08da View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into jonas/readmes

    @jschneider-bensch
    jschneider-bensch authored Sep 10, 2024
    Configuration menu
    Copy the full SHA
    538513f View commit details
    Browse the repository at this point in the history

  3. Dont unwrap() or expect() in examples

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

  4. Use constant for rejection sample loop bound

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

  5. Merge branch 'main' into jonas/ml-dsa-hax-fixes

    @jschneider-bensch
    jschneider-bensch committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    bffb482 View commit details
    Browse the repository at this point in the history

  6. Update intrinsics interfaces

    @jschneider-bensch
    jschneider-bensch committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    df48c90 View commit details
    Browse the repository at this point in the history

  7. hax-compatibility: cast match scrutinees

    @jschneider-bensch
    jschneider-bensch committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    9bdda4c View commit details
    Browse the repository at this point in the history

  8. Merge pull request #558 from cryspen/jonas/ml-dsa-hax-fixes 

    Allow hax extraction for ML-DSA
    @franziskuskiefer
    franziskuskiefer authored Sep 10, 2024
    Configuration menu
    Copy the full SHA
    17566f6 View commit details
    Browse the repository at this point in the history

  9. updated unpacked api

    @franziskuskiefer
    franziskuskiefer committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    08a3cad View commit details
    Browse the repository at this point in the history

Commits on Sep 11, 2024

  1. Merge branch 'main' into jonas/readmes

    @jschneider-bensch
    jschneider-bensch authored Sep 11, 2024
    Configuration menu
    Copy the full SHA
    060e27d View commit details
    Browse the repository at this point in the history

  2. serialize functions for unpacked keys

    @franziskuskiefer
    franziskuskiefer committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    16c5cbb View commit details
    Browse the repository at this point in the history

  3. serialize functions for unpacked and C

    @franziskuskiefer
    franziskuskiefer committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    e992824 View commit details
    Browse the repository at this point in the history

  4. Fix benchmarks

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

  5. Format

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

  6. Build benchmarks (without running) on CI

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

  7. Merge pull request #573 from cryspen/jonas/fix-mldsa-bench 

    Fix ML-DSA benchmarks
    @franziskuskiefer
    franziskuskiefer authored Sep 11, 2024
    Configuration menu
    Copy the full SHA
    833e904 View commit details
    Browse the repository at this point in the history

  8. Merge pull request #448 from cryspen/jonas/readmes 

    Update Readmes
    @franziskuskiefer
    franziskuskiefer authored Sep 11, 2024
    Configuration menu
    Copy the full SHA
    0ff44ac View commit details
    Browse the repository at this point in the history

Commits on Sep 12, 2024

  1. Use the right SIMD unit for AVX2

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

  2. Extend multiplexing

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

  3. Merge pull request #574 from cryspen/jonas/ml-dsa-extend-multiplexing 

    [ML-DSA] Repair / Extend multiplexing
    @franziskuskiefer
    franziskuskiefer authored Sep 12, 2024
    Configuration menu
    Copy the full SHA
    bae489b View commit details
    Browse the repository at this point in the history

  4. minor tweak

    @msprotz
    msprotz committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    28acae7 View commit details
    Browse the repository at this point in the history

  5. wip

    @msprotz
    msprotz committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    f4cf47e View commit details
    Browse the repository at this point in the history

  6. wip

    @msprotz
    msprotz committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    f07d78f View commit details
    Browse the repository at this point in the history

Commits on Sep 13, 2024

  1. updated cg.yaml

    @franziskuskiefer
    franziskuskiefer committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    e889dcc View commit details
    Browse the repository at this point in the history

Commits on Sep 15, 2024

  1. unpacked API for cg

    @franziskuskiefer
    franziskuskiefer committed Sep 15, 2024
    Configuration menu
    Copy the full SHA
    af73d01 View commit details
    Browse the repository at this point in the history

Commits on Sep 16, 2024

  1. drop unpacked feature

    @franziskuskiefer
    franziskuskiefer committed Sep 16, 2024
    Configuration menu
    Copy the full SHA
    1187505 View commit details
    Browse the repository at this point in the history

  2. update C code

    @franziskuskiefer
    franziskuskiefer committed Sep 16, 2024
    Configuration menu
    Copy the full SHA
    1e523e8 View commit details
    Browse the repository at this point in the history

  3. update F*

    @franziskuskiefer
    franziskuskiefer committed Sep 16, 2024
    Configuration menu
    Copy the full SHA
    4072680 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' into franziskus/mlkem-usable-unpacked

    @franziskuskiefer
    franziskuskiefer authored Sep 16, 2024
    Configuration menu
    Copy the full SHA
    422ff05 View commit details
    Browse the repository at this point in the history

  5. remove unpacked job from ci

    @franziskuskiefer
    franziskuskiefer committed Sep 16, 2024
    Configuration menu
    Copy the full SHA
    866aace View commit details
    Browse the repository at this point in the history

  6. work around hax issues

    @franziskuskiefer
    franziskuskiefer committed Sep 16, 2024
    Configuration menu
    Copy the full SHA
    f06414b View commit details
    Browse the repository at this point in the history

  7. update docker image for C extraction

    @franziskuskiefer
    franziskuskiefer committed Sep 16, 2024
    Configuration menu
    Copy the full SHA
    521b98d View commit details
    Browse the repository at this point in the history

  8. fix kyber

    @franziskuskiefer
    franziskuskiefer committed Sep 16, 2024
    Configuration menu
    Copy the full SHA
    97f7cef View commit details
    Browse the repository at this point in the history

  9. update C extraction

    @franziskuskiefer
    franziskuskiefer committed Sep 16, 2024
    Configuration menu
    Copy the full SHA
    65d06b7 View commit details
    Browse the repository at this point in the history

  10. update C clang-format

    @franziskuskiefer
    franziskuskiefer committed Sep 16, 2024
    Configuration menu
    Copy the full SHA
    89b109d View commit details
    Browse the repository at this point in the history

Commits on Sep 17, 2024

  1. remove commented code in self.rs

    @franziskuskiefer
    franziskuskiefer authored Sep 17, 2024
    Configuration menu
    Copy the full SHA
    30f0fb3 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #586 from cryspen/franziskus/mlkem-usable-unpacked 

    Make unpacked ML-KEM API extractable
    @franziskuskiefer
    franziskuskiefer authored Sep 17, 2024
    Configuration menu
    Copy the full SHA
    6a8770c View commit details
    Browse the repository at this point in the history

Commits on Sep 19, 2024

  1. format and clang-18

    @franziskuskiefer
    franziskuskiefer committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    0c464d9 View commit details
    Browse the repository at this point in the history

  2. git ignore fuzz build artifacts

    @franziskuskiefer
    franziskuskiefer committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    9b25aeb View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' of github.com:cryspen/libcrux into fuzz

    @franziskuskiefer
    franziskuskiefer committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    1afc751 View commit details
    Browse the repository at this point in the history

  4. formatting and eurydice_glue warning fix

    @franziskuskiefer
    franziskuskiefer committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    e2639a9 View commit details
    Browse the repository at this point in the history

  5. try to get eurydice_glue formatting right

    @franziskuskiefer
    franziskuskiefer committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    72563a3 View commit details
    Browse the repository at this point in the history

  6. maybe make clang-format happy

    @franziskuskiefer
    franziskuskiefer committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    8f23a83 View commit details
    Browse the repository at this point in the history

  7. Merge pull request #554 from djmdjm/fuzz 

    Basic fuzzing for C extraction of ML-KEM768
    @franziskuskiefer
    franziskuskiefer authored Sep 19, 2024
    Configuration menu
    Copy the full SHA
    41072c6 View commit details
    Browse the repository at this point in the history

Commits on Sep 22, 2024

  1. verified

    @karthikbhargavan
    karthikbhargavan committed Sep 22, 2024
    Configuration menu
    Copy the full SHA
    0f5121e View commit details
    Browse the repository at this point in the history

  2. c code refresh

    @karthikbhargavan
    karthikbhargavan committed Sep 22, 2024
    Configuration menu
    Copy the full SHA
    37d35d8 View commit details
    Browse the repository at this point in the history

  3. boring C not working

    @karthikbhargavan
    karthikbhargavan committed Sep 22, 2024
    Configuration menu
    Copy the full SHA
    2cc5d08 View commit details
    Browse the repository at this point in the history

  4. fstar extraction for ml-dsa

    @karthikbhargavan
    karthikbhargavan committed Sep 22, 2024
    Configuration menu
    Copy the full SHA
    4db4adc View commit details
    Browse the repository at this point in the history