Go to file
Jack Grigg 623dbd0d74
[MOVEONLY] Move generated code around slightly in ff_derive
This reduces the differences in the generated code between the current
implementations of Fq and Fr in pairing, and their derived versions.
2018-07-02 09:16:42 +01:00
ff_derive [MOVEONLY] Move generated code around slightly in ff_derive 2018-07-02 09:16:42 +01:00
src Pull in trait changes from pairing 2018-07-02 09:16:22 +01:00
.gitignore Initial commit. 2017-06-25 23:09:43 -06:00
Cargo.toml Pull in trait changes from pairing 2018-07-02 09:16:22 +01:00
LICENSE-APACHE Initial commit. 2017-06-25 23:09:43 -06:00
LICENSE-MIT Initial commit. 2017-06-25 23:09:43 -06:00
README.md Update README/Cargo.toml with correct documentation links. 2017-06-27 10:35:14 -06:00

README.md

ff

ff is a finite field library written in pure Rust, with no unsafe{} code.

Disclaimers

  • This library does not provide constant-time guarantees.
  • This library relies on Rust's i128_type feature, which is currently only available in the nightly compiler.

Usage

Add the ff crate to your Cargo.toml:

[dependencies]
ff = "0.2"

The ff crate contains Field, PrimeField, PrimeFieldRepr and SqrtField traits. See the documentation for more.

#![derive(PrimeField)]

If you need an implementation of a prime field, this library also provides a procedural macro that will expand into an efficient implementation of a prime field when supplied with the modulus. PrimeFieldGenerator must be an element of Fp of p-1 order, that is also quadratic nonresidue.

extern crate rand;
#[macro_use]
extern crate ff;

#[derive(PrimeField)]
#[PrimeFieldModulus = "52435875175126190479447740508185965837690552500527637822603658699938581184513"]
#[PrimeFieldGenerator = "7"]
struct Fp(FpRepr);

And that's it! Fp now implements Field and PrimeField. Fp will also implement SqrtField if supported. The library implements FpRepr itself and derives PrimeFieldRepr for it.

License

Licensed under either of

at your option.

Contribution

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.