#verified #bindings #formal-verification #libcrux #libjade #jasmin

sys libjade-sys

Rust bindings for libjade, a formally verified cryptographic library written in jasmin

4 releases

0.0.2-pre.2 Dec 1, 2023
0.0.2-pre.1 Sep 25, 2023
0.0.1 Jun 13, 2023
0.0.1-dev.1 Mar 20, 2023

#2773 in Cryptography

Download history 163/week @ 2024-10-13 380/week @ 2024-10-20 482/week @ 2024-10-27 373/week @ 2024-11-03 309/week @ 2024-11-10 133/week @ 2024-11-17 342/week @ 2024-11-24 265/week @ 2024-12-01 381/week @ 2024-12-08 574/week @ 2024-12-15 54/week @ 2024-12-22 18/week @ 2024-12-29 76/week @ 2025-01-05 135/week @ 2025-01-12 272/week @ 2025-01-19 225/week @ 2025-01-26

708 downloads per month
Used in libcrux

Apache-2.0

1MB
57K SLoC

GNU Style Assembly 56K SLoC Rust 427 SLoC // 0.0% comments

libjade Rust

Rust bindings for libjade.

This is a -sys crate that should not be used on its own.

Please check out libcrux if you want to use libjade code in your Rust project.


lib.rs:

#Libjade Rust bindings

No runtime deps

~0–440KB