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

Merging main into dev #662

Merged
merged 187 commits into from
Dec 1, 2024
Merged

Merging main into dev #662

merged 187 commits into from
Dec 1, 2024

Commits on Aug 30, 2024

  1. wip

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

  2. fuzzers for ml-kem

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

Commits on Sep 22, 2024

  1. 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

Commits on Sep 23, 2024

  1. wip lax

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

Commits on Oct 10, 2024

  1. expose serialize secret key for unpacked keys

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

  2. re-extracted C code

    @franziskuskiefer
    franziskuskiefer committed Oct 10, 2024
    Configuration menu
    Copy the full SHA
    75e282c View commit details
    Browse the repository at this point in the history

  3. wip

    @franziskuskiefer
    franziskuskiefer committed Oct 10, 2024
    Configuration menu
    Copy the full SHA
    764d9d6 View commit details
    Browse the repository at this point in the history

  4. better apis and tests

    @franziskuskiefer
    franziskuskiefer committed Oct 10, 2024
    Configuration menu
    Copy the full SHA
    1bc56db View commit details
    Browse the repository at this point in the history

  5. unpacked key from private key

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

  6. re-extract F*

    @franziskuskiefer
    franziskuskiefer committed Oct 10, 2024
    Configuration menu
    Copy the full SHA
    4ed279a View commit details
    Browse the repository at this point in the history

Commits on Oct 11, 2024

  1. more tests and fixup

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

  2. re-extract mlkem F*

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

  3. regenerate mlkem C

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

  4. more mlkem private functions

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

  5. Merge branch 'dev' into ml-dsa-arithmetic

    @karthikbhargavan
    karthikbhargavan committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    af269d4 View commit details
    Browse the repository at this point in the history

  6. extracting again

    @karthikbhargavan
    karthikbhargavan committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    15405df View commit details
    Browse the repository at this point in the history

  7. got rid of some cycles, the rest need some hax help

    @karthikbhargavan
    karthikbhargavan committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    acf0d0a View commit details
    Browse the repository at this point in the history

  8. refreshed fstar

    @karthikbhargavan
    karthikbhargavan committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    08ce4ac View commit details
    Browse the repository at this point in the history

Commits on Oct 15, 2024

  1. fixes

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

  2. re-extract C

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

  3. fixup arm code

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

  4. C test fixes

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

  5. Merge branch 'franziskus/mlkem-serialize-sk' of github.com:cryspen/li… 

    …bcrux into franziskus/mlkem-serialize-sk
    @franziskuskiefer
    franziskuskiefer committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    74e10e0 View commit details
    Browse the repository at this point in the history

Commits on Oct 17, 2024

  1. fixes to benches

    @karthikbhargavan
    karthikbhargavan committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    c4e0ab6 View commit details
    Browse the repository at this point in the history

Commits on Oct 22, 2024

  1. after cycle bundling fix

    @karthikbhargavan
    karthikbhargavan committed Oct 22, 2024
    Configuration menu
    Copy the full SHA
    7a3dff1 View commit details
    Browse the repository at this point in the history

  2. progress up to Libcrux_sha3.Traits.fsti

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

Commits on Oct 23, 2024

  1. almost laxing

    @karthikbhargavan
    karthikbhargavan committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    c4bb39e View commit details
    Browse the repository at this point in the history

Commits on Oct 25, 2024

  1. Merge branch 'main' into ml-dsa-arithmetic

    @karthikbhargavan
    karthikbhargavan committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    05d0e11 View commit details
    Browse the repository at this point in the history

  2. ml-dsa refresh

    @karthikbhargavan
    karthikbhargavan committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    924d808 View commit details
    Browse the repository at this point in the history

  3. ml-dsa refresh

    @karthikbhargavan
    karthikbhargavan committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    a578e90 View commit details
    Browse the repository at this point in the history

Commits on Oct 28, 2024

  1. ml-dsa lax-checks except for 3 modules

    @karthikbhargavan
    karthikbhargavan committed Oct 28, 2024
    Configuration menu
    Copy the full SHA
    0b37cc1 View commit details
    Browse the repository at this point in the history

Commits on Oct 29, 2024

  1. lax check succeeds

    @karthikbhargavan
    karthikbhargavan committed Oct 29, 2024
    Configuration menu
    Copy the full SHA
    fbefc8d View commit details
    Browse the repository at this point in the history

  2. fmt

    @karthikbhargavan
    karthikbhargavan committed Oct 29, 2024
    Configuration menu
    Copy the full SHA
    443ec96 View commit details
    Browse the repository at this point in the history

  3. Repair hash_functions

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

  4. ML-DSA extraction on CI

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

  5. Fix warnings

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

  6. lax

    @karthikbhargavan
    karthikbhargavan committed Oct 29, 2024
    Configuration menu
    Copy the full SHA
    9c3247c View commit details
    Browse the repository at this point in the history

  7. cleanup

    @karthikbhargavan
    karthikbhargavan committed Oct 29, 2024
    Configuration menu
    Copy the full SHA
    5cf6072 View commit details
    Browse the repository at this point in the history

  8. cleanup

    @karthikbhargavan
    karthikbhargavan committed Oct 29, 2024
    Configuration menu
    Copy the full SHA
    7377285 View commit details
    Browse the repository at this point in the history

  9. cleanup

    @karthikbhargavan
    karthikbhargavan committed Oct 29, 2024
    Configuration menu
    Copy the full SHA
    516b6f3 View commit details
    Browse the repository at this point in the history

  10. cleanup

    @karthikbhargavan
    karthikbhargavan committed Oct 29, 2024
    Configuration menu
    Copy the full SHA
    3400e59 View commit details
    Browse the repository at this point in the history

  11. cleanup

    @karthikbhargavan
    karthikbhargavan committed Oct 29, 2024
    Configuration menu
    Copy the full SHA
    025679d View commit details
    Browse the repository at this point in the history

  12. cleanup

    @karthikbhargavan
    karthikbhargavan committed Oct 29, 2024
    Configuration menu
    Copy the full SHA
    95b46df View commit details
    Browse the repository at this point in the history

  13. make

    @karthikbhargavan
    karthikbhargavan committed Oct 29, 2024
    Configuration menu
    Copy the full SHA
    b9a51e8 View commit details
    Browse the repository at this point in the history

  14. make

    @karthikbhargavan
    karthikbhargavan committed Oct 29, 2024
    Configuration menu
    Copy the full SHA
    1644063 View commit details
    Browse the repository at this point in the history

Commits on Oct 30, 2024

  1. removed fstar libs needed for ml-kem from this PR

    @karthikbhargavan
    karthikbhargavan committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    72f0472 View commit details
    Browse the repository at this point in the history

Commits on Oct 31, 2024

  1. resolved some comments

    @karthikbhargavan
    karthikbhargavan committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    91cefaf View commit details
    Browse the repository at this point in the history

  2. restored error prop

    @karthikbhargavan
    karthikbhargavan committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    bc2b3ad View commit details
    Browse the repository at this point in the history

Commits on Nov 1, 2024

  1. lax checks

    @karthikbhargavan
    karthikbhargavan committed Nov 1, 2024
    Configuration menu
    Copy the full SHA
    7db214d View commit details
    Browse the repository at this point in the history

Commits on Nov 2, 2024

  1. fstar refresh

    @karthikbhargavan
    karthikbhargavan committed Nov 2, 2024
    Configuration menu
    Copy the full SHA
    60ffea0 View commit details
    Browse the repository at this point in the history

Commits on Nov 3, 2024

  1. qemu based s390x ci for ml-kem C

    @franziskuskiefer
    franziskuskiefer committed Nov 3, 2024
    Configuration menu
    Copy the full SHA
    0a837fb View commit details
    Browse the repository at this point in the history

  2. fix ml-kem C in cg for big endian machines

    @franziskuskiefer
    franziskuskiefer committed Nov 3, 2024
    Configuration menu
    Copy the full SHA
    587a379 View commit details
    Browse the repository at this point in the history

  3. don't build ml-kem C benchmarks by default

    @franziskuskiefer
    franziskuskiefer committed Nov 3, 2024
    Configuration menu
    Copy the full SHA
    5f3f123 View commit details
    Browse the repository at this point in the history

Commits on Nov 4, 2024

  1. Update .github/workflows/s390x.yml 

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

  2. fix cg eurydice glue for Windows

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

  3. don't run mlkem C tests on Windows ci

    @franziskuskiefer
    franziskuskiefer committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    249e0b3 View commit details
    Browse the repository at this point in the history

  4. Enable AVX2 target feature

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

  5. Inlining to help AVX2 optimization

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

  6. Missing module

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

  7. Attempt to reduce stack size

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

  8. Format

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

  9. ACVP uninlined inner functions

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

  10. Remove Zeta arrays 

    Changes cherry-picked from `07084ab4` and `6022f6e4`
    @jschneider-bensch
    jschneider-bensch committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    30c7de7 View commit details
    Browse the repository at this point in the history

  11. SHA-3 AVX2 target feature 

    Changes cherry-picked from `a87318d8`
    @jschneider-bensch
    jschneider-bensch committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    0703c5b View commit details
    Browse the repository at this point in the history

  12. Inlining + target feature changes around inverse NTT 

    Changes cherry-picked from `a87318d8`
    @jschneider-bensch
    jschneider-bensch committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    5d85370 View commit details
    Browse the repository at this point in the history

  13. Header-only extraction update

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

  14. Update C extraction

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

  15. Fix paths

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

  16. really don't run on windows

    @franziskuskiefer
    franziskuskiefer committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    3cf3915 View commit details
    Browse the repository at this point in the history

  17. format cg/eurydice_glue

    @franziskuskiefer
    franziskuskiefer committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    84a01ad View commit details
    Browse the repository at this point in the history

Commits on Nov 5, 2024

  1. Merge pull request #649 from cryspen/franziskus/big-endian-ci 

    Fix big-endian support in cg
    @jschneider-bensch
    jschneider-bensch authored Nov 5, 2024
    Configuration menu
    Copy the full SHA
    17cf50b View commit details
    Browse the repository at this point in the history

  2. Merge branch 'ml-dsa-lax' into jonas/ml-dsa-target-feature

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

  3. added issue-comment for samplex4 edits

    @karthikbhargavan
    karthikbhargavan committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    7297c0b View commit details
    Browse the repository at this point in the history

  4. renamed inputs

    @karthikbhargavan
    karthikbhargavan committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    dac387a View commit details
    Browse the repository at this point in the history

  5. fmt

    @karthikbhargavan
    karthikbhargavan committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    e542ac3 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'main' into ml-dsa-lax

    @karthikbhargavan
    karthikbhargavan authored Nov 5, 2024
    Configuration menu
    Copy the full SHA
    db15695 View commit details
    Browse the repository at this point in the history

  7. Merge pull request #646 from cryspen/ml-dsa-lax 

    Lax Checking for ML-DSA
    @franziskuskiefer
    franziskuskiefer authored Nov 5, 2024
    Configuration menu
    Copy the full SHA
    5ddbf9e View commit details
    Browse the repository at this point in the history

  8. Merge branch 'main' into jonas/ml-dsa-target-feature

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

  9. Missing opaque_types in hash_functions

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

  10. Make trait impl functions into wrappers

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

  11. Don't use trait methods

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

  12. Update F*

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

Commits on Nov 6, 2024

  1. Merge branch 'main' into franziskus/ml-kem-fuzzing

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

  2. Guard target_feature to cfg(not(hax))

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

  3. Update F*

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

  4. add fuzzer to ci

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

  5. Update .github/workflows/mlkem.yml 

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

  6. fixup fuzz ci

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

  7. Merge branch 'franziskus/ml-kem-fuzzing' of github.com:cryspen/libcru… 

    …x into franziskus/ml-kem-fuzzing
    @franziskuskiefer
    franziskuskiefer committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    150b616 View commit details
    Browse the repository at this point in the history

  8. cargo fmt

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

  9. Use local functions in favor of macros to help F*

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

  10. Merge pull request #660 from cryspen/franziskus/ml-kem-fuzzing 

    Basic ml kem fuzzing
    @jschneider-bensch
    jschneider-bensch authored Nov 6, 2024
    Configuration menu
    Copy the full SHA
    f7dccd0 View commit details
    Browse the repository at this point in the history

Commits on Nov 8, 2024

  1. Merge branch 'main' into jonas/ml-dsa-target-feature

    @karthikbhargavan
    karthikbhargavan authored Nov 8, 2024
    Configuration menu
    Copy the full SHA
    66059e5 View commit details
    Browse the repository at this point in the history

  2. Revert "SHA-3 AVX2 target feature" 

    This reverts commit 0703c5b.
    @franziskuskiefer
    franziskuskiefer committed Nov 8, 2024
    Configuration menu
    Copy the full SHA
    8f41090 View commit details
    Browse the repository at this point in the history

  3. inline ntt

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

  4. update mlkem C code

    @franziskuskiefer
    franziskuskiefer committed Nov 8, 2024
    Configuration menu
    Copy the full SHA
    1cefb79 View commit details
    Browse the repository at this point in the history

  5. Merge pull request #642 from cryspen/jonas/ml-dsa-target-feature 

    ML-DSA: AVX2 target feature
    @franziskuskiefer
    franziskuskiefer authored Nov 8, 2024
    Configuration menu
    Copy the full SHA
    d4b585d View commit details
    Browse the repository at this point in the history

  6. lax works again

    @karthikbhargavan
    karthikbhargavan committed Nov 8, 2024
    Configuration menu
    Copy the full SHA
    38837f1 View commit details
    Browse the repository at this point in the history

  7. refreshed c

    @karthikbhargavan
    karthikbhargavan committed Nov 8, 2024
    Configuration menu
    Copy the full SHA
    08e01cc View commit details
    Browse the repository at this point in the history

  8. ml-dsa make

    @karthikbhargavan
    karthikbhargavan committed Nov 8, 2024
    Configuration menu
    Copy the full SHA
    f68ccf2 View commit details
    Browse the repository at this point in the history

  9. ml-dsa restored

    @karthikbhargavan
    karthikbhargavan committed Nov 8, 2024
    Configuration menu
    Copy the full SHA
    7026b9f View commit details
    Browse the repository at this point in the history

Commits on Nov 11, 2024

  1. spec fix

    @karthikbhargavan
    karthikbhargavan committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    a081805 View commit details
    Browse the repository at this point in the history

  2. fstar refresh

    @karthikbhargavan
    karthikbhargavan committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    392604e View commit details
    Browse the repository at this point in the history

  3. fstar

    @karthikbhargavan
    karthikbhargavan committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    5a38a61 View commit details
    Browse the repository at this point in the history

  4. add proc-macro helper crate from hacl-rs

    @keks
    keks committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    5920c3a View commit details
    Browse the repository at this point in the history

  5. add hacl-rs hashing code, make libcrux use hacl-rs impl for sha2

    @keks
    keks committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    0e0243e View commit details
    Browse the repository at this point in the history

  6. no hacl-c sha2 anymore

    @keks
    keks committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    a23ffcf View commit details
    Browse the repository at this point in the history

  7. completely remove hacl-c sha2

    @keks
    keks committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    70dc04c View commit details
    Browse the repository at this point in the history

  8. remove hash state wrapper for sha2

    @keks
    keks committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    f74ddcb View commit details
    Browse the repository at this point in the history

  9. move hacl-rs to own subcrate

    @keks
    keks committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    6d0f6d5 View commit details
    Browse the repository at this point in the history

  10. make hmac crate use hacl-rs

    @keks
    keks committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    9a3cff8 View commit details
    Browse the repository at this point in the history

  11. use ed25519 from hacl-rs

    @keks
    keks committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    ed655da View commit details
    Browse the repository at this point in the history

  12. use ed25519 better

    @keks
    keks committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    ba70ee0 View commit details
    Browse the repository at this point in the history

  13. fix length checks in hmac and sha2

    @keks
    keks committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    418e508 View commit details
    Browse the repository at this point in the history

  14. add hacl-rs hkdf

    @keks
    keks committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    1ade700 View commit details
    Browse the repository at this point in the history

  15. fix cargo toml indent depth

    @keks
    keks committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    6653e08 View commit details
    Browse the repository at this point in the history

  16. fix hmac lengths

    @keks
    keks committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    50422b7 View commit details
    Browse the repository at this point in the history

  17. fix name and add comment

    @keks
    keks committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    8f9dd3a View commit details
    Browse the repository at this point in the history

  18. impl Default for Sha2 hash states

    @keks
    keks committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    ba561b3 View commit details
    Browse the repository at this point in the history

  19. fmt rest of generated code

    @keks
    keks committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    45d1278 View commit details
    Browse the repository at this point in the history

  20. fix mishap

    @keks
    keks committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    5e781bc View commit details
    Browse the repository at this point in the history

  21. add wycheproof test for ed25519, hkdf and hmac

    @keks
    keks committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    1f634b9 View commit details
    Browse the repository at this point in the history

  22. move hacl-rs algorithms to individual crates and make composite crate… 

    …s use these
    @keks
    keks committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    ece0107 View commit details
    Browse the repository at this point in the history

  23. remove sha1 crate stub

    @keks
    keks committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    1ca3ced View commit details
    Browse the repository at this point in the history

  24. remove remaining traces of sha1 crate stub

    @keks
    keks committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    ae73f50 View commit details
    Browse the repository at this point in the history

  25. fmt Cargo.toml

    @keks
    keks committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    deefc26 View commit details
    Browse the repository at this point in the history

  26. fmt more Cargo.toml

    @keks
    keks committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    4a1026a View commit details
    Browse the repository at this point in the history

  27. remove unuzed generated memzero function

    @keks
    keks committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    238e1fb View commit details
    Browse the repository at this point in the history

  28. address PR feedback

    @keks
    keks committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    97bf4b0 View commit details
    Browse the repository at this point in the history

  29. fix toml indent

    @keks
    keks committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    e77f3a5 View commit details
    Browse the repository at this point in the history

  30. more cleanup

    @keks
    keks committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    05f1652 View commit details
    Browse the repository at this point in the history

  31. fstar

    @karthikbhargavan
    karthikbhargavan committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    bf1ba73 View commit details
    Browse the repository at this point in the history

  32. fstar

    @karthikbhargavan
    karthikbhargavan committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    9c7d46a View commit details
    Browse the repository at this point in the history

  33. fstar

    @karthikbhargavan
    karthikbhargavan committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    595517c View commit details
    Browse the repository at this point in the history

  34. fstar

    @karthikbhargavan
    karthikbhargavan committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    2c93acc View commit details
    Browse the repository at this point in the history

Commits on Nov 12, 2024

  1. Fix generic module failures

    @mamonet
    mamonet committed Nov 12, 2024
    Configuration menu
    Copy the full SHA
    354e3ef View commit details
    Browse the repository at this point in the history

  2. Update Spec.MLKEM.fst

    @mamonet
    mamonet committed Nov 12, 2024
    Configuration menu
    Copy the full SHA
    ae7ab07 View commit details
    Browse the repository at this point in the history

  3. Fix failure in generic serialize module

    @mamonet
    mamonet committed Nov 12, 2024
    Configuration menu
    Copy the full SHA
    22dc07b View commit details
    Browse the repository at this point in the history

  4. Propagate recent cmake changes to nix CI

    @R1kM
    R1kM committed Nov 12, 2024
    Configuration menu
    Copy the full SHA
    b665c49 View commit details
    Browse the repository at this point in the history

  5. Fix failure in portable compress module

    @mamonet
    mamonet committed Nov 12, 2024
    Configuration menu
    Copy the full SHA
    d1b75ab View commit details
    Browse the repository at this point in the history

  6. Merge pull request #669 from R1kM/main 

    Propagate recent cmake changes to nix CI
    @franziskuskiefer
    franziskuskiefer authored Nov 12, 2024
    Configuration menu
    Copy the full SHA
    9a8614d View commit details
    Browse the repository at this point in the history

Commits on Nov 13, 2024

  1. Merge branch 'main' into franziskus/mlkem-serialize-sk

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

  2. Reomve Libcrux_ml_kem.Vector.Portable from ADMIT_MODULES

    @mamonet
    mamonet committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    69a27e4 View commit details
    Browse the repository at this point in the history

  3. rename bignum module

    @keks
    keks committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    9caa0ff View commit details
    Browse the repository at this point in the history

  4. fixup merge

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

  5. More efficient butterfly in inverse NTT layers 0-2

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

  6. update C extraction

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

  7. slight api change, more comments

    @keks
    keks committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    3c5be34 View commit details
    Browse the repository at this point in the history

  8. update C extraction

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

  9. Merge pull request #623 from cryspen/franziskus/mlkem-serialize-sk 

    [ML-KEM] serialize sk
    @karthikbhargavan
    karthikbhargavan authored Nov 13, 2024
    Configuration menu
    Copy the full SHA
    9b4b799 View commit details
    Browse the repository at this point in the history

Commits on Nov 14, 2024

  1. Add pre-conditions for Unpacked functions

    @mamonet
    mamonet committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    89568ab View commit details
    Browse the repository at this point in the history

  2. fix ci error

    @keks
    keks committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    f0f3d0e View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into keks/hacl-rs

    @keks
    keks authored Nov 14, 2024
    Configuration menu
    Copy the full SHA
    a216c87 View commit details
    Browse the repository at this point in the history

  4. Apply suggestions from code review 

    Co-authored-by: Franziskus Kiefer <[email protected]>
    @keks @franziskuskiefer
    keks and franziskuskiefer authored Nov 14, 2024
    Configuration menu
    Copy the full SHA
    7584c13 View commit details
    Browse the repository at this point in the history

  5. Push inverse NTT into the implementations

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

  6. FStar Update

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

  7. Update flake pins

    @Nadrieril
    Nadrieril committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    168fd90 View commit details
    Browse the repository at this point in the history

  8. Avoid copying 200MB to the output

    @Nadrieril
    Nadrieril committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    2e6d232 View commit details
    Browse the repository at this point in the history

  9. Use callPackage to make the ml-kem package configurable

    @Nadrieril
    Nadrieril committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    d9520c1 View commit details
    Browse the repository at this point in the history

  10. Allow setting the Cargo.lock via nix

    @Nadrieril
    Nadrieril committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    8b45ccd View commit details
    Browse the repository at this point in the history

  11. Merge pull request #659 from cryspen/keks/hacl-rs 

    Back implementations of SHA2, HMAC-SHA1, HMAC-SHA2 and HKDF-SHA2 by hacl-rs
    @keks
    keks authored Nov 14, 2024
    Configuration menu
    Copy the full SHA
    04fdf14 View commit details
    Browse the repository at this point in the history

  12. Omitted FStar

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

  13. Merge pull request #678 from Nadrieril/improve-flake 

    Improve the flake
    @W95Psp
    W95Psp authored Nov 14, 2024
    Configuration menu
    Copy the full SHA
    2608798 View commit details
    Browse the repository at this point in the history

  14. Remove obsolete .fst

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

  15. Merge branch 'main' into jonas/invntt-butterfly

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

  16. fix(f*/ml-kem): restore z3rlimit to 80

    @W95Psp
    W95Psp committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    50e4b97 View commit details
    Browse the repository at this point in the history

  17. feat: verify Avx2.Serialize

    @W95Psp
    W95Psp committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    faee7a5 View commit details
    Browse the repository at this point in the history

  18. cleanup

    @karthikbhargavan
    karthikbhargavan committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    e42d9da View commit details
    Browse the repository at this point in the history

  19. fstar

    @karthikbhargavan
    karthikbhargavan committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    974422b View commit details
    Browse the repository at this point in the history

Commits on Nov 15, 2024

  1. Merge pull request #671 from cryspen/jonas/invntt-butterfly 

    More efficient butterfly in inverse NTT layers 0-2
    @franziskuskiefer
    franziskuskiefer authored Nov 15, 2024
    Configuration menu
    Copy the full SHA
    dc479b8 View commit details
    Browse the repository at this point in the history

  2. merged main

    @karthikbhargavan
    karthikbhargavan committed Nov 15, 2024
    Configuration menu
    Copy the full SHA
    3b3cafa View commit details
    Browse the repository at this point in the history

Commits on Nov 16, 2024

  1. fstar update

    @karthikbhargavan
    karthikbhargavan committed Nov 16, 2024
    Configuration menu
    Copy the full SHA
    33f952d View commit details
    Browse the repository at this point in the history

  2. fstar

    @karthikbhargavan
    karthikbhargavan committed Nov 16, 2024
    Configuration menu
    Copy the full SHA
    63a1e7d View commit details
    Browse the repository at this point in the history

Commits on Nov 27, 2024

  1. fixes

    @karthikbhargavan
    karthikbhargavan committed Nov 27, 2024
    Configuration menu
    Copy the full SHA
    86e27d8 View commit details
    Browse the repository at this point in the history

Commits on Nov 28, 2024

  1. edits

    @karthikbhargavan
    karthikbhargavan committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    82871a3 View commit details
    Browse the repository at this point in the history

  2. fix

    @karthikbhargavan
    karthikbhargavan committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    56e38bb View commit details
    Browse the repository at this point in the history

Commits on Nov 29, 2024

  1. Fix build_unpacked_public_key_mut

    @mamonet
    mamonet committed Nov 29, 2024
    Configuration menu
    Copy the full SHA
    873fa48 View commit details
    Browse the repository at this point in the history

  2. Fix build_unpacked_public_key

    @mamonet
    mamonet committed Nov 29, 2024
    Configuration menu
    Copy the full SHA
    c2a5c69 View commit details
    Browse the repository at this point in the history

  3. hand edited fixes to impl-interfaces

    @karthikbhargavan
    karthikbhargavan committed Nov 29, 2024
    Configuration menu
    Copy the full SHA
    3e8515b View commit details
    Browse the repository at this point in the history

  4. Remove lax/panic-free verification options from ind-cca

    @mamonet
    mamonet committed Nov 29, 2024
    Configuration menu
    Copy the full SHA
    265435c View commit details
    Browse the repository at this point in the history

  5. delete stale file

    @karthikbhargavan
    karthikbhargavan committed Nov 29, 2024
    Configuration menu
    Copy the full SHA
    c7df39e View commit details
    Browse the repository at this point in the history

  6. Mark serialize_unpacked_secret_key as lax

    @mamonet
    mamonet committed Nov 29, 2024
    Configuration menu
    Copy the full SHA
    e2b0855 View commit details
    Browse the repository at this point in the history

Commits on Nov 30, 2024

  1. dsa

    @karthikbhargavan
    karthikbhargavan committed Nov 30, 2024
    Configuration menu
    Copy the full SHA
    91fae43 View commit details
    Browse the repository at this point in the history

  2. dsa extra

    @karthikbhargavan
    karthikbhargavan committed Nov 30, 2024
    Configuration menu
    Copy the full SHA
    8fa4c2d View commit details
    Browse the repository at this point in the history

Commits on Dec 1, 2024

  1. boring c code

    @karthikbhargavan
    karthikbhargavan committed Dec 1, 2024
    Configuration menu
    Copy the full SHA
    2ecc08a View commit details
    Browse the repository at this point in the history

  2. c code refresh

    @karthikbhargavan
    karthikbhargavan committed Dec 1, 2024
    Configuration menu
    Copy the full SHA
    1591860 View commit details
    Browse the repository at this point in the history

  3. fstar

    @karthikbhargavan
    karthikbhargavan committed Dec 1, 2024
    Configuration menu
    Copy the full SHA
    0a935fe View commit details
    Browse the repository at this point in the history