cryspen/hacl-packages

Merge AES-CTR32 into HACL*

Opened this issue · 2 comments

franziskuskiefer commented
  • Spec equivalence for AES
  • Match Vale AES API
franziskuskiefer commented

Merge without connecting to high-level APIs first, then add GCM and wire up everything.