Bug report

Bug description:

Sometimes, it's possible to read an HACL* state concurrently:

• sha3 reads the live HACL state outside the object lock at six sites
• blake2's digest_size getter reads the live HACL state outside the lock

Instead, we can (1) add this static information just after construction (2) compute it inside the lock sections. The problem is that HACL* update() functions update the entire state so reading static information is unsafe.

CPython versions tested on:

CPython main branch

Operating systems tested on:

No response

Linked PRs

• gh-155835: fix digest_size and block_size data races on SHA-3 objects #155838
• gh-155835: fix digest_size data race on BLAKE-2 objects #155839
• [3.15] gh-155835: fix digest_size and block_size data races on SHA-3 objects (GH-155838) #157038
• [3.14] gh-155835: fix digest_size and block_size data races on SHA-3 objects (GH-155838) #157039
• [3.13] gh-155835: fix digest_size and block_size data races on SHA-3 objects (GH-155838) #157041