libjade-sys 0.0.1

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