Struct ark_bn254::FqParameters[][src]

pub struct FqParameters;

Trait Implementations

Let N be the size of the multiplicative group defined by the field. Then TWO_ADICITY is the two-adicity of N, i.e. the integer s such that N = 2^s * t for some odd integer t. Read more

2^s root of unity computed by GENERATOR^t

An integer b such that there exists a multiplicative subgroup of size b^k for some integer k. Read more

The integer k such that there exists a multiplicative subgroup of size Self::SMALL_SUBGROUP_BASE^k. Read more

GENERATOR^((MODULUS-1) / (2^s * SMALL_SUBGROUP_BASE^SMALL_SUBGROUP_BASE_ADICITY)) Used for mixed-radix FFT. Read more

MODULUS = 21888242871839275222246405745257275088696311157297823662689037894645226208583

The number of bits needed to represent the Self::MODULUS.

The number of bits that can be reliably stored. (Should equal SELF::MODULUS_BITS - 1) Read more

The number of bits that must be shaved from the beginning of the representation when randomly sampling. Read more

Let M be the power of 2^64 nearest to Self::MODULUS_BITS. Then R = M % Self::MODULUS. Read more

R2 = R^2 % Self::MODULUS

INV = -MODULUS^{-1} mod 2^64

A multiplicative generator of the field. Self::GENERATOR is an element having multiplicative order Self::MODULUS - 1. Read more

(Self::MODULUS - 1) / 2

t for 2^s * t = MODULUS - 1, and t coprime to 2.

(t - 1) / 2

Auto Trait Implementations

Blanket Implementations

Gets the TypeId of self. Read more

Immutably borrows from an owned value. Read more

Mutably borrows from an owned value. Read more

Performs the conversion.

Performs the conversion.

Should always be Self

The type returned in the event of a conversion error.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.