search

cryspen / libcrux-iot

An IoT friendly, formally verified, crypto library based on libcrux
GNU Affero General Public License v3.0
1 stars 1 forks source link

IoT ML-KEM #2

Closed franziskuskiefer closed 2 days ago

github-actions[bot] commented 2 months ago

This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.

jschneider-bensch commented 3 days ago

@franziskuskiefer is this just to track whether we have a some version that can run on some device, or should it track IoT work on ML-KEM more broadly?

franziskuskiefer commented 2 days ago

No, it's the generic implementation. There's #3 for optimising things. So I think we can close this one? We have a couple boards now running it.

jschneider-bensch commented 2 days ago

Right, for instance our reference board since #19. Closing this now.