search

EasyCrypt / easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs
MIT License
306 stars 46 forks source link

[ci]: remove ML-KEM #561

Closed strub closed 2 months ago

strub commented 2 months ago

ML-KEM is hard-failing on Github Actions for an obscure reason.

Moreover, ML-KEM checking time, even in weak-check mode, is uterly long to check.

While it is investigate & ML-KEM proofs are updated using the map-reduce tactics, I am removing it from the CI.

It will be reintegrated ASAP.

strub commented 2 months ago

Should we set a time to review integration and have a related project in the ML-KEM repo?

Yes, this seems a good idea. Gustavo is going to work the next 3 weeks on the ML-KEM proof. I hope that we'll be able to integrate it again when done.