cpython/Modules/_hacl
Miss Islington (bot) 28fc24ebbc
Some checks failed
JIT / Interpreter (Debug) (push) Has been cancelled
JIT / i686-pc-windows-msvc/msvc (Release) (push) Has been cancelled
JIT / i686-pc-windows-msvc/msvc (Debug) (push) Has been cancelled
JIT / aarch64-pc-windows-msvc/msvc (Debug) (push) Has been cancelled
JIT / aarch64-pc-windows-msvc/msvc (Release) (push) Has been cancelled
JIT / aarch64-apple-darwin/clang (Release) (push) Has been cancelled
JIT / aarch64-unknown-linux-gnu/gcc (Release) (push) Has been cancelled
JIT / aarch64-apple-darwin/clang (Debug) (push) Has been cancelled
JIT / aarch64-unknown-linux-gnu/gcc (Debug) (push) Has been cancelled
JIT / x86_64-pc-windows-msvc/msvc (Release) (push) Has been cancelled
JIT / x86_64-pc-windows-msvc/msvc (Debug) (push) Has been cancelled
JIT / x86_64-apple-darwin/clang (Release) (push) Has been cancelled
JIT / x86_64-unknown-linux-gnu/gcc (Release) (push) Has been cancelled
JIT / x86_64-apple-darwin/clang (Debug) (push) Has been cancelled
JIT / x86_64-unknown-linux-gnu/gcc (Debug) (push) Has been cancelled
Tests / (push) Blocked by required conditions
Tests / WASI (push) Blocked by required conditions
Tests / Hypothesis tests on Ubuntu (push) Blocked by required conditions
Tests / Windows MSI (push) Blocked by required conditions
Tests / Change detection (push) Waiting to run
Tests / Docs (push) Blocked by required conditions
Tests / Check if the ABI has changed (push) Blocked by required conditions
Tests / Check if Autoconf files are up to date (push) Blocked by required conditions
Tests / Check if generated files are up to date (push) Blocked by required conditions
Tests / Ubuntu SSL tests with OpenSSL (push) Blocked by required conditions
Tests / Address sanitizer (push) Blocked by required conditions
Tests / Cross build Linux (push) Blocked by required conditions
Tests / CIFuzz (push) Blocked by required conditions
Tests / All required checks pass (push) Blocked by required conditions
Lint / lint (push) Waiting to run
[3.14] gh-135532: update Modules/_hacl/python_hacl_namespaces.h (GH-135741) (#135745)
gh-135532: update `Modules/_hacl/python_hacl_namespaces.h` (GH-135741)
(cherry picked from commit 57dba7c9a5)

Co-authored-by: Bénédikt Tran <10796600+picnixz@users.noreply.github.com>
2025-06-20 13:00:37 +02:00
..
include/krml [3.14] gh-134069: bump HACL* revision to incoporate memset_s (GH-134027) (#134084) 2025-05-16 10:49:08 +00:00
internal gh-99108: Implement HACL* HMAC (#130157) 2025-04-04 19:04:00 +02:00
Hacl_Hash_Blake2b.c [3.14] gh-134069: bump HACL* revision to incoporate memset_s (GH-134027) (#134084) 2025-05-16 10:49:08 +00:00
Hacl_Hash_Blake2b.h gh-130213: update hacl_star_rev to 322f6d58290e0ed7f4ecb84fcce12917aa0f594b (GH-130960) 2025-03-15 10:42:27 -07:00
Hacl_Hash_Blake2b_Simd256.c [3.14] gh-134069: bump HACL* revision to incoporate memset_s (GH-134027) (#134084) 2025-05-16 10:49:08 +00:00
Hacl_Hash_Blake2b_Simd256.h gh-130213: update hacl_star_rev to 322f6d58290e0ed7f4ecb84fcce12917aa0f594b (GH-130960) 2025-03-15 10:42:27 -07: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 [3.14] gh-134069: bump HACL* revision to incoporate memset_s (GH-134027) (#134084) 2025-05-16 10:49:08 +00:00
Hacl_Hash_Blake2s.h gh-130213: update hacl_star_rev to 322f6d58290e0ed7f4ecb84fcce12917aa0f594b (GH-130960) 2025-03-15 10:42:27 -07:00
Hacl_Hash_Blake2s_Simd128.c [3.14] gh-134069: bump HACL* revision to incoporate memset_s (GH-134027) (#134084) 2025-05-16 10:49:08 +00:00
Hacl_Hash_Blake2s_Simd128.h gh-130213: update hacl_star_rev to 322f6d58290e0ed7f4ecb84fcce12917aa0f594b (GH-130960) 2025-03-15 10:42:27 -07: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 [3.14] gh-134069: bump HACL* revision to incoporate memset_s (GH-134027) (#134084) 2025-05-16 10:49:08 +00:00
Hacl_Hash_MD5.h gh-130213: update hacl_star_rev to 322f6d58290e0ed7f4ecb84fcce12917aa0f594b (GH-130960) 2025-03-15 10:42:27 -07:00
Hacl_Hash_SHA1.c [3.14] gh-134069: bump HACL* revision to incoporate memset_s (GH-134027) (#134084) 2025-05-16 10:49:08 +00:00
Hacl_Hash_SHA1.h gh-130213: update hacl_star_rev to 322f6d58290e0ed7f4ecb84fcce12917aa0f594b (GH-130960) 2025-03-15 10:42:27 -07:00
Hacl_Hash_SHA2.c [3.14] gh-134069: bump HACL* revision to incoporate memset_s (GH-134027) (#134084) 2025-05-16 10:49:08 +00:00
Hacl_Hash_SHA2.h gh-130213: update hacl_star_rev to 322f6d58290e0ed7f4ecb84fcce12917aa0f594b (GH-130960) 2025-03-15 10:42:27 -07:00
Hacl_Hash_SHA3.c [3.14] gh-134069: bump HACL* revision to incoporate memset_s (GH-134027) (#134084) 2025-05-16 10:49:08 +00:00
Hacl_Hash_SHA3.h gh-130213: update hacl_star_rev to 322f6d58290e0ed7f4ecb84fcce12917aa0f594b (GH-130960) 2025-03-15 10:42:27 -07:00
Hacl_HMAC.c gh-99108: Implement HACL* HMAC (#130157) 2025-04-04 19:04:00 +02:00
Hacl_HMAC.h gh-99108: Implement HACL* HMAC (#130157) 2025-04-04 19:04:00 +02:00
Hacl_Streaming_HMAC.c [3.14] gh-134069: bump HACL* revision to incoporate memset_s (GH-134027) (#134084) 2025-05-16 10:49:08 +00:00
Hacl_Streaming_HMAC.h gh-99108: Implement HACL* HMAC (#130157) 2025-04-04 19:04:00 +02:00
Hacl_Streaming_Types.h gh-130213: update hacl_star_rev to 322f6d58290e0ed7f4ecb84fcce12917aa0f594b (GH-130960) 2025-03-15 10:42:27 -07:00
Lib_Memzero0.c [3.14] gh-134069: bump HACL* revision to incoporate memset_s (GH-134027) (#134084) 2025-05-16 10:49:08 +00: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-130213: update hacl_star_rev to 322f6d58290e0ed7f4ecb84fcce12917aa0f594b (GH-130960) 2025-03-15 10:42:27 -07:00
python_hacl_namespaces.h [3.14] gh-135532: update Modules/_hacl/python_hacl_namespaces.h (GH-135741) (#135745) 2025-06-20 13:00:37 +02:00
README.md gh-99108: Implement HACL* HMAC (#130157) 2025-04-04 19:04:00 +02:00
refresh.sh [3.14] gh-134069: bump HACL* revision to incoporate memset_s (GH-134027) (#134084) 2025-05-16 10:49:08 +00: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