search

cryspen / libcrux

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

Run Wycheproof tests on `libcrux-hkdf` and `libcrux-hmac` #306

Closed jschneider-bensch closed 4 days ago

jschneider-bensch commented 5 months ago

The test vectors are in tests/wycheproof, but we don't currently use them.

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.

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

jschneider-bensch commented 2 months ago

Reopening this, since tests are still relevant.

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

franziskuskiefer commented 1 week ago

@keks do you want to close this with the work on #537 ?

keks commented 1 week ago

Wycheproof tests for hkdf, hmac and ed25519 are on the PR https://github.com/cryspen/libcrux/pull/659