search

cryspen / hacl-packages

The Cryspen HACL Distribution
https://cryspen.com/hacl-packages
Other
13 stars 18 forks source link

Merge GHASH into hacl-star upstream #462

Open mamonet opened 2 months ago

mamonet commented 2 months ago

The following PR addresses this isssue https://github.com/hacl-star/hacl-star/pull/942