search

cryspen / libcrux

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

`[no_std]` compatibility for standalone crates #313

Open jschneider-bensch opened 3 months ago

jschneider-bensch commented 3 months ago

E.g. for libcrux-kem, or in general where possible.

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.

franziskuskiefer commented 1 month ago

@jschneider-bensch let's list the crates and what needs to get done.