# rust-curve25519-fiat

A library providing rust bindings to formalized field arithmetic on
curve25519 over 64-bit words in the [fiat-crypto](https://github.com/mit-plv/fiat-crypto) library.


## Compile-time Requirements

This uses [cc-rs](https://github.com/alexcrichton/cc-rs) and as such will
demand its [compile-time requirements](https://github.com/alexcrichton/cc-rs#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](https://github.com/facebookexperimental/rust-curve25519-fiat/blob/master/LICENSE) file.