GitHub repository: pq-code-package/mlkem-rust-libcrux
Created: 2024-03-12T14:10:15Z
Description: portable ML-KEM implementation with some optimizations 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.