Home Explore Help
Sign In
SMusatov
/
ydb
mirror of https://github.com/ydb-platform/ydb.git
1
0
Fork 0
Files
Tree: ddc16f222a
Branches Tags
ydb
/
contrib
/
tools
/
python3
/
Modules
/
_hacl
robot-piglet 3172c3e7f7 Intermediate changes 4 months ago
..
include a55d99a3eb Update Python 3 to 3.12.3 9 months ago
internal a55d99a3eb Update Python 3 to 3.12.3 9 months ago
Hacl_Hash_MD5.c a55d99a3eb Update Python 3 to 3.12.3 9 months ago
Hacl_Hash_MD5.h a55d99a3eb Update Python 3 to 3.12.3 9 months ago
Hacl_Hash_SHA1.c a55d99a3eb Update Python 3 to 3.12.3 9 months ago
Hacl_Hash_SHA1.h a55d99a3eb Update Python 3 to 3.12.3 9 months ago
Hacl_Hash_SHA2.c a55d99a3eb Update Python 3 to 3.12.3 9 months ago
Hacl_Hash_SHA2.h a55d99a3eb Update Python 3 to 3.12.3 9 months ago
Hacl_Hash_SHA3.c a55d99a3eb Update Python 3 to 3.12.3 9 months ago
Hacl_Hash_SHA3.h a55d99a3eb Update Python 3 to 3.12.3 9 months ago
Hacl_Streaming_Types.h 1ac13c847b Library import 16 (#2433) 11 months ago
README.md 3172c3e7f7 Intermediate changes 4 months ago
python_hacl_namespaces.h a55d99a3eb Update Python 3 to 3.12.3 9 months ago

README.md

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

  1. ./include/python_hacl_namespaces.h
  2. ./README.md
  3. ./refresh.sh

ACKS