Visitar URL original
gh-99108: Initial import of HACL-SHA3 into Python by msprotz · Pull Request #103597 · python/cpython · GitHub
Skip to content

gh-99108: Initial import of HACL-SHA3 into Python #103597

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
gpshead merged 15 commits into from
May 8, 2023
Merged

gh-99108: Initial import of HACL-SHA3 into Python #103597

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
e2b15cc
Initial import of HACL-SHA3 into Python
msprotz Apr 17, 2023
4d5e5c8
News entry
msprotz Apr 17, 2023
20bce97
Namespacing
msprotz Apr 17, 2023
be1a46b
Missing file
msprotz Apr 17, 2023
21453b8
Missing file
msprotz Apr 17, 2023
fe87970
make regen after I fixed up a comment
msprotz Apr 17, 2023
48df880
Fix C analyzer
msprotz Apr 17, 2023
9f5b5a6
Remove one superfluous file following upstream fix
msprotz Apr 18, 2023
95f4c40
Refresh from upstream
msprotz May 3, 2023
b15b524
ReSTify the NEWS entry.
gpshead May 5, 2023
b473f8c
Merge remote-tracking branch 'upstream/main' into protz_sha3
msprotz May 5, 2023
48cf363
consistent code style tweak
gpshead May 6, 2023
4b58915
Forgot to release local buffer
msprotz May 6, 2023
43f4ba7
Merge branch 'protz_sha3' of pro.github.com:msprotz/cpython into prot…
msprotz May 6, 2023
9a0613e
Reorder files in VCBuild
msprotz May 6, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Remove one superfluous file following upstream fix
  • Loading branch information
@msprotz
msprotz committed Apr 18, 2023
commit 9f5b5a6a5b2b15adef2d7e6efc8293092546de2b
2 changes: 1 addition & 1 deletion Modules/_hacl/Hacl_Hash_SHA3.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -35,7 +35,7 @@ extern "C" {
#include "krml/lowstar_endianness.h"
#include "krml/internal/target.h"

#include "Hacl_Spec.h"
#include "Hacl_Streaming_Types.h"

typedef struct Hacl_Streaming_Keccak_hash_buf_s
{
Expand Down
78 changes: 0 additions & 78 deletions Modules/_hacl/Hacl_Spec.h
View file
Open in desktop

This file was deleted.

17 changes: 17 additions & 0 deletions Modules/_hacl/Hacl_Streaming_Types.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -35,6 +35,23 @@ extern "C" {
#include "krml/lowstar_endianness.h"
#include "krml/internal/target.h"

#define Spec_Hash_Definitions_SHA2_224 0
#define Spec_Hash_Definitions_SHA2_256 1
#define Spec_Hash_Definitions_SHA2_384 2
#define Spec_Hash_Definitions_SHA2_512 3
#define Spec_Hash_Definitions_SHA1 4
#define Spec_Hash_Definitions_MD5 5
#define Spec_Hash_Definitions_Blake2S 6
#define Spec_Hash_Definitions_Blake2B 7
#define Spec_Hash_Definitions_SHA3_256 8
#define Spec_Hash_Definitions_SHA3_224 9
#define Spec_Hash_Definitions_SHA3_384 10
#define Spec_Hash_Definitions_SHA3_512 11
#define Spec_Hash_Definitions_Shake128 12
#define Spec_Hash_Definitions_Shake256 13

typedef uint8_t Spec_Hash_Definitions_hash_alg;

typedef struct Hacl_Streaming_MD_state_32_s
{
uint32_t *block_state;
Expand Down
3 changes: 1 addition & 2 deletions Modules/_hacl/refresh.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@ fi

# Update this when updating to a new version after verifying that the changes
# the update brings in are good.
expected_hacl_star_rev=ba6a4928d810f4ed9e24040c55d019d0808104a7
expected_hacl_star_rev=a41202dc7378b6e41c609d6b2f8f8b8e10581827

hacl_dir="$(realpath "$1")"
cd "$(dirname "$0")"
Expand All @@ -40,7 +40,6 @@ fi

declare -a dist_files
dist_files=(
Hacl_Spec.h
Hacl_Streaming_SHA2.h
Hacl_Streaming_Types.h
Hacl_Hash_SHA1.h
Expand Down