Lib.rs

› Cryptography › Evercrypt
#bindings #api-bindings

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

#2935 in Cryptography

Download history 5/week @ 2025-08-11 41/week @ 2025-08-18 20/week @ 2025-08-25 26/week @ 2025-09-01 30/week @ 2025-09-08 24/week @ 2025-09-15 11/week @ 2025-09-22 11/week @ 2025-09-29 14/week @ 2025-10-06 8/week @ 2025-10-13 28/week @ 2025-10-20 67/week @ 2025-10-27 14/week @ 2025-11-03 132/week @ 2025-11-10 66/week @ 2025-11-17

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

MPL-2.0 license

39MB
1M SLoC

C 493K SLoC // 0.1% comments GNU Style Assembly 377K SLoC F* 156K SLoC // 0.0% comments Assembly 132K 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 Templ 110 SLoC // 0.5% 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