Stowage/cpython
2
0
Fork 0
mirror of https://github.com/python/cpython.git synced 2026-03-17 10:20:50 +00:00
Code Issues Projects Releases Packages Wiki Activity
cpython/Modules/_hacl/include/krml
History
Jonathan Protzenko e5da9ab2c8
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.
2023-02-14 01:25:16 -08:00
..
internal
fstar_uint128_struct_endianness.h gh-99108: Import SHA2-384/512 from HACL* (#101707) 2023-02-14 01:25:16 -08:00
FStar_UInt128_Verified.h gh-99108: Import SHA2-384/512 from HACL* (#101707) 2023-02-14 01:25:16 -08:00
FStar_UInt_8_16_32_64.h gh-99108: Import SHA2-384/512 from HACL* (#101707) 2023-02-14 01:25:16 -08:00
lowstar_endianness.h
types.h gh-99108: Import SHA2-384/512 from HACL* (#101707) 2023-02-14 01:25:16 -08:00