Make implementation fully FIPS203 compliant

pq-code-package / mlkem-c-aarch64

ML-KEM implementation optimized for aarch64

https://pq-code-package.github.io/mlkem-c-aarch64/dev/bench

Apache License 2.0

10 stars 6 forks source link

Make implementation fully FIPS203 compliant #210

Open hanno-becker opened 3 hours ago

hanno-becker commented 3 hours ago

There's at least one place where our implementation is not FIPS203 compliant: We do not perform the "modulus check" before running the encapsulation step.

The purpose of this issue is to (a) list, and (b) track the implementation of fixes of, the deviation of the current implementation from FIPS203.

Non-Compliances:

[ ] Modulus check on public key before encapsulation

hanno-becker commented 3 hours ago

@mkannwischer What other instances of non-compliance with FIPS203 are you aware of?