Remove hacspec crypto backend

openwsn-berkeley / lakers

EDHOC implemented in Rust, optimized for microcontrollers, with bindings for C and Python.

https://crates.io/crates/lakers

BSD 3-Clause "New" or "Revised" License

13 stars 10 forks source link

Remove hacspec crypto backend #215

Closed geonnave closed 6 months ago

geonnave commented 7 months ago

it is not needed anymore -- since the addition of the rustcrypto backend, which now serves as the default backend for non-embedded environments
and crucially, it has been causing CI to fail, with a hard to diagnose cause (it was pulled from a stale fork)

chrysn commented 7 months ago

Are there not potential proofs that depend on its kind of expression?

geonnave commented 6 months ago

@chrysn sorry for the late response. I think it could have, but I just re-tested and the build still fails. Last time I checked with the hax team, they could not identify the source of the issue. Finally, given that the proof is currently being done using the rustcrypto backend, I think it makes sense to proceed with the removal.