Crates.io | zksync_ff |
lib.rs | zksync_ff |
version | 0.30.10 |
source | src |
created_at | 2024-09-05 10:27:22.146749 |
updated_at | 2024-11-28 13:30:07.2043 |
description | Library for building and interfacing with finite fields, based on ff |
homepage | https://zksync.io/ |
repository | https://github.com/matter-labs/zksync-crypto/ |
max_upload_size | |
id | 1364387 |
size | 39,532 |
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
ff
is a finite field library written in pure Rust, with no unsafe{}
code.
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.
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.
Licensed under either of
at your option.
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.