search

cryspen / libcrux

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

Enforce `kem` API constraints at the type level #35

Open xvzcf opened 1 year ago

xvzcf commented 1 year ago

The kem APIs currently use Vec<u8>s for inputs and outputs. This, along with the fact that they allow for different algorithms to be selected, necessitates the use of unwrap()s since the different algorithms have different length requirements that aren't being enforced at compile time.

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