hacl 0.0.2

Crypto library using formally verified code from the HACL project
docs.rs failed to build hacl-0.0.2
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.
Visit the last successful build: hacl-0.0.3-pre.1

HACL Rust bindings

Build & Test Rust Version crates.io Docs

This is the hacl crate that provides Rust bindings for the HACL C package. The FFI bindings are in the hacl-sys crates.

Please see the top level readme for more information about the underlying code.

Platform Supported
MacOS ✅
MacOS Arm64 ✅
iOS ✅
Linux x64 ✅
Linux x86 ✅
Windows x64 ❌
Arm64 Linux ✅
Arm32 Linux ✅

Features

By default the hacl crate includes the random feature that allows generating random values (keys, nonces, etc.). But this is not verified code and uses the rand crate. It can be disabled with --no-default-features. Please bring your own randomness if you want to be safe.

Platforms

See above for a list of supported platforms.

Building

cargo build

Benchmarks

To run benchmarks use cargo bench.

Tests

All primitives are tested against the Wycheproof test vectors. They can be run with cargo test. This will also run automatically generated binding tests from bindgen.