C Plumbing for Kyber - Githubissues

cryspen / hacl-packages

The Cryspen HACL Distribution

https://cryspen.com/hacl-packages

Other

13 stars 18 forks source link

C Plumbing for Kyber #436

Open karthikbhargavan opened 6 months ago

karthikbhargavan commented 6 months ago

Add plumbing to use HACL C in Kyber C.

franziskuskiefer commented 6 months ago

[ ] SHA3 integration
[ ] Check compile issues/code issues
[ ] Implement glue
[ ] Define public header
[ ] Test