Lib.rs

› Cryptography
#bindings #verified #formally #jasmin

libjade

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

by Franziskus Kiefer

2 releases

0.0.1-dev.1 Mar 20, 2023
0.0.0 Mar 20, 2023

#2607 in Cryptography

Apache-2.0

770KB
38K SLoC

GNU Style Assembly 37K SLoC Rust 628 SLoC // 0.0% comments

libjade Rust

Rust bindings for libjade.

TBD

lib.rs:

#Libjade Rust bindings

Dependencies

~0–2MB
~39K SLoC