A library providing a Rust crate wrapping the extraction of formalized field arithmetic on curve25519 over 64-bit words in the fiat-crypto library.
This library is deprecated by the fiat-crypto rust package, a distribution of the formally-verified code from the MIT fiat-crypto project.
This library is at an experimental stage and its API may encountner significant evolutions in the future.
rust-curve25519-dalek is Apache-2.0 licensed, as found in the LICENSE file.