Lib.rs

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

curve25519-fiat

Fiat-crypto generated Rust for curve25519_64

by François Garillot

1 unstable release

0.1.4 Oct 14, 2019
0.1.2 Oct 14, 2019
0.1.1 Oct 14, 2019
0.1.0 Oct 12, 2019

#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

A library providing a Rust crate wrapping the extraction of formalized field arithmetic on curve25519 over 64-bit words in the fiat-crypto library.

Evolution

This library is at an experimental stage and its API may encountner significant evolutions in the future.

LICENSE

rust-curve25519-dalek is Apache-2.0 licensed, as found in the LICENSE file.

No runtime deps