cryspen / libcrux

The formally verified crypto library for Rust
https://cryspen.com/libcrux
Apache License 2.0
48 stars 8 forks source link

Add feature `kyber` for Round 3 Kyber API #327

Closed jschneider-bensch closed 4 days ago

jschneider-bensch commented 1 week ago

This PR fixes #325, by making available kyber{512,768,1024} modules with their own encapsulate and decapsulate behind the kyber feature, in addition to the regular ML-KEM API. The differences in Kyber compared to ML-KEM are

c.f. FIPS 203 (Draft), section 1.3.

Further, the hybrid KEMs in libcrux-kem are now available in both variants as well.