Skip to content

Commit 81b42f2

Browse files
committed
Refresh HACL*; update modules accordingly; fix namespacing
1 parent 23e4f80 commit 81b42f2

21 files changed

+1567
-1813
lines changed

Modules/_hacl/Hacl_Hash_MD5.c

+323-365
Large diffs are not rendered by default.

Modules/_hacl/Hacl_Hash_MD5.h

+9-8
Original file line numberDiff line numberDiff line change
@@ -31,31 +31,32 @@ extern "C" {
3131
#endif
3232

3333
#include <string.h>
34+
#include "python_hacl_namespaces.h"
3435
#include "krml/types.h"
3536
#include "krml/lowstar_endianness.h"
3637
#include "krml/internal/target.h"
3738

3839
#include "Hacl_Streaming_Types.h"
3940

40-
typedef Hacl_Streaming_MD_state_32 Hacl_Streaming_MD5_state;
41+
typedef Hacl_Streaming_MD_state_32 Hacl_Hash_MD5_state_t;
4142

42-
Hacl_Streaming_MD_state_32 *Hacl_Streaming_MD5_legacy_create_in(void);
43+
Hacl_Streaming_MD_state_32 *Hacl_Hash_MD5_malloc(void);
4344

44-
void Hacl_Streaming_MD5_legacy_init(Hacl_Streaming_MD_state_32 *s);
45+
void Hacl_Hash_MD5_reset(Hacl_Streaming_MD_state_32 *state);
4546

4647
/**
4748
0 = success, 1 = max length exceeded
4849
*/
4950
Hacl_Streaming_Types_error_code
50-
Hacl_Streaming_MD5_legacy_update(Hacl_Streaming_MD_state_32 *p, uint8_t *data, uint32_t len);
51+
Hacl_Hash_MD5_update(Hacl_Streaming_MD_state_32 *state, uint8_t *chunk, uint32_t chunk_len);
5152

52-
void Hacl_Streaming_MD5_legacy_finish(Hacl_Streaming_MD_state_32 *p, uint8_t *dst);
53+
void Hacl_Hash_MD5_digest(Hacl_Streaming_MD_state_32 *state, uint8_t *output);
5354

54-
void Hacl_Streaming_MD5_legacy_free(Hacl_Streaming_MD_state_32 *s);
55+
void Hacl_Hash_MD5_free(Hacl_Streaming_MD_state_32 *state);
5556

56-
Hacl_Streaming_MD_state_32 *Hacl_Streaming_MD5_legacy_copy(Hacl_Streaming_MD_state_32 *s0);
57+
Hacl_Streaming_MD_state_32 *Hacl_Hash_MD5_copy(Hacl_Streaming_MD_state_32 *state);
5758

58-
void Hacl_Streaming_MD5_legacy_hash(uint8_t *input, uint32_t input_len, uint8_t *dst);
59+
void Hacl_Hash_MD5_hash(uint8_t *output, uint8_t *input, uint32_t input_len);
5960

6061
#if defined(__cplusplus)
6162
}

0 commit comments

Comments
 (0)