Skip to main content

Browse the archive

Revision 539576ec53104316dacac738fca7bc8fd967de62 authored by Son Ho on 26 February 2021, 12:56:35 UTC, committed by Son Ho on 26 February 2021, 12:56:35 UTC 
Update some macro names, add comments and update the configure file to
 
generate the target architecture #define
1 parent 7fc6186
History
File Mode Size
EverCrypt_AEAD.c -rw-r--r-- 50.9 KB
EverCrypt_AEAD.h -rw-r--r-- 4.6 KB
EverCrypt_AutoConfig2.c -rw-r--r-- 6.7 KB
EverCrypt_AutoConfig2.h -rw-r--r-- 2.9 KB
EverCrypt_CTR.c -rw-r--r-- 13.0 KB
EverCrypt_CTR.h -rw-r--r-- 3.1 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.7 KB
EverCrypt_Curve25519.c -rw-r--r-- 2.2 KB
EverCrypt_Curve25519.h -rw-r--r-- 1.9 KB
EverCrypt_DRBG.c -rw-r--r-- 98.7 KB
EverCrypt_DRBG.h -rw-r--r-- 5.9 KB
EverCrypt_Ed25519.c -rw-r--r-- 1.9 KB
EverCrypt_Ed25519.h -rw-r--r-- 2.0 KB
EverCrypt_Error.c -rw-r--r-- 2.6 KB
EverCrypt_Error.h -rw-r--r-- 2.3 KB
EverCrypt_HKDF.c -rw-r--r-- 14.6 KB
EverCrypt_HKDF.h -rw-r--r-- 3.8 KB
EverCrypt_HMAC.c -rw-r--r-- 33.9 KB
EverCrypt_HMAC.h -rw-r--r-- 2.7 KB
EverCrypt_Hacl.h -rw-r--r-- 2.4 KB
EverCrypt_Hash.c -rw-r--r-- 62.6 KB
EverCrypt_Hash.h -rw-r--r-- 8.4 KB
EverCrypt_Helpers.h -rw-r--r-- 1.9 KB
EverCrypt_Poly1305.c -rw-r--r-- 2.9 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.7 KB
EverCrypt_Vale.c -rw-r--r-- 1.9 KB
EverCrypt_Vale.h -rw-r--r-- 2.8 KB
Hacl_AES.c -rw-r--r-- 115.8 KB
Hacl_AES.h -rw-r--r-- 2.6 KB
Hacl_AES128.h -rw-r--r-- 1.7 KB
Hacl_Bignum.h -rw-r--r-- 41.4 KB
Hacl_Bignum256.c -rw-r--r-- 43.1 KB
Hacl_Bignum256.h -rw-r--r-- 9.8 KB
Hacl_Bignum4096.c -rw-r--r-- 43.4 KB
Hacl_Bignum4096.h -rw-r--r-- 10.0 KB
Hacl_Blake2b_256.c -rw-r--r-- 71.1 KB
Hacl_Blake2b_256.h -rw-r--r-- 3.0 KB
Hacl_Blake2b_32.c -rw-r--r-- 53.9 KB
Hacl_Blake2b_32.h -rw-r--r-- 2.2 KB
Hacl_Blake2s_128.c -rw-r--r-- 70.0 KB
Hacl_Blake2s_128.h -rw-r--r-- 2.9 KB
Hacl_Blake2s_32.c -rw-r--r-- 53.5 KB
Hacl_Blake2s_32.h -rw-r--r-- 2.3 KB
Hacl_Chacha20.c -rw-r--r-- 7.0 KB
Hacl_Chacha20.h -rw-r--r-- 2.2 KB
Hacl_Chacha20Poly1305_128.c -rw-r--r-- 63.7 KB
Hacl_Chacha20Poly1305_128.h -rw-r--r-- 2.0 KB
Hacl_Chacha20Poly1305_256.c -rw-r--r-- 64.1 KB
Hacl_Chacha20Poly1305_256.h -rw-r--r-- 2.0 KB
Hacl_Chacha20Poly1305_32.c -rw-r--r-- 20.9 KB
Hacl_Chacha20Poly1305_32.h -rw-r--r-- 2.0 KB
Hacl_Chacha20_Vec128.c -rw-r--r-- 39.8 KB
Hacl_Chacha20_Vec128.h -rw-r--r-- 1.9 KB
Hacl_Chacha20_Vec256.c -rw-r--r-- 47.6 KB
Hacl_Chacha20_Vec256.h -rw-r--r-- 1.9 KB
Hacl_Chacha20_Vec32.c -rw-r--r-- 10.8 KB
Hacl_Chacha20_Vec32.h -rw-r--r-- 1.9 KB
Hacl_Curve25519_51.c -rw-r--r-- 39.3 KB
Hacl_Curve25519_51.h -rw-r--r-- 2.4 KB
Hacl_Curve25519_64.c -rw-r--r-- 11.5 KB
Hacl_Curve25519_64.h -rw-r--r-- 1.8 KB
Hacl_Curve25519_64_Slow.c -rw-r--r-- 32.7 KB
Hacl_Curve25519_64_Slow.h -rw-r--r-- 1.8 KB
Hacl_EC_Ed25519.c -rw-r--r-- 5.5 KB
Hacl_EC_Ed25519.h -rw-r--r-- 2.6 KB
Hacl_Ed25519.c -rw-r--r-- 69.5 KB
Hacl_Ed25519.h -rw-r--r-- 2.7 KB
Hacl_FFDHE.c -rw-r--r-- 11.4 KB
Hacl_FFDHE.h -rw-r--r-- 2.2 KB
Hacl_FFDHE4096.c -rw-r--r-- 22.2 KB
Hacl_FFDHE4096.h -rw-r--r-- 2.0 KB
Hacl_Frodo1344.c -rw-r--r-- 15.6 KB
Hacl_Frodo1344.h -rw-r--r-- 2.0 KB
Hacl_Frodo64.c -rw-r--r-- 15.4 KB
Hacl_Frodo64.h -rw-r--r-- 2.1 KB
Hacl_Frodo640.c -rw-r--r-- 15.5 KB
Hacl_Frodo640.h -rw-r--r-- 2.0 KB
Hacl_Frodo976.c -rw-r--r-- 15.5 KB
Hacl_Frodo976.h -rw-r--r-- 2.0 KB
Hacl_Frodo_KEM.c -rw-r--r-- 1.3 KB
Hacl_Frodo_KEM.h -rw-r--r-- 18.0 KB
Hacl_HKDF.c -rw-r--r-- 8.1 KB
Hacl_HKDF.h -rw-r--r-- 2.5 KB
Hacl_HKDF_Blake2b_256.c -rw-r--r-- 3.2 KB
Hacl_HKDF_Blake2b_256.h -rw-r--r-- 1.8 KB
Hacl_HKDF_Blake2s_128.c -rw-r--r-- 3.2 KB
Hacl_HKDF_Blake2s_128.h -rw-r--r-- 1.8 KB
Hacl_HMAC.c -rw-r--r-- 32.1 KB
Hacl_HMAC.h -rw-r--r-- 2.6 KB
Hacl_HMAC_Blake2b_256.c -rw-r--r-- 11.2 KB
Hacl_HMAC_Blake2b_256.h -rw-r--r-- 1.8 KB
Hacl_HMAC_Blake2s_128.c -rw-r--r-- 10.6 KB
Hacl_HMAC_Blake2s_128.h -rw-r--r-- 1.7 KB
Hacl_HMAC_DRBG.c -rw-r--r-- 54.8 KB
Hacl_HMAC_DRBG.h -rw-r--r-- 3.3 KB
Hacl_HPKE_Curve51_CP128_SHA256.c -rw-r--r-- 12.1 KB
Hacl_HPKE_Curve51_CP128_SHA256.h -rw-r--r-- 2.4 KB
Hacl_HPKE_Curve51_CP128_SHA512.c -rw-r--r-- 12.1 KB
Hacl_HPKE_Curve51_CP128_SHA512.h -rw-r--r-- 2.4 KB
Hacl_HPKE_Curve51_CP256_SHA256.c -rw-r--r-- 12.1 KB
Hacl_HPKE_Curve51_CP256_SHA256.h -rw-r--r-- 2.4 KB
Hacl_HPKE_Curve51_CP256_SHA512.c -rw-r--r-- 12.1 KB
Hacl_HPKE_Curve51_CP256_SHA512.h -rw-r--r-- 2.4 KB
Hacl_HPKE_Curve51_CP32_SHA256.c -rw-r--r-- 12.1 KB
Hacl_HPKE_Curve51_CP32_SHA256.h -rw-r--r-- 2.4 KB
Hacl_HPKE_Curve51_CP32_SHA512.c -rw-r--r-- 12.1 KB
Hacl_HPKE_Curve51_CP32_SHA512.h -rw-r--r-- 2.4 KB
Hacl_HPKE_Curve64_CP128_SHA256.c -rw-r--r-- 12.1 KB
Hacl_HPKE_Curve64_CP128_SHA256.h -rw-r--r-- 2.4 KB
Hacl_HPKE_Curve64_CP128_SHA512.c -rw-r--r-- 12.1 KB
Hacl_HPKE_Curve64_CP128_SHA512.h -rw-r--r-- 2.4 KB
Hacl_HPKE_Curve64_CP256_SHA256.c -rw-r--r-- 12.1 KB
Hacl_HPKE_Curve64_CP256_SHA256.h -rw-r--r-- 2.4 KB
Hacl_HPKE_Curve64_CP256_SHA512.c -rw-r--r-- 12.1 KB
Hacl_HPKE_Curve64_CP256_SHA512.h -rw-r--r-- 2.4 KB
Hacl_HPKE_Curve64_CP32_SHA256.c -rw-r--r-- 12.1 KB
Hacl_HPKE_Curve64_CP32_SHA256.h -rw-r--r-- 2.4 KB
Hacl_HPKE_Curve64_CP32_SHA512.c -rw-r--r-- 12.1 KB
Hacl_HPKE_Curve64_CP32_SHA512.h -rw-r--r-- 2.4 KB
Hacl_HPKE_P256_CP128_SHA256.c -rw-r--r-- 14.5 KB
Hacl_HPKE_P256_CP128_SHA256.h -rw-r--r-- 2.3 KB
Hacl_HPKE_P256_CP256_SHA256.c -rw-r--r-- 14.5 KB
Hacl_HPKE_P256_CP256_SHA256.h -rw-r--r-- 2.3 KB
Hacl_HPKE_P256_CP32_SHA256.c -rw-r--r-- 14.5 KB
Hacl_HPKE_P256_CP32_SHA256.h -rw-r--r-- 2.3 KB
Hacl_Hash.c -rw-r--r-- 283.5 KB
Hacl_Hash.h -rw-r--r-- 6.6 KB
Hacl_Impl_Blake2.h -rw-r--r-- 1.7 KB
Hacl_Impl_Blake2_Constants.h -rw-r--r-- 4.5 KB
Hacl_Impl_FFDHE_Constants.h -rw-r--r-- 49.9 KB
Hacl_IntTypes_Intrinsics.h -rw-r--r-- 2.7 KB
Hacl_Kremlib.h -rw-r--r-- 2.9 KB
Hacl_NaCl.c -rw-r--r-- 9.3 KB
Hacl_NaCl.h -rw-r--r-- 3.2 KB
Hacl_P256.c -rw-r--r-- 106.4 KB
Hacl_P256.h -rw-r--r-- 9.1 KB
Hacl_Poly1305_128.c -rw-r--r-- 82.7 KB
Hacl_Poly1305_128.h -rw-r--r-- 2.4 KB
Hacl_Poly1305_256.c -rw-r--r-- 106.8 KB
Hacl_Poly1305_256.h -rw-r--r-- 2.4 KB
Hacl_Poly1305_32.c -rw-r--r-- 19.5 KB
Hacl_Poly1305_32.h -rw-r--r-- 2.0 KB
Hacl_RSAPSS.c -rw-r--r-- 27.4 KB
Hacl_RSAPSS.h -rw-r--r-- 3.3 KB
Hacl_RSAPSS2048_SHA256.c -rw-r--r-- 29.2 KB
Hacl_RSAPSS2048_SHA256.h -rw-r--r-- 2.6 KB
Hacl_SHA3.c -rw-r--r-- 9.6 KB
Hacl_SHA3.h -rw-r--r-- 3.0 KB
Hacl_Salsa20.c -rw-r--r-- 14.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-- 3.2 KB
Hacl_Streaming_Blake2.c -rw-r--r-- 75.7 KB
Hacl_Streaming_Blake2.h -rw-r--r-- 5.9 KB
Hacl_Streaming_Blake2b_256.c -rw-r--r-- 40.1 KB
Hacl_Streaming_Blake2b_256.h -rw-r--r-- 4.0 KB
Hacl_Streaming_Blake2s_128.c -rw-r--r-- 39.6 KB
Hacl_Streaming_Blake2s_128.h -rw-r--r-- 4.0 KB
Hacl_Streaming_MD5.c -rw-r--r-- 8.8 KB
Hacl_Streaming_MD5.h -rw-r--r-- 2.1 KB
Hacl_Streaming_Poly1305_128.c -rw-r--r-- 11.3 KB
Hacl_Streaming_Poly1305_128.h -rw-r--r-- 2.3 KB
Hacl_Streaming_Poly1305_256.c -rw-r--r-- 11.3 KB
Hacl_Streaming_Poly1305_256.h -rw-r--r-- 2.3 KB
Hacl_Streaming_Poly1305_32.c -rw-r--r-- 9.7 KB
Hacl_Streaming_Poly1305_32.h -rw-r--r-- 2.3 KB
Hacl_Streaming_SHA1.c -rw-r--r-- 8.9 KB
Hacl_Streaming_SHA1.h -rw-r--r-- 2.1 KB
Hacl_Streaming_SHA2.c -rw-r--r-- 31.8 KB
Hacl_Streaming_SHA2.h -rw-r--r-- 3.7 KB
INFO.txt -rw-r--r-- 186 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-- 1.9 KB
Lib_RandomBuffer_System.c -rw-r--r-- 1.5 KB
Lib_RandomBuffer_System.h -rw-r--r-- 1.8 KB
Makefile -rw-r--r-- 7.0 KB
Makefile.basic -rw-r--r-- 1.5 KB
Makefile.include -rw-r--r-- 4.0 KB
TestLib.h -rw-r--r-- 2.8 KB
Vale.c -rw-r--r-- 1.2 KB
Vale.h -rw-r--r-- 4.5 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
configure -rwxr-xr-x 13.7 KB
cpuid-x86_64-darwin.S -rw-r--r-- 2.3 KB
cpuid-x86_64-linux.S -rw-r--r-- 2.3 KB
cpuid-x86_64-mingw.S -rw-r--r-- 2.3 KB
cpuid-x86_64-msvc.asm -rw-r--r-- 2.2 KB
curve25519-inline.h -rw-r--r-- 26.5 KB
curve25519-x86_64-darwin.S -rw-r--r-- 18.5 KB
curve25519-x86_64-linux.S -rw-r--r-- 18.5 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-- 1022 bytes
evercrypt_vale_stubs.c -rw-r--r-- 2.3 KB
lib_intrinsics.h -rw-r--r-- 1.8 KB
libevercrypt.def -rw-r--r-- 25.4 KB
libintvector.h -rw-r--r-- 22.9 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