search

cryspen / libcrux

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

Basic ml kem fuzzing #660

Closed franziskuskiefer closed 2 weeks ago

franziskuskiefer commented 2 weeks ago

This adds some basic fuzzing for the Rust ml-kem code, also on ci.

closes #129