#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

#2457 in Cryptography

Download history 131/week @ 2024-06-03 88/week @ 2024-06-10 67/week @ 2024-06-17 240/week @ 2024-06-24 123/week @ 2024-07-01 120/week @ 2024-07-08 89/week @ 2024-07-15 167/week @ 2024-07-22 76/week @ 2024-07-29 156/week @ 2024-08-05 295/week @ 2024-08-12 124/week @ 2024-08-19 136/week @ 2024-08-26 88/week @ 2024-09-02 123/week @ 2024-09-09 84/week @ 2024-09-16

436 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–355KB