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 #645

Closed karthikbhargavan closed 2 weeks ago

karthikbhargavan commented 3 weeks ago

This is ongoing work in https://github.com/cryspen/libcrux/tree/ml-dsa-arithmetic

franziskuskiefer commented 2 weeks ago

Closed in #646 .