gh-99108: Refresh HACL* from upstream (#104401)

Refresh HACL* from upstream and add a SHA3 test hashing over 4GiB of data.
This commit is contained in:
Jonathan Protzenko 2023-05-11 14:23:52 -07:00 committed by GitHub
parent 0449ffe3a4
commit 7d7dd4cd70
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 11 additions and 2 deletions

View file

@ -244,7 +244,7 @@ Hacl_Streaming_Keccak_update(Hacl_Streaming_Keccak_state *p, uint8_t *data, uint
Hacl_Streaming_Keccak_hash_buf block_state = s.block_state;
uint64_t total_len = s.total_len;
Spec_Hash_Definitions_hash_alg i = block_state.fst;
if ((uint64_t)len > (uint64_t)0xffffffffU - total_len)
if ((uint64_t)len > (uint64_t)0xffffffffffffffffU - total_len)
{
return (uint32_t)1U;
}