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

initial commit of libcrux ml-kem #2

Draft
wants to merge 16 commits into
base: master
Choose a base branch
from
Draft

initial commit of libcrux ml-kem #2

wants to merge 16 commits into from

Commits on Apr 24, 2024

  1. initial commit of libcrux ml-kem

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

Commits on Apr 28, 2024

  1. Initial commit of libcrux ml-kem 

    This change adds the verified libcrux ml-kem code into the third_party
directory.

A local build script is provided for convenience.

This code is here primarily to get feedback on the C code for the upcoming
avx2 optimized ml-kem implementation that we are currently working on.

Change-Id: I7e9a18e86f9830d7c84a00d3f78c1d558faaa6ee
    @franziskuskiefer
    Franziskus Kiefer authored and franziskuskiefer committed Apr 28, 2024
    Configuration menu
    Copy the full SHA
    d86233d View commit details
    Browse the repository at this point in the history

Commits on Jun 13, 2024

  1. Merge branch 'franziskus/libcrux-ml-kem' of github.com:cryspen/boring… 

    …ssl into franziskus/libcrux-ml-kem

Change-Id: I14723c6ac4a57d8d91c2253f6c19d6455fa55abd
    Franziskus Kiefer committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    645d756 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into franziskus/libcrux-ml-kem 

    Change-Id: I768a7b6e62ff70f717bfa0be6cb3f72bc1be0324
    Franziskus Kiefer committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    245db49 View commit details
    Browse the repository at this point in the history

  3. new portable mlkem 

    Change-Id: I4437be82c33a539b46ba7e5031a4800a726957db
    Franziskus Kiefer committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    78797b4 View commit details
    Browse the repository at this point in the history

Commits on Jun 14, 2024

  1. build mlkem portable

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

  2. cleanup

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

  3. add avx2 libcrux mlkem

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

Commits on Jun 18, 2024

  1. header only libcrux mlkem

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

Commits on Jun 20, 2024

  1. speed test for mlkem

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

  2. fix for C error (implicit coercion)

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

  3. add kats for mlkem768 

    Change-Id: I425e50682aae286a04082efbe3ebbcb82d82b3e2
    Franziskus Kiefer committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    06193ea View commit details
    Browse the repository at this point in the history

  4. Merge branch 'franziskus/libcrux-ml-kem' of github.com:cryspen/boring… 

    …ssl into franziskus/libcrux-ml-kem

Change-Id: Ic6b6777f13a609cc0f6a3b0534e65f5f0fb64e93
    Franziskus Kiefer committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    42ea860 View commit details
    Browse the repository at this point in the history

  5. noinline 

    Change-Id: I85b317edcf843dbbe65f1479e33f71ba82f8ceaf
    Franziskus Kiefer committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    d557c51 View commit details
    Browse the repository at this point in the history

  6. negative tests for pks and rename

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

Commits on Jun 23, 2024

  1. Merge branch 'master' into franziskus/libcrux-ml-kem 

    Change-Id: I76cfcd036631ceeac3858b0d86ae32bddfef100f
    Franziskus Kiefer committed Jun 23, 2024
    Configuration menu
    Copy the full SHA
    b66965b View commit details
    Browse the repository at this point in the history