search

cryspen / libcrux

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

Add more tests using the NIST intermediate values for ML-KEM and ML-DSA. #366

Closed xvzcf closed 1 month ago

xvzcf commented 3 months ago

It would be a nice-to-have if we could add unit tests to the ML-KEM and ML-DSA codebases using the PQC Intermediate Values package found here: https://csrc.nist.gov/Projects/post-quantum-cryptography/post-quantum-cryptography-standardization/example-files

We'd probably have to preprocess the files in that package (perhaps convert them to JSON, change the layout) for our tests to best use them.

github-actions[bot] commented 1 month ago

This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.

github-actions[bot] commented 1 month ago

This issue has been closed due to a lack of activity since being marked as stale. If you believe this issue is still relevant, please reopen it with an update or comment.