HACL-C

HACL* verified C code (READ-ONLY)

Beware of the trusted code base kermlib.{h,c}, gcc-compat.h and testlib.{h,c}

Pull Requests or Issues should be opened in the correct main repository. https://github.com/mitls/hacl-star (for the verified code) or https://github.com/FStarLang/kremlin (for most of the TCB)

Name		Name	Last commit message	Last commit date
Latest commit History 19 Commits
.gitignore		.gitignore
AEAD_Poly1305_64.c		AEAD_Poly1305_64.c
AEAD_Poly1305_64.h		AEAD_Poly1305_64.h
CMakeLists.txt		CMakeLists.txt
FStar.c		FStar.c
FStar.h		FStar.h
Hacl_Chacha20.c		Hacl_Chacha20.c
Hacl_Chacha20.h		Hacl_Chacha20.h
Hacl_Chacha20Poly1305.c		Hacl_Chacha20Poly1305.c
Hacl_Chacha20Poly1305.h		Hacl_Chacha20Poly1305.h
Hacl_Chacha20_Vec128.c		Hacl_Chacha20_Vec128.c
Hacl_Chacha20_Vec128.h		Hacl_Chacha20_Vec128.h
Hacl_Curve25519.c		Hacl_Curve25519.c
Hacl_Curve25519.h		Hacl_Curve25519.h
Hacl_Ed25519.c		Hacl_Ed25519.c
Hacl_Ed25519.h		Hacl_Ed25519.h
Hacl_HMAC_SHA2_256.c		Hacl_HMAC_SHA2_256.c
Hacl_HMAC_SHA2_256.h		Hacl_HMAC_SHA2_256.h
Hacl_Policies.c		Hacl_Policies.c
Hacl_Policies.h		Hacl_Policies.h
Hacl_Poly1305_64.c		Hacl_Poly1305_64.c
Hacl_Poly1305_64.h		Hacl_Poly1305_64.h
Hacl_SHA2_256.c		Hacl_SHA2_256.c
Hacl_SHA2_256.h		Hacl_SHA2_256.h
Hacl_SHA2_384.c		Hacl_SHA2_384.c
Hacl_SHA2_384.h		Hacl_SHA2_384.h
Hacl_SHA2_512.c		Hacl_SHA2_512.c
Hacl_SHA2_512.h		Hacl_SHA2_512.h
Hacl_Salsa20.c		Hacl_Salsa20.c
Hacl_Salsa20.h		Hacl_Salsa20.h
LICENSE		LICENSE
Makefile		Makefile
NaCl.c		NaCl.c
NaCl.h		NaCl.h
README.md		README.md
gcc_compat.h		gcc_compat.h
haclnacl.c		haclnacl.c
haclnacl.h		haclnacl.h
kremlib.c		kremlib.c
kremlib.h		kremlib.h
kremlib_base.h		kremlib_base.h
kremlib_embedded.h		kremlib_embedded.h
vec128.h		vec128.h

Provide feedback