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

Use Init-Absorb-Squeeze* API in ML-KEM #220

Merged
merged 49 commits into from
Mar 13, 2024
Merged

Use Init-Absorb-Squeeze* API in ML-KEM #220

merged 49 commits into from
Mar 13, 2024

Commits on Feb 20, 2024

  1. enabling the incremental (nblocks) API for Shake128 (scalar) in Kyber

    @karthikbhargavan
    karthikbhargavan committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    d80f9ea View commit details
    Browse the repository at this point in the history

Commits on Feb 21, 2024

  1. trying to extract c

    @karthikbhargavan
    karthikbhargavan committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    2e73fbb View commit details
    Browse the repository at this point in the history

  2. sort imports to work with kyber-crate.sh

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

  3. eurydice initialization experiments

    @karthikbhargavan
    karthikbhargavan committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    635439b View commit details
    Browse the repository at this point in the history

Commits on Feb 22, 2024

  1. added SIMD - wip - and passing hax

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

  2. made sha3 internal state abstract

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

Commits on Feb 23, 2024

  1. Updated ml-kem C extraction (#208) 

    * add a dockerfile for running extraction
* remove a panic in C
    @franziskuskiefer @karthikbhargavan
    franziskuskiefer authored and karthikbhargavan committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    eee97d8 View commit details
    Browse the repository at this point in the history

  2. enabling the incremental (nblocks) API for Shake128 (scalar) in Kyber

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

  3. sort imports to work with kyber-crate.sh

    @franziskuskiefer @karthikbhargavan
    franziskuskiefer authored and karthikbhargavan committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    652f579 View commit details
    Browse the repository at this point in the history

  4. added SIMD - wip - and passing hax

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

  5. hand edits to work around hax bug

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

Commits on Feb 24, 2024

  1. linux testing

    @karthikbhargavan
    karthikbhargavan committed Feb 24, 2024
    Configuration menu
    Copy the full SHA
    b56defa View commit details
    Browse the repository at this point in the history

  2. aligned malloc and initialization

    @karthikbhargavan
    karthikbhargavan committed Feb 24, 2024
    Configuration menu
    Copy the full SHA
    4acdf81 View commit details
    Browse the repository at this point in the history

Commits on Feb 28, 2024

  1. tested on mac

    @karthikbhargavan
    karthikbhargavan committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    7dd3040 View commit details
    Browse the repository at this point in the history

  2. fix matching on K for hax

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

  3. eurydice

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

  4. fixup kyber-crate.sh

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

  5. fixes for avx2/linux

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

  6. Merge branch 'karthik/kyber_shake128_squeeze_nblocks' of github.com:c… 

    …ryspen/libcrux into karthik/kyber_shake128_squeeze_nblocks
    @karthikbhargavan
    karthikbhargavan committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    7d4613d View commit details
    Browse the repository at this point in the history

  7. merged

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

Commits on Feb 29, 2024

  1. rust format

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

  2. merged main

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

  3. new patches

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

Commits on Mar 1, 2024

  1. improved C code generation by simplifying match in hash-functions

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

  2. recreated patches

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

  3. rust format

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

  4. undo accidental commit gcp -> cp

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

  5. updated extraction

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

Commits on Mar 2, 2024

  1. updated code to free SHAKE state, avoiding memory leaks in C

    @karthikbhargavan
    karthikbhargavan committed Mar 2, 2024
    Configuration menu
    Copy the full SHA
    7fc6a4c View commit details
    Browse the repository at this point in the history

  2. rust format

    @karthikbhargavan
    karthikbhargavan committed Mar 2, 2024
    Configuration menu
    Copy the full SHA
    19bf8ae View commit details
    Browse the repository at this point in the history

Commits on Mar 5, 2024

  1. wip

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

  2. fixup simd

    @franziskuskiefer
    franziskuskiefer committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    37a5731 View commit details
    Browse the repository at this point in the history

Commits on Mar 6, 2024

  1. wip

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

  2. wip - experimenting

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

  3. extraction works

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

Commits on Mar 8, 2024

  1. make it extract

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

  2. make it work; simd at least

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

  3. more platform foo

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

  4. fixup simd variant

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

Commits on Mar 11, 2024

  1. better api

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

  2. put api behind feature

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

Commits on Mar 12, 2024

  1. fixup

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

  2. created proof patches

    @franziskuskiefer
    franziskuskiefer committed Mar 12, 2024
    Configuration menu
    Copy the full SHA
    7e2e330 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into franziskus/shakeit_kyber

    @franziskuskiefer
    franziskuskiefer committed Mar 12, 2024
    Configuration menu
    Copy the full SHA
    cfd5109 View commit details
    Browse the repository at this point in the history

  4. update extraction

    @franziskuskiefer
    franziskuskiefer committed Mar 12, 2024
    Configuration menu
    Copy the full SHA
    25bce01 View commit details
    Browse the repository at this point in the history

Commits on Mar 13, 2024

  1. sed update

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

  2. no experimental for now

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

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

    …keit_kyber
    @franziskuskiefer
    franziskuskiefer committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    77c6ec0 View commit details
    Browse the repository at this point in the history

  4. update extraction

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