Repository request: mlkem-rust-libcrux

[franziskuskiefer]

I'm requesting the following PQCP repository:

Name: mlkem-rust-libcrux Description: This library provides a portable ML-KEM implementation with some optimisations for AVX2. Full AVX2 support will be added over the coming months. The code is formally verified for panic freedom, correctness, and secret independence in F* using the hax toolchain.

License: Apache-2.0

Access:

• Admin: @franziskuskiefer
• Maintainer: @franziskuskiefer
• Core contributors: @franziskuskiefer @karthikbhargavan

Existing code: https://github.com/cryspen/libcrux/tree/main/src/kem

Call for contributors: We are looking for co-maintainers and contributors to help drive this library forward. If you are interested, please reach out to me!

[planetf1]

I'll start on creating the repository/users as part of the hackathon activity.

[planetf1]

Do you want to

• start with the template (pq-code-package/template-code ?
• start with a clean repo

• move existing repo (history, more complex)

  I'll then setup the repo

[franziskuskiefer]

• start with the template (pq-code-package/template-code ?

The template repository looks like a good start. Thanks!

[planetf1]

Repo created.

These teams were created pqcp-libcrux (used for read access) pqcp-libcrux-maintainers (used for maintain) pqcp-lincrux-admin (used for admin)

I added Franzikskus as maintainer for each team

I also disabled wikis & merge commit as per settings.yml

Complete, so closing