cpython/Modules/_hacl
Victor Stinner a0551b1a12
gh-148200: Update Modules/_hacl/ for Cygwin (#149802)
This pulls an updated version of HACL* that fixes Lib_Memzero0.c on
Cygwin, via an upstream fix.
2026-05-15 14:42:30 +02:00
..
include/krml gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) 2025-10-16 05:25:51 +00:00
internal gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) 2025-10-16 05:25:51 +00:00
Hacl_Hash_Blake2b.c gh-134069: bump HACL* revision to incoporate memset_s (#134027) 2025-05-16 06:23:11 -04:00
Hacl_Hash_Blake2b.h gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) 2025-10-16 05:25:51 +00:00
Hacl_Hash_Blake2b_Simd256.c gh-134069: bump HACL* revision to incoporate memset_s (#134027) 2025-05-16 06:23:11 -04:00
Hacl_Hash_Blake2b_Simd256.h gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) 2025-10-16 05:25:51 +00:00
Hacl_Hash_Blake2b_Simd256_universal2.c gh-123748: Add conditional compilation rules for HACL SIMD256 and SIMD128 on macOS (#123989) 2024-09-16 12:23:05 +08:00
Hacl_Hash_Blake2s.c gh-134069: bump HACL* revision to incoporate memset_s (#134027) 2025-05-16 06:23:11 -04:00
Hacl_Hash_Blake2s.h gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) 2025-10-16 05:25:51 +00:00
Hacl_Hash_Blake2s_Simd128.c gh-134069: bump HACL* revision to incoporate memset_s (#134027) 2025-05-16 06:23:11 -04:00
Hacl_Hash_Blake2s_Simd128.h gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) 2025-10-16 05:25:51 +00:00
Hacl_Hash_Blake2s_Simd128_universal2.c gh-123748: Add conditional compilation rules for HACL SIMD256 and SIMD128 on macOS (#123989) 2024-09-16 12:23:05 +08:00
Hacl_Hash_MD5.c gh-134069: bump HACL* revision to incoporate memset_s (#134027) 2025-05-16 06:23:11 -04:00
Hacl_Hash_MD5.h gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) 2025-10-16 05:25:51 +00:00
Hacl_Hash_SHA1.c gh-134069: bump HACL* revision to incoporate memset_s (#134027) 2025-05-16 06:23:11 -04:00
Hacl_Hash_SHA1.h gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) 2025-10-16 05:25:51 +00:00
Hacl_Hash_SHA2.c gh-134069: bump HACL* revision to incoporate memset_s (#134027) 2025-05-16 06:23:11 -04:00
Hacl_Hash_SHA2.h gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) 2025-10-16 05:25:51 +00:00
Hacl_Hash_SHA3.c gh-134069: bump HACL* revision to incoporate memset_s (#134027) 2025-05-16 06:23:11 -04:00
Hacl_Hash_SHA3.h gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) 2025-10-16 05:25:51 +00:00
Hacl_HMAC.c gh-99108: Implement HACL* HMAC (#130157) 2025-04-04 19:04:00 +02:00
Hacl_HMAC.h gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) 2025-10-16 05:25:51 +00:00
Hacl_Streaming_HMAC.c gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) 2025-10-16 05:25:51 +00:00
Hacl_Streaming_HMAC.h gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) 2025-10-16 05:25:51 +00:00
Hacl_Streaming_Types.h gh-140120: Refresh HACL* to fix an hmac memory leak (GH-140188) 2025-10-16 05:25:51 +00:00
Lib_Memzero0.c gh-148200: Update Modules/_hacl/ for Cygwin (#149802) 2026-05-15 14:42:30 +02:00
lib_memzero0.h gh-131298: eliminate HACL* static libraries for cryptographic modules (GH-132438) 2025-04-20 17:40:17 +00:00
libintvector-shim.h gh-99108: Implement HACL* HMAC (#130157) 2025-04-04 19:04:00 +02:00
libintvector.h gh-148200: Update Modules/_hacl/ for Cygwin (#149802) 2026-05-15 14:42:30 +02:00
python_hacl_namespaces.h gh-135532: update Modules/_hacl/python_hacl_namespaces.h (#135741) 2025-06-20 11:32:38 +02:00
README.md gh-99108: Implement HACL* HMAC (#130157) 2025-04-04 19:04:00 +02:00
refresh.sh gh-148200: Update Modules/_hacl/ for Cygwin (#149802) 2026-05-15 14:42:30 +02:00

Algorithm implementations used by the hashlib module.

This code comes from the HACL* project.

HACL* is a cryptographic library that has been formally verified for memory safety, functional correctness, and secret independence.

Updating HACL*

Use the refresh.sh script in this directory to pull in a new upstream code version. The upstream git hash used for the most recent code pull is recorded in the script. Modify the script as needed to bring in more if changes are needed based on upstream code refactoring.

Never manually edit HACL* files. Always add transformation shell code to the refresh.sh script to perform any necessary edits. If there are serious code changes needed, work with the upstream repository.

Local files

ACKS