search

cryspen / libcrux

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

don't use empty slices, they are 0x1 pointers now #321

Closed franziskuskiefer closed 3 months ago