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

#2605 in Cryptography

Download history 12/week @ 2024-11-13 21/week @ 2024-11-20 5/week @ 2024-11-27 76/week @ 2024-12-04 74/week @ 2024-12-11 14/week @ 2024-12-18 43/week @ 2024-12-25 20/week @ 2025-01-01 36/week @ 2025-01-08 5/week @ 2025-01-15 20/week @ 2025-01-22 33/week @ 2025-01-29 27/week @ 2025-02-05 13/week @ 2025-02-19 28/week @ 2025-02-26

77 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