Revision 0d9153dc34ee2dcf0821e3f21e825fc5bb8895b4 authored by Santiago Zanella-Beguelin on 11 December 2019, 17:46:08 UTC, committed by Santiago Zanella-Beguelin on 12 December 2019, 10:33:01 UTC
1 parent 7405f78
File | Mode | Size |
---|---|---|
EverCrypt.c | -rw-r--r-- | 54.5 KB |
EverCrypt.h | -rw-r--r-- | 10.4 KB |
EverCrypt_AEAD.c | -rw-r--r-- | 26.7 KB |
EverCrypt_AEAD.h | -rw-r--r-- | 2.7 KB |
EverCrypt_AutoConfig2.c | -rw-r--r-- | 6.6 KB |
EverCrypt_AutoConfig2.h | -rw-r--r-- | 2.8 KB |
EverCrypt_CTR.c | -rw-r--r-- | 13.1 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-- | 101.2 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-- | 10.6 KB |
EverCrypt_HKDF.h | -rw-r--r-- | 3.2 KB |
EverCrypt_HMAC.c | -rw-r--r-- | 13.1 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-- | 43.7 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-- | 3.0 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.4 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-- | 8.0 KB |
Hacl_Chacha20.h | -rw-r--r-- | 2.1 KB |
Hacl_Chacha20Poly1305_128.c | -rw-r--r-- | 64.2 KB |
Hacl_Chacha20Poly1305_128.h | -rw-r--r-- | 1.9 KB |
Hacl_Chacha20Poly1305_256.c | -rw-r--r-- | 64.5 KB |
Hacl_Chacha20Poly1305_256.h | -rw-r--r-- | 1.9 KB |
Hacl_Chacha20Poly1305_32.c | -rw-r--r-- | 20.7 KB |
Hacl_Chacha20Poly1305_32.h | -rw-r--r-- | 1.9 KB |
Hacl_Chacha20_Vec128.c | -rw-r--r-- | 44.3 KB |
Hacl_Chacha20_Vec128.h | -rw-r--r-- | 1.8 KB |
Hacl_Chacha20_Vec256.c | -rw-r--r-- | 52.4 KB |
Hacl_Chacha20_Vec256.h | -rw-r--r-- | 1.8 KB |
Hacl_Chacha20_Vec32.c | -rw-r--r-- | 13.7 KB |
Hacl_Chacha20_Vec32.h | -rw-r--r-- | 1.8 KB |
Hacl_Curve25519_51.c | -rw-r--r-- | 40.3 KB |
Hacl_Curve25519_51.h | -rw-r--r-- | 2.4 KB |
Hacl_Curve25519_64.c | -rw-r--r-- | 13.8 KB |
Hacl_Curve25519_64.h | -rw-r--r-- | 1.8 KB |
Hacl_Curve25519_64_Slow.c | -rw-r--r-- | 33.1 KB |
Hacl_Curve25519_64_Slow.h | -rw-r--r-- | 1.7 KB |
Hacl_Ed25519.c | -rw-r--r-- | 73.9 KB |
Hacl_Ed25519.h | -rw-r--r-- | 1.9 KB |
Hacl_Frodo_KEM.c | -rw-r--r-- | 26.6 KB |
Hacl_Frodo_KEM.h | -rw-r--r-- | 1.8 KB |
Hacl_HKDF.c | -rw-r--r-- | 4.7 KB |
Hacl_HKDF.h | -rw-r--r-- | 1.9 KB |
Hacl_HMAC.c | -rw-r--r-- | 11.7 KB |
Hacl_HMAC.h | -rw-r--r-- | 2.0 KB |
Hacl_HMAC_DRBG.c | -rw-r--r-- | 55.6 KB |
Hacl_HMAC_DRBG.h | -rw-r--r-- | 3.2 KB |
Hacl_Hash.c | -rw-r--r-- | 72.6 KB |
Hacl_Hash.h | -rw-r--r-- | 4.8 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-- | 10.2 KB |
Hacl_NaCl.h | -rw-r--r-- | 3.2 KB |
Hacl_Poly1305_128.c | -rw-r--r-- | 81.4 KB |
Hacl_Poly1305_128.h | -rw-r--r-- | 2.3 KB |
Hacl_Poly1305_256.c | -rw-r--r-- | 105.5 KB |
Hacl_Poly1305_256.h | -rw-r--r-- | 2.3 KB |
Hacl_Poly1305_32.c | -rw-r--r-- | 18.7 KB |
Hacl_Poly1305_32.h | -rw-r--r-- | 1.9 KB |
Hacl_SHA3.c | -rw-r--r-- | 9.6 KB |
Hacl_SHA3.h | -rw-r--r-- | 2.8 KB |
Hacl_Salsa20.c | -rw-r--r-- | 15.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 |
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.3 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 |
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...