evercrypt_tiny-sys 0.1.1

A tiny build of EverCrypt's c89-distribution with autogenerated bindings
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131

// An umbrella header for dist-v0.4.5

#include "Hacl_Hash_Blake2.h"
#include "Hacl_Frodo_KEM.h"
#include "EverCrypt_Chacha20Poly1305.h"
#include "Hacl_SHA2_Vec128.h"
#include "Hacl_Curve25519_51.h"
#include "curve25519-inline.h"
#include "Hacl_HPKE_Curve64_CP128_SHA512.h"
#include "Hacl_Bignum256.h"
#include "Lib_Memzero0.h"
#include "Hacl_Hash_SHA2.h"
#include "Hacl_Poly1305_128.h"
#include "Hacl_HMAC_Blake2b_256.h"
#include "Hacl_Chacha20Poly1305_128.h"
#include "Hacl_Bignum4096_32.h"
#include "Hacl_Streaming_Blake2s_128.h"
#include "EverCrypt_Poly1305.h"
#include "EverCrypt_HKDF.h"
//#include "TestLib.h"
#include "Hacl_Frodo640.h"
#include "Hacl_HMAC_DRBG.h"
#include "Hacl_HPKE_P256_CP32_SHA256.h"
#include "Hacl_HPKE_Curve64_CP128_SHA256.h"
#include "Hacl_Bignum64.h"
#include "Hacl_Streaming_SHA1.h"
#include "Hacl_HMAC_Blake2s_128.h"
#include "Hacl_Chacha20_Vec128.h"
#include "Hacl_Curve25519_64.h"
#include "Hacl_Streaming_MD5.h"
#include "Hacl_Streaming_Blake2b_256.h"
//#include "config.h"
#include "Hacl_GenericField32.h"
#include "Hacl_Bignum256_32.h"
#include "EverCrypt_Hacl.h"
#include "Hacl_Streaming_Poly1305_128.h"
#include "Hacl_HPKE_Curve64_CP32_SHA256.h"
#include "Hacl_Hash_SHA1.h"
#include "Hacl_Salsa20.h"
#include "Hacl_HMAC.h"
#include "Hacl_HPKE_Curve64_CP256_SHA512.h"
#include "Hacl_SHA2_Generic.h"
#include "Hacl_Spec.h"
#include "Hacl_Chacha20Poly1305_32.h"
#include "Hacl_Bignum4096.h"
#include "Hacl_Poly1305_32.h"
//#include "internal/Hacl_Hash_Blake2.h"
//#include "internal/Hacl_Frodo_KEM.h"
//#include "internal/Hacl_Curve25519_51.h"
//#include "internal/Hacl_Hash_SHA2.h"
//#include "internal/Hacl_Poly1305_128.h"
//#include "internal/Vale.h"
//#include "internal/Hacl_Bignum.h"
//#include "internal/Hacl_Hash_SHA1.h"
//#include "internal/Hacl_HMAC.h"
//#include "internal/Hacl_Spec.h"
//#include "internal/Hacl_Hash_MD5.h"
//#include "internal/Hacl_Ed25519.h"
//#include "internal/Hacl_Chacha20.h"
//#include "internal/Hacl_P256.h"
//#include "internal/Hacl_Hash_Blake2s_128.h"
//#include "internal/Hacl_Hash_Blake2b_256.h"
//#include "internal/Hacl_Poly1305_256.h"
//#include "internal/Hacl_SHA2_Vec256.h"
#include "Hacl_HPKE_Curve64_CP32_SHA512.h"
#include "Hacl_Streaming_SHA2.h"
#include "EverCrypt_Vale.h"
#include "Hacl_HPKE_Curve64_CP256_SHA256.h"
#include "Hacl_Kremlib.h"
#include "Hacl_Hash_MD5.h"
#include "EverCrypt_AutoConfig2.h"
#include "Lib_PrintBuffer.h"
#include "Hacl_Hash_Base.h"
#include "Hacl_Impl_Blake2_Constants.h"
#include "Hacl_Ed25519.h"
#include "Hacl_FFDHE.h"
#include "EverCrypt_Curve25519.h"
#include "Hacl_EC_Ed25519.h"
#include "Hacl_HPKE_Curve51_CP256_SHA512.h"
#include "EverCrypt_Ed25519.h"
#include "Hacl_Frodo976.h"
#include "Hacl_GenericField64.h"
#include "Hacl_IntTypes_Intrinsics_128.h"
#include "Hacl_HKDF.h"
#include "Hacl_SHA3.h"
#include "libintvector.h"
#include "Hacl_Chacha20.h"
#include "Hacl_IntTypes_Intrinsics.h"
#include "Hacl_Bignum25519_51.h"
#include "Hacl_Bignum32.h"
#include "Lib_RandomBuffer_System.h"
#include "Hacl_P256.h"
#include "Hacl_HPKE_Curve51_CP256_SHA256.h"
#include "Hacl_Curve25519_64_Slow.h"
#include "EverCrypt_StaticConfig.h"
#include "Hacl_Frodo1344.h"
#include "Hacl_Bignum_Base.h"
#include "EverCrypt_Hash.h"
#include "Hacl_Streaming_Poly1305_256.h"
#include "Hacl_Streaming_Blake2.h"
#include "Hacl_HPKE_P256_CP128_SHA256.h"
#include "Hacl_HPKE_Curve51_CP128_SHA512.h"
#include "EverCrypt_HMAC.h"
#include "Hacl_Chacha20_Vec256.h"
#include "Hacl_HKDF_Blake2b_256.h"
#include "Hacl_Hash_Blake2s_128.h"
#include "Hacl_HPKE_Curve51_CP32_SHA512.h"
#include "EverCrypt_CTR.h"
#include "lib_intrinsics.h"
#include "EverCrypt_Helpers.h"
#include "Hacl_HPKE_Curve51_CP128_SHA256.h"
#include "evercrypt_targetconfig.h"
#include "Hacl_Frodo64.h"
#include "EverCrypt_DRBG.h"
#include "Hacl_NaCl.h"
#include "Hacl_AES128.h"
#include "EverCrypt_Cipher.h"
#include "Hacl_Hash_Blake2b_256.h"
#include "Hacl_Streaming_Poly1305_32.h"
#include "Hacl_RSAPSS.h"
#include "Hacl_Poly1305_256.h"
#include "Hacl_HPKE_Curve51_CP32_SHA256.h"
#include "Hacl_HKDF_Blake2s_128.h"
#include "EverCrypt_AEAD.h"
#include "Hacl_Chacha20Poly1305_256.h"
#include "Hacl_Impl_FFDHE_Constants.h"
#include "Hacl_HPKE_P256_CP256_SHA256.h"
#include "Hacl_Chacha20_Vec32.h"
#include "EverCrypt_Error.h"
#include "Hacl_SHA2_Vec256.h"
#include "Hacl_SHA2_Scalar32.h"