#bindings #verified #formal-verification #formally #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

#2946 in Cryptography

Download history 181/week @ 2024-11-14 193/week @ 2024-11-21 332/week @ 2024-11-28 314/week @ 2024-12-05 651/week @ 2024-12-12 150/week @ 2024-12-19 17/week @ 2024-12-26 60/week @ 2025-01-02 119/week @ 2025-01-09 208/week @ 2025-01-16 216/week @ 2025-01-23 414/week @ 2025-01-30 450/week @ 2025-02-06 163/week @ 2025-02-13 525/week @ 2025-02-20 172/week @ 2025-02-27

1,439 downloads per month
Used in 2 crates (via 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–445KB