libjade的Rust绑定，一个用jasmin编写的形式化验证加密库
由 Franziskus Kiefer
#2556 in 加密学
770KB 38K SLoC
libjade的Rust绑定。
待定
lib.rs
#Libjade Rust绑定
~0–2MB ~39K SLoC
build.rs