search

cryspen / libcrux

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

Lax Checking for ML-DSA #646

Closed karthikbhargavan closed 2 weeks ago

karthikbhargavan commented 3 weeks ago

This PR adds lax-checking for ML-DSA