#bindings #curve25519 #arithmetic #field #fiat-crypto #curve25519-64 #formalized

已删除 rust-curve25519-fiat

Rust FFI 绑定到 fiat-crypto 的 curve25519_64.c

0.1.3 2019年6月6日
0.1.2 2019年6月6日
0.1.1 2019年6月6日
0.1.0 2019年6月6日

#73 in #curve25519

Apache-2.0

5MB
96K SLoC

Coq 63K SLoC // 0.0% comments C 30K SLoC // 0.1% comments Python 3K SLoC // 0.2% comments Shell 195 SLoC // 0.1% comments Rust 108 SLoC // 0.3% comments

rust-curve25519-fiat

这是一个库,它提供了对 fiat-crypto 库中 curve25519 上 64 位字的形式化域算术的 Rust 绑定。

编译时要求

此库使用 cc-rs,因此将需要其 编译时要求

进化

此库处于实验阶段,其 API 可能在未来会有重大变化。

许可证

rust-curve25519-fiat 是 Apache-2.0 许可,如 LICENSE 文件中所述。

无运行时依赖