gh-99108: Refresh HACL* from upstream by msprotz · Pull Request #104401 · python/cpython
This PR refreshes the vendored HACL* code with an upstream version. It contains a single fix, which increases the maximum length that can be processed by SHA3. This does not affect correctness of the verified code: the previous version would simply return a "maximum length exceeded" error too soon.
This was previously not covered by the Python testsuite, so I added one for this precisely. (Tests are being added upstream, too.)
@gpshead we should definitely get this in before 3.12