| .clang-format |
|
196 |
- |
| config.h |
|
0 |
- |
| curve25519-inline.h |
|
27078 |
- |
| Hacl_Chacha20.c |
|
6706 |
- |
| Hacl_Chacha20.h |
|
1781 |
- |
| Hacl_Chacha20_Vec128.c |
|
39564 |
- |
| Hacl_Chacha20_Vec128.h |
|
1824 |
- |
| Hacl_Chacha20_Vec256.c |
|
59328 |
- |
| Hacl_Chacha20_Vec256.h |
|
1824 |
- |
| Hacl_Chacha20Poly1305_32.c |
|
19708 |
- |
| Hacl_Chacha20Poly1305_32.h |
Encrypt a message `m` with key `k`.
The arguments `k`, `n`, `aadlen`, and `aad` are same in encryption/decryption.
Note: Encryption and decryption can be executed in-place, i.e., `m` and `cipher` can point to the same memory.
@param k Pointer to 32 bytes of memory where the AEAD key is read from.
@param n Pointer to 12 bytes of memory where the AEAD nonce is read from.
@param aadlen Length of the associated data.
@param aad Pointer to `aadlen` bytes of memory where the associated data is read from.
@param mlen Length of the message.
@param m Pointer to `mlen` bytes of memory where the message is read from.
@param cipher Pointer to `mlen` bytes of memory where the ciphertext is written to.
@param mac Pointer to 16 bytes of memory where the mac is written to.
|
3768 |
- |
| Hacl_Chacha20Poly1305_128.c |
|
57097 |
- |
| Hacl_Chacha20Poly1305_128.h |
Encrypt a message `m` with key `k`.
The arguments `k`, `n`, `aadlen`, and `aad` are same in encryption/decryption.
Note: Encryption and decryption can be executed in-place, i.e., `m` and `cipher` can point to the same memory.
@param k Pointer to 32 bytes of memory where the AEAD key is read from.
@param n Pointer to 12 bytes of memory where the AEAD nonce is read from.
@param aadlen Length of the associated data.
@param aad Pointer to `aadlen` bytes of memory where the associated data is read from.
@param mlen Length of the message.
@param m Pointer to `mlen` bytes of memory where the message is read from.
@param cipher Pointer to `mlen` bytes of memory where the ciphertext is written to.
@param mac Pointer to 16 bytes of memory where the mac is written to.
|
3781 |
- |
| Hacl_Chacha20Poly1305_256.c |
|
57480 |
- |
| Hacl_Chacha20Poly1305_256.h |
Encrypt a message `m` with key `k`.
The arguments `k`, `n`, `aadlen`, and `aad` are same in encryption/decryption.
Note: Encryption and decryption can be executed in-place, i.e., `m` and `cipher` can point to the same memory.
@param k Pointer to 32 bytes of memory where the AEAD key is read from.
@param n Pointer to 12 bytes of memory where the AEAD nonce is read from.
@param aadlen Length of the associated data.
@param aad Pointer to `aadlen` bytes of memory where the associated data is read from.
@param mlen Length of the message.
@param m Pointer to `mlen` bytes of memory where the message is read from.
@param cipher Pointer to `mlen` bytes of memory where the ciphertext is written to.
@param mac Pointer to 16 bytes of memory where the mac is written to.
|
3781 |
- |
| Hacl_Curve25519_51.c |
|
11530 |
- |
| Hacl_Curve25519_51.h |
Compute the scalar multiple of a point.
@param out Pointer to 32 bytes of memory, allocated by the caller, where the resulting point is written to.
@param priv Pointer to 32 bytes of memory where the secret/private key is read from.
@param pub Pointer to 32 bytes of memory where the public point is read from.
|
2773 |
- |
| Hacl_Curve25519_64.c |
|
12284 |
- |
| Hacl_Curve25519_64.h |
Compute the scalar multiple of a point.
@param out Pointer to 32 bytes of memory, allocated by the caller, where the resulting point is written to.
@param priv Pointer to 32 bytes of memory where the secret/private key is read from.
@param pub Pointer to 32 bytes of memory where the public point is read from.
|
2773 |
- |
| Hacl_Ed25519.c |
|
62713 |
- |
| Hacl_Ed25519.h |
Verified C library for EdDSA signing and verification on the edwards25519 curve.
****************************************************************************** |
4425 |
- |
| Hacl_Hash_SHA3.c |
|
24321 |
- |
| Hacl_Hash_SHA3.h |
|
3793 |
- |
| Hacl_IntTypes_Intrinsics.h |
|
2719 |
- |
| Hacl_IntTypes_Intrinsics_128.h |
|
2573 |
- |
| Hacl_Krmllib.h |
|
2146 |
- |
| Hacl_P256.c |
|
59711 |
- |
| Hacl_P256.h |
Verified C library for ECDSA and ECDH functions over the P-256 NIST curve.
This module implements signing and verification, key validation, conversions
between various point representations, and ECDH key agreement.
***************************************************************************** |
8542 |
- |
| Hacl_P384.c |
|
54615 |
- |
| Hacl_P384.h |
Verified C library for ECDSA and ECDH functions over the P-384 NIST curve.
This module implements signing and verification, key validation, conversions
between various point representations, and ECDH key agreement.
***************************************************************************** |
8494 |
- |
| Hacl_P521.c |
|
59334 |
- |
| Hacl_P521.h |
Verified C library for ECDSA and ECDH functions over the P-521 NIST curve.
This module implements signing and verification, key validation, conversions
between various point representations, and ECDH key agreement.
***************************************************************************** |
8520 |
- |
| Hacl_Poly1305_32.c |
|
17496 |
- |
| Hacl_Poly1305_32.h |
|
1994 |
- |
| Hacl_Poly1305_128.c |
|
76534 |
- |
| Hacl_Poly1305_128.h |
|
2134 |
- |
| Hacl_Poly1305_256.c |
|
100575 |
- |
| Hacl_Poly1305_256.h |
|
2134 |
- |
| Hacl_Streaming_Types.h |
|
2663 |
- |
| internal |
|
|
- |
| karamel |
|
|
- |
| lib_intrinsics.h |
GCC versions prior to 5.5 incorrectly optimize certain intrinsics.
See https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81300
CLANG versions prior to 5 crash on certain intrinsics.
See https://bugs.llvm.org/show_bug.cgi?id=24943
|
2747 |
- |
| libintvector.h |
We include config.h here to ensure that the various feature-flags are
properly brought into scope. Users can either run the configure script, or
write a config.h themselves and put it under version control. |
36670 |
- |