Lib.rs

› Cryptography › libcrux
#bindings #verified #formal-verification #formally #libjade #jasmin

sys libjade-sys

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

by Franziskus Kiefer and 3 contributors

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

#2266 in Cryptography

Download history 96/week @ 2024-01-08 16/week @ 2024-01-15 111/week @ 2024-01-29 22/week @ 2024-02-05 50/week @ 2024-02-12 58/week @ 2024-02-19 76/week @ 2024-02-26 83/week @ 2024-03-04 93/week @ 2024-03-11 50/week @ 2024-03-18 15/week @ 2024-03-25 78/week @ 2024-04-01 67/week @ 2024-04-08 33/week @ 2024-04-15

199 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–315KB