Docs.rs
hacl-sys-0.0.0
Platform
x86_64-unknown-linux-gnu
Feature flags
Rust
About docs.rs
Privacy policy
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
hacl-sys 0.0.0
HACL*, a formally verified cryptographic library for Rust. (binding to hacl-c)
Crate
Source
Builds
Feature flags
Documentation
..
AEAD_Poly1305_64.c
AEAD_Poly1305_64.h
CMakeLists.txt
FStar.c
FStar.h
gcc_compat.h
Hacl_Chacha20.c
Hacl_Chacha20.h
Hacl_Chacha20_Vec128.c
Hacl_Chacha20_Vec128.h
Hacl_Chacha20Poly1305.c
Hacl_Chacha20Poly1305.h
Hacl_Curve25519.c
Hacl_Curve25519.h
Hacl_Ed25519.c
Hacl_Ed25519.h
Hacl_HMAC_SHA2_256.c
Hacl_HMAC_SHA2_256.h
Hacl_Policies.c
Hacl_Policies.h
Hacl_Poly1305_64.c
Hacl_Poly1305_64.h
Hacl_Salsa20.c
Hacl_Salsa20.h
Hacl_SHA2_256.c
Hacl_SHA2_256.h
Hacl_SHA2_384.c
Hacl_SHA2_384.h
Hacl_SHA2_512.c
Hacl_SHA2_512.h
hacl_test_utils.c
hacl_test_utils.h
haclnacl.c
haclnacl.h
kremlib.c
kremlib.h
kremlib_base.h
LICENSE
Makefile
NaCl.c
NaCl.h
randombytes.c
README.md
test-aead.c
test-box.c
test-chacha-vec128.c
test-chacha.c
test-curve.c
test-ed25519.c
test-hmac-sha256.c
test-poly.c
test-salsa.c
test-secretbox.c
test-sha256.c
test-sha384.c
test-sha512.c
testlib.c
testlib.h
vec128.h