Jonathan Protzenko

Results 11 issues of Jonathan Protzenko

As discussed on Slack and Zulip, ML-DSA needs to stop forking eurydice_glue.h, because i) this creates additional work for libcrux maintainers: instead of just benefiting from the latest changes in...

C