Trait ark_ff::fields::FpParameters [−][src]
A trait that defines parameters for a prime field.
Associated Constants
const MODULUS: Self::BigInt
[src]
The modulus of the field.
const MODULUS_BITS: u32
[src]
The number of bits needed to represent the Self::MODULUS
.
const REPR_SHAVE_BITS: u32
[src]
The number of bits that must be shaved from the beginning of the representation when randomly sampling.
const R: Self::BigInt
[src]
Let M
be the power of 2^64 nearest to Self::MODULUS_BITS
. Then
R = M % Self::MODULUS
.
const R2: Self::BigInt
[src]
R2 = R^2 % Self::MODULUS
const INV: u64
[src]
INV = -MODULUS^{-1} mod 2^64
const GENERATOR: Self::BigInt
[src]
A multiplicative generator of the field.
Self::GENERATOR
is an element having multiplicative order
Self::MODULUS - 1
.
const CAPACITY: u32
[src]
The number of bits that can be reliably stored.
(Should equal SELF::MODULUS_BITS - 1
)
const T: Self::BigInt
[src]
t for 2^s * t = MODULUS - 1, and t coprime to 2.
const T_MINUS_ONE_DIV_TWO: Self::BigInt
[src]
(t - 1) / 2
const MODULUS_MINUS_ONE_DIV_TWO: Self::BigInt
[src]
(Self::MODULUS - 1) / 2