libcrux icon indicating copy to clipboard operation
libcrux copied to clipboard

Published 20 hours ago • verified publisher icon cryspen

C code for Kyber

Open karthikbhargavan opened this issue 1 year ago • 1 comments
trafficstars

  • [ ] Get it through charon
  • [ ] Get it through eurydice
  • [ ] Cleanup C code
  • [ ] Improve C code
  • [x] #145
  • [ ] cryspen/hacl-packages#436
  • [x] cryspen/hacl-packages#437

karthikbhargavan avatar Dec 04 '23 20:12 karthikbhargavan

  • unwrap should be doable
  • setp_by not clear yet
  • match on integers
  • enumerate/chunks we may have to rewrite
  • Debug could maybe stay (charon with errors as warnings)

franziskuskiefer avatar Dec 08 '23 15:12 franziskuskiefer

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.

github-actions[bot] avatar Sep 28 '24 02:09 github-actions[bot]