Lib.rs

› Science › Math
#bindings #curve25519 #arithmetic #field #fiat-crypto #curve25519-64 #formalized

yanked rust-curve25519-fiat

Rust FFI bindings to fiat-crypto's curve25519_64.c

was by François Garillot

0.1.3 Jun 6, 2019
0.1.2 Jun 6, 2019
0.1.1 Jun 6, 2019
0.1.0 Jun 6, 2019

#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

A library providing rust bindings to formalized field arithmetic on curve25519 over 64-bit words in the fiat-crypto library.

Compile-time Requirements

This uses cc-rs and as such will demand its compile-time requirements.

Evolution

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

LICENSE

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

No runtime deps