#prime-field #procedural #proc-macro #derive #finite-fields #build #traits

macro ff_derive_ce

Procedural macro library used to build custom prime field implementations

14 releases (7 breaking)

0.11.2 Nov 30, 2022
0.11.0 Jun 23, 2022
0.10.0 May 14, 2021
0.9.3 Mar 30, 2021
0.4.0 Mar 31, 2019

#1322 in Procedural macros

Download history 11769/week @ 2024-07-20 14552/week @ 2024-07-27 9819/week @ 2024-08-03 11196/week @ 2024-08-10 13341/week @ 2024-08-17 6778/week @ 2024-08-24 6363/week @ 2024-08-31 6496/week @ 2024-09-07 976/week @ 2024-09-14 1354/week @ 2024-09-21 1104/week @ 2024-09-28 1339/week @ 2024-10-05 1847/week @ 2024-10-12 1166/week @ 2024-10-19 1522/week @ 2024-10-26 877/week @ 2024-11-02

5,567 downloads per month
Used in 63 crates (via ff_ce)

MIT/Apache

110KB
2.5K SLoC

[!WARNING] This crate has been archived. Development has moved to the zksync-crypto repository. Please use it instead.

"FF community edition"

This library is community maintained fork of the original ff library by Sean Bowe. Name of the library is changed to allow publishing to the crates.io

Original ff

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

Disclaimers

  • This library does not provide constant-time guarantees.

Usage

Add the ff_ce crate to your Cargo.toml:

[dependencies]
ff_ce = "0.6"

The ff_ce 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.

First, enable the derive crate feature:

[dependencies]
ff = { ..., features = ["derive"] }

And then use the macro like so:

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

#[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.

Dependencies

~2.5MB
~53K SLoC