[3.12] gh-99108: Refresh HACL* (GH-104808) (#104893)

gh-99108: Refresh HACL* (GH-104808)

Refresh HACL* from upstream to improve SHA2 performance and fix a 32-bit issue in SHA3.
(cherry picked from commit 160321e5304b962a162eb023472aa2bc8307ae15)

Co-authored-by: Jonathan Protzenko <protz@microsoft.com>

Miss Islington (bot) committed 2y ago

c4bc97a0aa0c8793d6995f8e89ff915faaf421a6

Parent: b670214

Committed by GitHub <noreply@github.com> on 5/24/2023, 8:55:37 PM