search

cryspen / libcrux

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

More Kyber AVX2-serialization documentation. #293

Closed xvzcf closed 3 months ago

xvzcf commented 3 months ago

Can you rebase this onto #296 to avoid conflicts?

Done.