https://github.com/project-everest/hacl-star
History
Tip revision: ff0352ddbd65d095b555001374d7ef52ad127795 authored by Guido Martínez on 28 July 2020, 15:24:01 UTC
secretbox
Tip revision: ff0352d
File Mode Size
EverCrypt_AEAD.c -rw-r--r-- 47.7 KB
EverCrypt_AEAD.h -rw-r--r-- 6.3 KB
EverCrypt_AutoConfig2.c -rw-r--r-- 9.7 KB
EverCrypt_AutoConfig2.h -rw-r--r-- 6.4 KB
EverCrypt_CTR.c -rw-r--r-- 13.9 KB
EverCrypt_CTR.h -rw-r--r-- 4.4 KB
EverCrypt_Chacha20Poly1305.c -rw-r--r-- 2.7 KB
EverCrypt_Chacha20Poly1305.h -rw-r--r-- 2.2 KB
EverCrypt_Cipher.c -rw-r--r-- 1.5 KB
EverCrypt_Cipher.h -rw-r--r-- 1.7 KB
EverCrypt_Curve25519.c -rw-r--r-- 2.6 KB
EverCrypt_Curve25519.h -rw-r--r-- 2.1 KB
EverCrypt_DRBG.c -rw-r--r-- 75.4 KB
EverCrypt_DRBG.h -rw-r--r-- 9.8 KB
EverCrypt_Ed25519.c -rw-r--r-- 2.3 KB
EverCrypt_Ed25519.h -rw-r--r-- 2.4 KB
EverCrypt_Error.c -rw-r--r-- 3.3 KB
EverCrypt_Error.h -rw-r--r-- 3.0 KB
EverCrypt_HKDF.c -rw-r--r-- 10.8 KB
EverCrypt_HKDF.h -rw-r--r-- 4.4 KB
EverCrypt_HMAC.c -rw-r--r-- 10.4 KB
EverCrypt_HMAC.h -rw-r--r-- 3.0 KB
EverCrypt_Hacl.h -rw-r--r-- 2.9 KB
EverCrypt_Hash.c -rw-r--r-- 50.9 KB
EverCrypt_Hash.h -rw-r--r-- 11.6 KB
EverCrypt_Helpers.h -rw-r--r-- 2.5 KB
EverCrypt_Poly1305.c -rw-r--r-- 2.9 KB
EverCrypt_Poly1305.h -rw-r--r-- 1.8 KB
EverCrypt_StaticConfig.c -rw-r--r-- 1.7 KB
EverCrypt_StaticConfig.h -rw-r--r-- 2.0 KB
EverCrypt_Vale.c -rw-r--r-- 2.7 KB
EverCrypt_Vale.h -rw-r--r-- 4.3 KB
Hacl_AES.c -rw-r--r-- 115.6 KB
Hacl_AES.h -rw-r--r-- 2.6 KB
Hacl_AES128.h -rw-r--r-- 1.8 KB
Hacl_Blake2b_256.c -rw-r--r-- 16.5 KB
Hacl_Blake2b_256.h -rw-r--r-- 1.8 KB
Hacl_Blake2b_32.c -rw-r--r-- 19.4 KB
Hacl_Blake2b_32.h -rw-r--r-- 1.9 KB
Hacl_Blake2s_128.c -rw-r--r-- 16.1 KB
Hacl_Blake2s_128.h -rw-r--r-- 1.8 KB
Hacl_Blake2s_32.c -rw-r--r-- 19.0 KB
Hacl_Blake2s_32.h -rw-r--r-- 1.8 KB
Hacl_Chacha20.c -rw-r--r-- 7.7 KB
Hacl_Chacha20.h -rw-r--r-- 2.7 KB
Hacl_Chacha20Poly1305_128.c -rw-r--r-- 54.5 KB
Hacl_Chacha20Poly1305_128.h -rw-r--r-- 2.1 KB
Hacl_Chacha20Poly1305_256.c -rw-r--r-- 54.8 KB
Hacl_Chacha20Poly1305_256.h -rw-r--r-- 2.1 KB
Hacl_Chacha20Poly1305_32.c -rw-r--r-- 17.7 KB
Hacl_Chacha20Poly1305_32.h -rw-r--r-- 2.1 KB
Hacl_Chacha20_Vec128.c -rw-r--r-- 36.2 KB
Hacl_Chacha20_Vec128.h -rw-r--r-- 2.0 KB
Hacl_Chacha20_Vec256.c -rw-r--r-- 43.2 KB
Hacl_Chacha20_Vec256.h -rw-r--r-- 2.0 KB
Hacl_Chacha20_Vec32.c -rw-r--r-- 10.4 KB
Hacl_Chacha20_Vec32.h -rw-r--r-- 2.0 KB
Hacl_Curve25519_51.c -rw-r--r-- 40.0 KB
Hacl_Curve25519_51.h -rw-r--r-- 3.4 KB
Hacl_Curve25519_64.c -rw-r--r-- 11.9 KB
Hacl_Curve25519_64.h -rw-r--r-- 2.1 KB
Hacl_Curve25519_64_Slow.c -rw-r--r-- 28.4 KB
Hacl_Curve25519_64_Slow.h -rw-r--r-- 2.0 KB
Hacl_Ed25519.c -rw-r--r-- 71.4 KB
Hacl_Ed25519.h -rw-r--r-- 2.3 KB
Hacl_Frodo_KEM.c -rw-r--r-- 22.7 KB
Hacl_Frodo_KEM.h -rw-r--r-- 2.1 KB
Hacl_HKDF.c -rw-r--r-- 4.6 KB
Hacl_HKDF.h -rw-r--r-- 2.3 KB
Hacl_HMAC.c -rw-r--r-- 8.8 KB
Hacl_HMAC.h -rw-r--r-- 2.3 KB
Hacl_HMAC_DRBG.c -rw-r--r-- 45.8 KB
Hacl_HMAC_DRBG.h -rw-r--r-- 4.9 KB
Hacl_HPKE_Curve51_CP128_SHA256.c -rw-r--r-- 9.9 KB
Hacl_HPKE_Curve51_CP128_SHA256.h -rw-r--r-- 2.8 KB
Hacl_HPKE_Curve51_CP128_SHA512.c -rw-r--r-- 9.9 KB
Hacl_HPKE_Curve51_CP128_SHA512.h -rw-r--r-- 2.8 KB
Hacl_HPKE_Curve51_CP256_SHA256.c -rw-r--r-- 9.9 KB
Hacl_HPKE_Curve51_CP256_SHA256.h -rw-r--r-- 2.8 KB
Hacl_HPKE_Curve51_CP256_SHA512.c -rw-r--r-- 9.9 KB
Hacl_HPKE_Curve51_CP256_SHA512.h -rw-r--r-- 2.8 KB
Hacl_HPKE_Curve51_CP32_SHA256.c -rw-r--r-- 9.9 KB
Hacl_HPKE_Curve51_CP32_SHA256.h -rw-r--r-- 2.8 KB
Hacl_HPKE_Curve51_CP32_SHA512.c -rw-r--r-- 9.9 KB
Hacl_HPKE_Curve51_CP32_SHA512.h -rw-r--r-- 2.8 KB
Hacl_HPKE_Curve64_CP128_SHA256.c -rw-r--r-- 9.9 KB
Hacl_HPKE_Curve64_CP128_SHA256.h -rw-r--r-- 2.8 KB
Hacl_HPKE_Curve64_CP128_SHA512.c -rw-r--r-- 9.9 KB
Hacl_HPKE_Curve64_CP128_SHA512.h -rw-r--r-- 2.8 KB
Hacl_HPKE_Curve64_CP256_SHA256.c -rw-r--r-- 9.9 KB
Hacl_HPKE_Curve64_CP256_SHA256.h -rw-r--r-- 2.8 KB
Hacl_HPKE_Curve64_CP256_SHA512.c -rw-r--r-- 9.9 KB
Hacl_HPKE_Curve64_CP256_SHA512.h -rw-r--r-- 2.8 KB
Hacl_HPKE_Curve64_CP32_SHA256.c -rw-r--r-- 9.9 KB
Hacl_HPKE_Curve64_CP32_SHA256.h -rw-r--r-- 2.8 KB
Hacl_HPKE_Curve64_CP32_SHA512.c -rw-r--r-- 9.9 KB
Hacl_HPKE_Curve64_CP32_SHA512.h -rw-r--r-- 2.8 KB
Hacl_HPKE_P256_CP128_SHA256.c -rw-r--r-- 12.7 KB
Hacl_HPKE_P256_CP128_SHA256.h -rw-r--r-- 2.7 KB
Hacl_HPKE_P256_CP256_SHA256.c -rw-r--r-- 12.7 KB
Hacl_HPKE_P256_CP256_SHA256.h -rw-r--r-- 2.7 KB
Hacl_HPKE_P256_CP32_SHA256.c -rw-r--r-- 12.7 KB
Hacl_HPKE_P256_CP32_SHA256.h -rw-r--r-- 2.7 KB
Hacl_Hash.c -rw-r--r-- 72.1 KB
Hacl_Hash.h -rw-r--r-- 9.6 KB
Hacl_Impl_Blake2_Constants.h -rw-r--r-- 5.3 KB
Hacl_IntTypes_Intrinsics.h -rw-r--r-- 2.4 KB
Hacl_Kremlib.c -rw-r--r-- 1.6 KB
Hacl_Kremlib.h -rw-r--r-- 3.9 KB
Hacl_Lib.h -rw-r--r-- 1.7 KB
Hacl_NaCl.c -rw-r--r-- 11.2 KB
Hacl_NaCl.h -rw-r--r-- 4.6 KB
Hacl_P256.c -rw-r--r-- 99.8 KB
Hacl_P256.h -rw-r--r-- 10.7 KB
Hacl_Poly1305_128.c -rw-r--r-- 75.9 KB
Hacl_Poly1305_128.h -rw-r--r-- 3.3 KB
Hacl_Poly1305_256.c -rw-r--r-- 99.4 KB
Hacl_Poly1305_256.h -rw-r--r-- 3.3 KB
Hacl_Poly1305_32.c -rw-r--r-- 17.7 KB
Hacl_Poly1305_32.h -rw-r--r-- 2.6 KB
Hacl_SHA3.c -rw-r--r-- 10.3 KB
Hacl_SHA3.h -rw-r--r-- 4.3 KB
Hacl_Salsa20.c -rw-r--r-- 12.9 KB
Hacl_Salsa20.h -rw-r--r-- 2.2 KB
Hacl_Spec.c -rw-r--r-- 1.8 KB
Hacl_Spec.h -rw-r--r-- 3.4 KB
Hacl_Streaming_Poly1305_32.c -rw-r--r-- 8.1 KB
Hacl_Streaming_Poly1305_32.h -rw-r--r-- 2.8 KB
Hacl_Streaming_SHA2_256.c -rw-r--r-- 7.2 KB
Hacl_Streaming_SHA2_256.h -rw-r--r-- 2.7 KB
INFO.txt -rw-r--r-- 186 bytes
Lib_Memzero.c -rw-r--r-- 282 bytes
Lib_Memzero0.c -rw-r--r-- 1.6 KB
Lib_Memzero0.h -rw-r--r-- 1.6 KB
Lib_PrintBuffer.c -rw-r--r-- 1.3 KB
Lib_PrintBuffer.h -rw-r--r-- 2.2 KB
Lib_RandomBuffer_System.c -rw-r--r-- 1.3 KB
Lib_RandomBuffer_System.h -rw-r--r-- 1.6 KB
Makefile -rw-r--r-- 6.4 KB
Makefile.basic -rw-r--r-- 1.5 KB
Makefile.include -rw-r--r-- 3.1 KB
MerkleTree.c -rw-r--r-- 83.6 KB
MerkleTree.h -rw-r--r-- 23.7 KB
TestLib.h -rw-r--r-- 4.3 KB
Vale.c -rw-r--r-- 1.3 KB
Vale.h -rw-r--r-- 6.4 KB
Vale_Inline.h -rw-r--r-- 2.6 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.8 KB
cpuid-x86_64-linux.S -rw-r--r-- 1.8 KB
cpuid-x86_64-mingw.S -rw-r--r-- 1.8 KB
cpuid-x86_64-msvc.asm -rw-r--r-- 1.7 KB
curve25519-inline.h -rw-r--r-- 26.3 KB
curve25519-x86_64-darwin.S -rw-r--r-- 18.4 KB
curve25519-x86_64-linux.S -rw-r--r-- 18.4 KB
curve25519-x86_64-mingw.S -rw-r--r-- 19.2 KB
curve25519-x86_64-msvc.asm -rw-r--r-- 21.3 KB
evercrypt_targetconfig.h -rw-r--r-- 739 bytes
evercrypt_vale_stubs.c -rw-r--r-- 2.3 KB
lib_intrinsics.h -rw-r--r-- 1.2 KB
libevercrypt.def -rw-r--r-- 16.8 KB
libintvector.h -rw-r--r-- 22.2 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

back to top