May 11, 2023 · May 11, 2023 · May 11, 2023
diff --git a/Lib/test/test_hashlib.py b/Lib/test/test_hashlib.py
        h.update(b"hello world")
        self.assertEqual(h.hexdigest(), "a5364f7a52ebe2e25f1838a4ca715a893b6fd7a23f2a0d9e9762120da8b1bf53")

    @requires_resource('cpu')
    def test_sha3_256_update_over_4gb(self):
        zero_1mb = b"\0" * 1024 * 1024
        h = hashlib.sha3_256()
        for i in range(0, 4096):
            h.update(zero_1mb)
        h.update(b"hello world")
        self.assertEqual(h.hexdigest(), "e2d4535e3b613135c14f2fe4e026d7ad8d569db44901740beffa30d430acb038")

    def check(self, name, data, hexdigest, shake=False, **kwargs):
        length = len(hexdigest)//2
        hexdigest = hexdigest.lower()
diff --git a/Modules/_hacl/Hacl_Hash_SHA3.c b/Modules/_hacl/Hacl_Hash_SHA3.c
  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;
  }
diff --git a/Modules/_hacl/refresh.sh b/Modules/_hacl/refresh.sh

 # Update this when updating to a new version after verifying that the changes
 # the update brings in are good.
 expected_hacl_star_rev=363eae2c2eb60e46f182ddd4bd1cd3f1d00b35c9
 expected_hacl_star_rev=b6903a3e6458000730c3d83174d4b08d6d3e2ece

 hacl_dir="$(realpath "$1")"
 cd "$(dirname "$0")"
Original file line number	Diff line number	Diff line change
Expand Up		@@ -359,6 +359,15 @@ def test_sha256_update_over_4gb(self):
		h.update(b"hello world")
		self.assertEqual(h.hexdigest(), "a5364f7a52ebe2e25f1838a4ca715a893b6fd7a23f2a0d9e9762120da8b1bf53")

		@requires_resource('cpu')
		def test_sha3_256_update_over_4gb(self):
		zero_1mb = b"\0" * 1024 * 1024
		h = hashlib.sha3_256()
		for i in range(0, 4096):
		h.update(zero_1mb)
		h.update(b"hello world")
		self.assertEqual(h.hexdigest(), "e2d4535e3b613135c14f2fe4e026d7ad8d569db44901740beffa30d430acb038")

		def check(self, name, data, hexdigest, shake=False, **kwargs):
		length = len(hexdigest)//2
		hexdigest = hexdigest.lower()
Expand Down
Original file line number	Diff line number	Diff line change
Expand Up		@@ -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;
		}
Expand Down
Original file line number	Diff line number	Diff line change
Expand Up		@@ -22,7 +22,7 @@ fi

		# Update this when updating to a new version after verifying that the changes
		# the update brings in are good.
		expected_hacl_star_rev=363eae2c2eb60e46f182ddd4bd1cd3f1d00b35c9
		expected_hacl_star_rev=b6903a3e6458000730c3d83174d4b08d6d3e2ece

		hacl_dir="$(realpath "$1")"
		cd "$(dirname "$0")"
Expand Down