/mlkem-rust-libcrux

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.

Apache License 2.0Apache-2.0

Watchers