]> git.ipfire.org Git - thirdparty/Python/cpython.git/commit
gh-99108: Import SHA2-384/512 from HACL* (#101707)
authorJonathan Protzenko <protz@microsoft.com>
Tue, 14 Feb 2023 09:25:16 +0000 (01:25 -0800)
committerGitHub <noreply@github.com>
Tue, 14 Feb 2023 09:25:16 +0000 (01:25 -0800)
commite5da9ab2c82c6b4e4f8ffa699a9a609ea1bea255
tree82536d304ac00d1450ea2d8923b0c5d504ebd320
parent8be8101bca34b60481ec3d7ecaea4a3379fb7dbb
gh-99108: Import SHA2-384/512 from HACL* (#101707)

Replace the builtin hashlib implementations of SHA2-384 and SHA2-512
originally from LibTomCrypt with formally verified, side-channel resistant
code from the [HACL*](https://github.com/hacl-star/hacl-star/) project.
The builtins remain a fallback only used when OpenSSL does not provide them.
16 files changed:
Makefile.pre.in
Misc/NEWS.d/next/Security/2023-02-08-12-57-35.gh-issue-99108.6tnmhA.rst [new file with mode: 0644]
Modules/Setup.stdlib.in
Modules/_hacl/Hacl_Streaming_SHA2.c
Modules/_hacl/Hacl_Streaming_SHA2.h
Modules/_hacl/include/krml/FStar_UInt128_Verified.h [new file with mode: 0644]
Modules/_hacl/include/krml/FStar_UInt_8_16_32_64.h
Modules/_hacl/include/krml/fstar_uint128_struct_endianness.h [new file with mode: 0644]
Modules/_hacl/include/krml/types.h [new file with mode: 0644]
Modules/_hacl/include/python_hacl_namespaces.h
Modules/_hacl/internal/Hacl_SHA2_Generic.h
Modules/_hacl/refresh.sh
Modules/sha256module.c
Modules/sha512module.c
configure
configure.ac