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