ML-DSA: Include verification key in the Wycheproof signature JSON KAT files.

cryspen / libcrux

The formally verified crypto library for Rust

https://cryspen.com/libcrux

Apache License 2.0

88 stars 14 forks source link

ML-DSA: Include verification key in the Wycheproof signature JSON KAT files. #340

Open xvzcf opened 4 months ago

xvzcf commented 4 months ago

In the Wycheproof signing tests (https://github.com/C2SP/wycheproof/pull/112), when an invalid signature is generated, it would be nice to try and verify this signature and confirm that our verification implementation works as expected. For this it'd be nice if the verification key was included in the KATs, we should consider asking the KATs author to do so.

github-actions[bot] commented 2 months 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.