cryspen / hacl-packages

The Cryspen HACL Distribution

https://cryspen.com/hacl-packages

Other

13 stars 18 forks source link

Update from upstream #459

Closed franziskuskiefer closed 5 days ago

franziskuskiefer commented 2 months ago

Update code from HACL*, in particular

getting the new SHA3 code in.
merge ml-kem from dev to main

franziskuskiefer commented 2 months ago

This is blocked on https://github.com/hacl-star/hacl-star/issues/939

franziskuskiefer commented 5 days ago

461 fixed this