File | Mode | Size |
---|---|---|
EverCrypt.c | -rw-r--r-- | 51.6 KB |
EverCrypt.h | -rw-r--r-- | 10.4 KB |
EverCrypt_AEAD.c | -rw-r--r-- | 23.6 KB |
EverCrypt_AEAD.h | -rw-r--r-- | 2.7 KB |
EverCrypt_AutoConfig2.c | -rw-r--r-- | 6.1 KB |
EverCrypt_AutoConfig2.h | -rw-r--r-- | 2.8 KB |
EverCrypt_CTR.c | -rw-r--r-- | 12.4 KB |
EverCrypt_CTR.h | -rw-r--r-- | 3.0 KB |
EverCrypt_Chacha20Poly1305.c | -rw-r--r-- | 2.5 KB |
EverCrypt_Chacha20Poly1305.h | -rw-r--r-- | 2.0 KB |
EverCrypt_Cipher.c | -rw-r--r-- | 1.4 KB |
EverCrypt_Cipher.h | -rw-r--r-- | 1.6 KB |
EverCrypt_Curve25519.c | -rw-r--r-- | 2.3 KB |
EverCrypt_Curve25519.h | -rw-r--r-- | 1.8 KB |
EverCrypt_DRBG.c | -rw-r--r-- | 73.6 KB |
EverCrypt_DRBG.h | -rw-r--r-- | 5.8 KB |
EverCrypt_Ed25519.c | -rw-r--r-- | 1.9 KB |
EverCrypt_Ed25519.h | -rw-r--r-- | 1.9 KB |
EverCrypt_Error.c | -rw-r--r-- | 2.6 KB |
EverCrypt_Error.h | -rw-r--r-- | 2.2 KB |
EverCrypt_HKDF.c | -rw-r--r-- | 9.8 KB |
EverCrypt_HKDF.h | -rw-r--r-- | 3.2 KB |
EverCrypt_HMAC.c | -rw-r--r-- | 10.2 KB |
EverCrypt_HMAC.h | -rw-r--r-- | 2.3 KB |
EverCrypt_Hacl.h | -rw-r--r-- | 2.3 KB |
EverCrypt_Hash.c | -rw-r--r-- | 41.8 KB |
EverCrypt_Hash.h | -rw-r--r-- | 6.4 KB |
EverCrypt_Helpers.h | -rw-r--r-- | 1.8 KB |
EverCrypt_OpenSSL.h | -rw-r--r-- | 4.0 KB |
EverCrypt_Poly1305.c | -rw-r--r-- | 2.8 KB |
EverCrypt_Poly1305.h | -rw-r--r-- | 1.7 KB |
EverCrypt_StaticConfig.c | -rw-r--r-- | 1.3 KB |
EverCrypt_StaticConfig.h | -rw-r--r-- | 1.6 KB |
EverCrypt_Vale.c | -rw-r--r-- | 1.9 KB |
EverCrypt_Vale.h | -rw-r--r-- | 2.7 KB |
Hacl_AES.c | -rw-r--r-- | 119.3 KB |
Hacl_AES.h | -rw-r--r-- | 2.6 KB |
Hacl_AES128.h | -rw-r--r-- | 1.6 KB |
Hacl_Chacha20.c | -rw-r--r-- | 7.6 KB |
Hacl_Chacha20.h | -rw-r--r-- | 2.1 KB |
Hacl_Chacha20Poly1305_128.c | -rw-r--r-- | 54.5 KB |
Hacl_Chacha20Poly1305_128.h | -rw-r--r-- | 1.9 KB |
Hacl_Chacha20Poly1305_256.c | -rw-r--r-- | 54.7 KB |
Hacl_Chacha20Poly1305_256.h | -rw-r--r-- | 1.9 KB |
Hacl_Chacha20Poly1305_32.c | -rw-r--r-- | 17.3 KB |
Hacl_Chacha20Poly1305_32.h | -rw-r--r-- | 1.9 KB |
Hacl_Chacha20_Vec128.c | -rw-r--r-- | 38.4 KB |
Hacl_Chacha20_Vec128.h | -rw-r--r-- | 1.8 KB |
Hacl_Chacha20_Vec256.c | -rw-r--r-- | 45.4 KB |
Hacl_Chacha20_Vec256.h | -rw-r--r-- | 1.8 KB |
Hacl_Chacha20_Vec32.c | -rw-r--r-- | 11.9 KB |
Hacl_Chacha20_Vec32.h | -rw-r--r-- | 1.8 KB |
Hacl_Curve25519_51.c | -rw-r--r-- | 39.7 KB |
Hacl_Curve25519_51.h | -rw-r--r-- | 2.4 KB |
Hacl_Curve25519_64.c | -rw-r--r-- | 13.3 KB |
Hacl_Curve25519_64.h | -rw-r--r-- | 1.8 KB |
Hacl_Curve25519_64_Slow.c | -rw-r--r-- | 31.3 KB |
Hacl_Curve25519_64_Slow.h | -rw-r--r-- | 1.7 KB |
Hacl_Ed25519.c | -rw-r--r-- | 72.6 KB |
Hacl_Ed25519.h | -rw-r--r-- | 1.9 KB |
Hacl_Frodo_KEM.c | -rw-r--r-- | 23.2 KB |
Hacl_Frodo_KEM.h | -rw-r--r-- | 1.8 KB |
Hacl_HKDF.c | -rw-r--r-- | 4.3 KB |
Hacl_HKDF.h | -rw-r--r-- | 1.9 KB |
Hacl_HMAC.c | -rw-r--r-- | 8.8 KB |
Hacl_HMAC.h | -rw-r--r-- | 2.0 KB |
Hacl_HMAC_DRBG.c | -rw-r--r-- | 45.5 KB |
Hacl_HMAC_DRBG.h | -rw-r--r-- | 3.2 KB |
Hacl_Hash.c | -rw-r--r-- | 66.5 KB |
Hacl_Hash.h | -rw-r--r-- | 4.8 KB |
Hacl_Kremlib.c | -rw-r--r-- | 1.5 KB |
Hacl_Kremlib.h | -rw-r--r-- | 2.6 KB |
Hacl_Lib.h | -rw-r--r-- | 1.5 KB |
Hacl_NaCl.c | -rw-r--r-- | 9.6 KB |
Hacl_NaCl.h | -rw-r--r-- | 3.2 KB |
Hacl_Poly1305_128.c | -rw-r--r-- | 73.8 KB |
Hacl_Poly1305_128.h | -rw-r--r-- | 2.3 KB |
Hacl_Poly1305_256.c | -rw-r--r-- | 97.3 KB |
Hacl_Poly1305_256.h | -rw-r--r-- | 2.3 KB |
Hacl_Poly1305_32.c | -rw-r--r-- | 16.3 KB |
Hacl_Poly1305_32.h | -rw-r--r-- | 1.9 KB |
Hacl_SHA3.c | -rw-r--r-- | 9.1 KB |
Hacl_SHA3.h | -rw-r--r-- | 2.8 KB |
Hacl_Salsa20.c | -rw-r--r-- | 13.3 KB |
Hacl_Salsa20.h | -rw-r--r-- | 1.9 KB |
Hacl_Spec.c | -rw-r--r-- | 1.7 KB |
Hacl_Spec.h | -rw-r--r-- | 2.4 KB |
INFO.txt | -rw-r--r-- | 186 bytes |
Lib_Memzero.c | -rw-r--r-- | 614 bytes |
Lib_PrintBuffer.c | -rw-r--r-- | 1.2 KB |
Lib_PrintBuffer.h | -rw-r--r-- | 1.8 KB |
Lib_RandomBuffer_System.c | -rw-r--r-- | 1.4 KB |
Lib_RandomBuffer_System.h | -rw-r--r-- | 1.5 KB |
Makefile | -rw-r--r-- | 4.6 KB |
Makefile.basic | -rw-r--r-- | 1.4 KB |
Makefile.include | -rw-r--r-- | 1.9 KB |
MerkleTree.c | -rw-r--r-- | 60.8 KB |
MerkleTree.h | -rw-r--r-- | 5.7 KB |
TestLib.h | -rw-r--r-- | 2.8 KB |
Vale.c | -rw-r--r-- | 1.2 KB |
Vale.h | -rw-r--r-- | 4.2 KB |
Vale_Inline.h | -rw-r--r-- | 2.1 KB |
aes-i686.asm | -rw-r--r-- | 8.5 KB |
aes-x86_64-darwin.S | -rw-r--r-- | 6.6 KB |
aes-x86_64-linux.S | -rw-r--r-- | 6.6 KB |
aes-x86_64-mingw.S | -rw-r--r-- | 6.6 KB |
aes-x86_64-msvc.asm | -rw-r--r-- | 6.7 KB |
aesgcm-x86_64-darwin.S | -rw-r--r-- | 194.9 KB |
aesgcm-x86_64-linux.S | -rw-r--r-- | 194.9 KB |
aesgcm-x86_64-mingw.S | -rw-r--r-- | 205.8 KB |
aesgcm-x86_64-msvc.asm | -rw-r--r-- | 203.1 KB |
cpuid-x86_64-darwin.S | -rw-r--r-- | 1.4 KB |
cpuid-x86_64-linux.S | -rw-r--r-- | 1.4 KB |
cpuid-x86_64-mingw.S | -rw-r--r-- | 1.4 KB |
cpuid-x86_64-msvc.asm | -rw-r--r-- | 1.4 KB |
curve25519-inline.h | -rw-r--r-- | 23.3 KB |
curve25519-x86_64-darwin.S | -rw-r--r-- | 14.3 KB |
curve25519-x86_64-linux.S | -rw-r--r-- | 14.3 KB |
curve25519-x86_64-mingw.S | -rw-r--r-- | 15.1 KB |
curve25519-x86_64-msvc.asm | -rw-r--r-- | 17.2 KB |
evercrypt_bcrypt.c | -rw-r--r-- | 6.9 KB |
evercrypt_openssl.c | -rw-r--r-- | 10.2 KB |
evercrypt_targetconfig.h | -rw-r--r-- | 650 bytes |
evercrypt_vale_stubs.c | -rw-r--r-- | 2.3 KB |
libevercrypt.def | -rw-r--r-- | 12.9 KB |
libintvector.h | -rw-r--r-- | 11.4 KB |
oldaesgcm-x86_64-darwin.S | -rw-r--r-- | 76.4 KB |
oldaesgcm-x86_64-linux.S | -rw-r--r-- | 76.4 KB |
oldaesgcm-x86_64-mingw.S | -rw-r--r-- | 79.2 KB |
oldaesgcm-x86_64-msvc.asm | -rw-r--r-- | 75.7 KB |
poly1305-x86_64-darwin.S | -rw-r--r-- | 3.1 KB |
poly1305-x86_64-linux.S | -rw-r--r-- | 3.1 KB |
poly1305-x86_64-mingw.S | -rw-r--r-- | 3.2 KB |
poly1305-x86_64-msvc.asm | -rw-r--r-- | 3.2 KB |
sha256-x86_64-darwin.S | -rw-r--r-- | 5.7 KB |
sha256-x86_64-linux.S | -rw-r--r-- | 5.7 KB |
sha256-x86_64-mingw.S | -rw-r--r-- | 7.2 KB |
sha256-x86_64-msvc.asm | -rw-r--r-- | 7.1 KB |