# 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](https://github.com/mit-plv/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](https://github.com/facebookexperimental/rust-curve25519-fiat/blob/master/LICENSE) file.