Rust语言对libjade的绑定，libjade是一个用jasmin编写的形式化验证的密码学库
由 Franziskus Kiefer 和 9位贡献者 编写
2477 在 密码学
每月下载量526次用于 libcrux
1MB 57K SLoC
Rust语言对 libjade 的绑定。
这是一个-sys crate，不应该单独使用。
如果您想在Rust项目中使用libjade代码，请查看 libcrux。
lib.rs
#Libjade Rust绑定
~0–320KB
build.rs