diff options
| author | Jonathan Protzenko <protz@microsoft.com> | 2023-02-14 09:25:16 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-14 09:25:16 (GMT) |
| commit | e5da9ab2c82c6b4e4f8ffa699a9a609ea1bea255 (patch) | |
| tree | 82536d304ac00d1450ea2d8923b0c5d504ebd320 /Modules/_hacl/internal | |
| parent | 8be8101bca34b60481ec3d7ecaea4a3379fb7dbb (diff) | |
| download | cpython-e5da9ab2c82c6b4e4f8ffa699a9a609ea1bea255.zip cpython-e5da9ab2c82c6b4e4f8ffa699a9a609ea1bea255.tar.gz cpython-e5da9ab2c82c6b4e4f8ffa699a9a609ea1bea255.tar.bz2 | |
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.
Diffstat (limited to 'Modules/_hacl/internal')
| -rw-r--r-- | Modules/_hacl/internal/Hacl_SHA2_Generic.h | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/Modules/_hacl/internal/Hacl_SHA2_Generic.h b/Modules/_hacl/internal/Hacl_SHA2_Generic.h index 23f7cea..6ac47f3 100644 --- a/Modules/_hacl/internal/Hacl_SHA2_Generic.h +++ b/Modules/_hacl/internal/Hacl_SHA2_Generic.h @@ -31,13 +31,10 @@ extern "C" { #endif #include <string.h> -#include "krml/FStar_UInt_8_16_32_64.h" +#include "krml/types.h" #include "krml/lowstar_endianness.h" #include "krml/internal/target.h" - - - static const uint32_t Hacl_Impl_SHA2_Generic_h224[8U] = |