#curve25519 #fiat-crypto #arithmetic #field #generated #curve25519-64 #extract

curve25519-fiat

由 fiat-crypto 生成的用于 curve25519_64 的 Rust 代码

1 个不稳定版本

0.1.4 2019年10月14日
0.1.2 2019年10月14日
0.1.1 2019年10月14日
0.1.0 2019年10月12日

#64 in #curve25519

Apache-2.0

9MB
181K SLoC

Coq 131K SLoC // 0.0% comments C 43K SLoC // 0.1% comments Python 3.5K SLoC // 0.2% comments OCaml 1.5K SLoC // 0.0% comments Shell 867 SLoC // 0.3% comments Rust 529 SLoC // 0.3% comments Haskell 162 SLoC // 0.0% comments

rust-curve25519-fiat

这是一个库,提供了一个 Rust 包,用于封装在 fiat-crypto 库中对曲线25519上的64位字进行形式化域算术的提取。

发展

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

许可证

rust-curve25519-fiat 使用 Apache-2.0 许可证,如许可证文件LICENSE所示。

无运行时依赖