#bindings #verified #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

#2550 in Cryptography

Download history 163/week @ 2024-07-20 73/week @ 2024-07-27 146/week @ 2024-08-03 307/week @ 2024-08-10 134/week @ 2024-08-17 124/week @ 2024-08-24 98/week @ 2024-08-31 128/week @ 2024-09-07 70/week @ 2024-09-14 121/week @ 2024-09-21 242/week @ 2024-09-28 227/week @ 2024-10-05 164/week @ 2024-10-12 379/week @ 2024-10-19 481/week @ 2024-10-26 331/week @ 2024-11-02

1,366 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–415KB