Add FIPS 203, 204 CAVP test vectors

cryspen / libcrux

The formally verified crypto library for Rust

https://cryspen.com/libcrux

Apache License 2.0

78 stars 13 forks source link

Add FIPS 203, 204 CAVP test vectors #520

Open jschneider-bensch opened 3 weeks ago

jschneider-bensch commented 3 weeks ago

At the moment we test ML-KEM and ML-DSA against test vectors that are generated using a spec-like python implementation. Now that the standards are published, we should add the official CAVP test vectors.

franziskuskiefer commented 3 weeks ago

We should also add the wycheproof tests in this or a separate issue (ML-KEM is not yet updated)

https://github.com/C2SP/wycheproof/pull/112
https://github.com/C2SP/wycheproof/pull/110

franziskuskiefer commented 3 days ago

On branch franziskus/ml-kem-acvp I added started adding some of the test vectors. Feel free to continue on that.