cryspen / libcrux

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

[ML-DSA] Measure stack size on CI #654

Open franziskuskiefer opened 3 weeks ago

franziskuskiefer commented 3 weeks ago

Measure the stack used by the ml-dsa and ml-kem code on CI and fail if a frame is larger than 25344. The output should also give use a list of functions and their stack usage.