Lib.rs

› Cryptography › Evercrypt
#evercrypt #api-bindings #build #recursion #submodule #hacl-evercrypt #hacl-star

sys evercrypt-sys

FFI binding to HACL/Evercrypt

by Franziskus Kiefer and 3 contributors

7 releases

0.0.9 Feb 24, 2022
0.0.8 May 19, 2021
0.0.7 Mar 9, 2021
0.0.6 Dec 18, 2020
0.0.1 Sep 26, 2020

#2311 in Cryptography

47 downloads per month
Used in 3 crates (via evercrypt)

MPL-2.0 license

38MB
1M SLoC

C 493K SLoC // 0.1% comments GNU Style Assembly 377K SLoC Assembly 132K SLoC // 0.0% comments F* 129K SLoC // 0.0% comments OCaml 9K SLoC // 0.1% comments Rust 1.5K SLoC // 0.0% comments Scons 1K SLoC // 0.2% comments JavaScript 855 SLoC // 0.1% comments Shell 853 SLoC // 0.1% comments Python 607 SLoC // 0.3% comments C++ 360 SLoC // 0.1% comments Batch 45 SLoC

Contains (Mach-o exe, 1MB) benchmark-Darwin

evercrypt-sys

Maturity Level Build & Test ARM Build Rust Version

Rust wrapper for hacl-star and evercrypt.

Build

When building this *-sys crate make sure to get the hacl-star git submodule (git submodule update --init --recursive). The hacl/evercrypt build is currently not part of the cargo build. Run build-evercrypt.sh in order to build the gcc-compatible dist (this requires OCAML to be set up.).

Platforms

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

Building on Windows

To build evercrypt and evercrypt-sys on Windows ensure path for the VsDevCmd.bat called in in hacl-build.bat is correct on your system. The build has only been tested with VisualStudio 2019.

Dependencies