Run Wycheproof tests on `libcrux-hkdf` and `libcrux-hmac`
The test vectors are in tests/wycheproof, but we don't currently use them.
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.
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.
Reopening this, since tests are still relevant.
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.
@keks do you want to close this with the work on #537 ?
Wycheproof tests for hkdf, hmac and ed25519 are on the PR https://github.com/cryspen/libcrux/pull/659