Module fields 

Re-exports

pub use ark_ff_macros;

pub use self::models::*;

Modules

arithmetic

field_hashers

models

utils

Macros

define_field

Define optimal field type and its corresponding config

Enums

LegendreSymbol

Indication of the field element’s quadratic residuosity

SqrtPrecomputation

Precomputation that makes computing square roots faster A particular variant should only be instantiated if the modulus satisfies the corresponding condition.

Traits

AdditiveGroup

CyclotomicMultSubgroup

Fields that have a cyclotomic multiplicative subgroup, and which can leverage efficient inversion and squaring algorithms for elements in this subgroup.

FftField

The interface for fields that are able to be used in FFTs.

Field

The interface for a generic field. Types implementing Field support common field operations such as addition, subtraction, multiplication, and inverses.

One

Defines a multiplicative identity element for Self.

PrimeField

The interface for a prime field, i.e. the field of integers modulo a prime $p$. In the following example we’ll use the prime field underlying the BLS12-381 G1 curve.

Zero

Defines an additive identity element for Self.

Functions

batch_inversion

batch_inversion_and_mul

serial_batch_inversion_and_mul

Given a vector of field elements {v_i}, compute the vector {coeff * v_i^(-1)}. This method is explicitly single-threaded.