cryspen/libcrux Issues
Implement simd256 ml-kem
Closed 1ML-KEM SIMD F* Extraction
Closed 4ML-KEM SIMD C Extraction
Closed 3Plan pqcp
Updated 3Push ml-kem to pqca
UpdatedML-DSA 65 Ref Implementation
UpdatedFaster Rust SHA3 Implementations
Closed 2Vectorise sampling for ml-kem
Closed 116-bit version of ml-kem
Closed 1HPKE Cleanup
UpdatedGeneric ml-kem implementation
Closed 1Compilation to wasm
Updated 6F* Extraction is broken on main
Closed 1ML-KEM NSS Update
Closed 1Verify ML-KEM 768 AVX2
UpdatedLibcrux.Kem.Kyber.Matrix.fst
UpdatedRemove panics from Kyber C code
Closed 1Add ML-KEM C extraction to CI
Updated 1Kyber Blog Post
Closed 2Drop hax-lib dependency
Closed 1Refresh NSS Kyber Code
Closed 1Libcrux.Kem.Kyber.Ntt.fst
Updated