search

awslabs / LibMLKEM

Apache License 2.0
15 stars 1 forks source link

Fips 203 final - updates to code, proof, and KATs #5

Closed rod-chapman closed 2 weeks ago

rod-chapman commented 1 month ago

This PR updates this implementation for FIPS 203 FINAL issued 13th August 2024.

Proofs with GNATProve are 100% OK.

Updates to KATs will be cross-checked with other implementations ASAP.

rod-chapman commented 1 month ago

Code changes are mostly harmless. The new input validation functions (FIPS 203 Section 7) should be reviewed carefully.

rod-chapman commented 1 month ago

Thanks