Skip to main content

Browse the archive

https://github.com/project-everest/hacl-star
01 October 2021, 10:10:28 UTC
History
Tip revision: 493d130bb523940efde89a74951e7a449fec93b0 authored by Aymeric Fromherz on 24 March 2020, 14:39:08 UTC
Merge branch 'master' into afromher_hpke
Tip revision: 493d130
File Mode Size
lib
lib_gen
EverCrypt.c -rw-r--r-- 50.7 KB
EverCrypt.h -rw-r--r-- 10.4 KB
EverCrypt_AEAD.c -rw-r--r-- 22.9 KB
EverCrypt_AEAD.h -rw-r--r-- 2.6 KB
EverCrypt_AutoConfig2.c -rw-r--r-- 4.9 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.2 KB
EverCrypt_Curve25519.h -rw-r--r-- 1.8 KB
EverCrypt_DRBG.c -rw-r--r-- 72.1 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.7 KB
EverCrypt_HKDF.h -rw-r--r-- 3.2 KB
EverCrypt_HMAC.c -rw-r--r-- 9.8 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.4 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-- 114.6 KB
Hacl_AES.h -rw-r--r-- 2.6 KB
Hacl_AES128.h -rw-r--r-- 1.6 KB
Hacl_Blake2b_256.c -rw-r--r-- 19.0 KB
Hacl_Blake2b_256.h -rw-r--r-- 1.6 KB
Hacl_Blake2b_32.c -rw-r--r-- 20.8 KB
Hacl_Blake2b_32.h -rw-r--r-- 1.7 KB
Hacl_Blake2s_128.c -rw-r--r-- 18.5 KB
Hacl_Blake2s_128.h -rw-r--r-- 1.6 KB
Hacl_Blake2s_32.c -rw-r--r-- 20.3 KB
Hacl_Blake2s_32.h -rw-r--r-- 1.6 KB
Hacl_Chacha20.c -rw-r--r-- 6.6 KB
Hacl_Chacha20.h -rw-r--r-- 2.1 KB
Hacl_Chacha20Poly1305_128.c -rw-r--r-- 54.1 KB
Hacl_Chacha20Poly1305_128.h -rw-r--r-- 1.9 KB
Hacl_Chacha20Poly1305_256.c -rw-r--r-- 54.5 KB
Hacl_Chacha20Poly1305_256.h -rw-r--r-- 1.9 KB
Hacl_Chacha20Poly1305_32.c -rw-r--r-- 17.4 KB
Hacl_Chacha20Poly1305_32.h -rw-r--r-- 1.9 KB
Hacl_Chacha20_Vec128.c -rw-r--r-- 35.7 KB
Hacl_Chacha20_Vec128.h -rw-r--r-- 1.8 KB
Hacl_Chacha20_Vec256.c -rw-r--r-- 42.8 KB
Hacl_Chacha20_Vec256.h -rw-r--r-- 1.8 KB
Hacl_Chacha20_Vec32.c -rw-r--r-- 10.0 KB
Hacl_Chacha20_Vec32.h -rw-r--r-- 1.8 KB
Hacl_Curve25519_51.c -rw-r--r-- 38.4 KB
Hacl_Curve25519_51.h -rw-r--r-- 2.4 KB
Hacl_Curve25519_64.c -rw-r--r-- 10.6 KB
Hacl_Curve25519_64.h -rw-r--r-- 1.8 KB
Hacl_Curve25519_64_Slow.c -rw-r--r-- 25.7 KB
Hacl_Curve25519_64_Slow.h -rw-r--r-- 1.7 KB
Hacl_ECDSA.c -rw-r--r-- 58.1 KB
Hacl_ECDSA.h -rw-r--r-- 1.9 KB
Hacl_Ed25519.c -rw-r--r-- 67.5 KB
Hacl_Ed25519.h -rw-r--r-- 1.9 KB
Hacl_Frodo_KEM.c -rw-r--r-- 20.7 KB
Hacl_Frodo_KEM.h -rw-r--r-- 1.8 KB
Hacl_HKDF.c -rw-r--r-- 4.2 KB
Hacl_HKDF.h -rw-r--r-- 1.9 KB
Hacl_HMAC.c -rw-r--r-- 8.4 KB
Hacl_HMAC.h -rw-r--r-- 2.0 KB
Hacl_HMAC_DRBG.c -rw-r--r-- 44.6 KB
Hacl_HMAC_DRBG.h -rw-r--r-- 3.2 KB
Hacl_HPKE_Curve51_CP128_SHA256.c -rw-r--r-- 9.7 KB
Hacl_HPKE_Curve51_CP128_SHA256.h -rw-r--r-- 2.3 KB
Hacl_HPKE_Curve51_CP128_SHA512.c -rw-r--r-- 9.7 KB
Hacl_HPKE_Curve51_CP128_SHA512.h -rw-r--r-- 2.3 KB
Hacl_HPKE_Curve51_CP256_SHA256.c -rw-r--r-- 9.7 KB
Hacl_HPKE_Curve51_CP256_SHA256.h -rw-r--r-- 2.3 KB
Hacl_HPKE_Curve51_CP256_SHA512.c -rw-r--r-- 9.7 KB
Hacl_HPKE_Curve51_CP256_SHA512.h -rw-r--r-- 2.3 KB
Hacl_HPKE_Curve51_CP32_SHA256.c -rw-r--r-- 9.7 KB
Hacl_HPKE_Curve51_CP32_SHA256.h -rw-r--r-- 2.3 KB
Hacl_HPKE_Curve51_CP32_SHA512.c -rw-r--r-- 9.7 KB
Hacl_HPKE_Curve51_CP32_SHA512.h -rw-r--r-- 2.3 KB
Hacl_HPKE_Curve64_CP128_SHA256.c -rw-r--r-- 9.7 KB
Hacl_HPKE_Curve64_CP128_SHA256.h -rw-r--r-- 2.3 KB
Hacl_HPKE_Curve64_CP128_SHA512.c -rw-r--r-- 9.7 KB
Hacl_HPKE_Curve64_CP128_SHA512.h -rw-r--r-- 2.3 KB
Hacl_HPKE_Curve64_CP256_SHA256.c -rw-r--r-- 9.7 KB
Hacl_HPKE_Curve64_CP256_SHA256.h -rw-r--r-- 2.3 KB
Hacl_HPKE_Curve64_CP256_SHA512.c -rw-r--r-- 9.7 KB
Hacl_HPKE_Curve64_CP256_SHA512.h -rw-r--r-- 2.3 KB
Hacl_HPKE_Curve64_CP32_SHA256.c -rw-r--r-- 9.7 KB
Hacl_HPKE_Curve64_CP32_SHA256.h -rw-r--r-- 2.3 KB
Hacl_HPKE_Curve64_CP32_SHA512.c -rw-r--r-- 9.7 KB
Hacl_HPKE_Curve64_CP32_SHA512.h -rw-r--r-- 2.3 KB
Hacl_HPKE_P256_CP128_SHA256.c -rw-r--r-- 9.4 KB
Hacl_HPKE_P256_CP128_SHA256.h -rw-r--r-- 2.2 KB
Hacl_HPKE_P256_CP256_SHA256.c -rw-r--r-- 9.4 KB
Hacl_HPKE_P256_CP256_SHA256.h -rw-r--r-- 2.2 KB
Hacl_HPKE_P256_CP32_SHA256.c -rw-r--r-- 9.4 KB
Hacl_HPKE_P256_CP32_SHA256.h -rw-r--r-- 2.2 KB
Hacl_Hash.c -rw-r--r-- 64.4 KB
Hacl_Hash.h -rw-r--r-- 4.8 KB
Hacl_Impl_Blake2_Constants.h -rw-r--r-- 4.7 KB
Hacl_Kremlib.c -rw-r--r-- 1.4 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-- 8.8 KB
Hacl_NaCl.h -rw-r--r-- 3.2 KB
Hacl_Poly1305_128.c -rw-r--r-- 75.1 KB
Hacl_Poly1305_128.h -rw-r--r-- 2.3 KB
Hacl_Poly1305_256.c -rw-r--r-- 98.8 KB
Hacl_Poly1305_256.h -rw-r--r-- 2.3 KB
Hacl_Poly1305_32.c -rw-r--r-- 17.1 KB
Hacl_Poly1305_32.h -rw-r--r-- 1.9 KB
Hacl_SHA3.c -rw-r--r-- 8.8 KB
Hacl_SHA3.h -rw-r--r-- 2.8 KB
Hacl_Salsa20.c -rw-r--r-- 12.0 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.7 KB
Makefile.basic -rw-r--r-- 1.4 KB
Makefile.include -rw-r--r-- 3.0 KB
MerkleTree.c -rw-r--r-- 68.4 KB
MerkleTree.h -rw-r--r-- 14.1 KB
TestLib.h -rw-r--r-- 2.8 KB
Vale.c -rw-r--r-- 1.2 KB
Vale.h -rw-r--r-- 4.3 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
ctypes.depend -rw-r--r-- 18.2 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_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
lib_intrinsics.h -rw-r--r-- 759 bytes
libevercrypt.def -rw-r--r-- 17.1 KB
libintvector.h -rw-r--r-- 18.1 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