Merge AES-CTR32 into HACL*

cryspen / hacl-packages

The Cryspen HACL Distribution

https://cryspen.com/hacl-packages

Other

13 stars 18 forks source link

Open franziskuskiefer opened 3 months ago

franziskuskiefer commented 3 months ago

franziskuskiefer commented 2 months ago

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

franziskuskiefer commented 2 months ago

Will be fixed with hacl-star/hacl-star#919