Struct ark_mnt6_298::FrParameters

pub struct FrParameters;

Trait Implementations

impl FftParameters for FqParameters

type BigInt = BigInteger320

pub const TWO_ADICITY: u32

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.

pub const TWO_ADIC_ROOT_OF_UNITY: BigInteger320

2^s root of unity computed by GENERATOR^t

pub const SMALL_SUBGROUP_BASE: Option<u32>

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

pub const SMALL_SUBGROUP_BASE_ADICITY: Option<u32>

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

pub const LARGE_SUBGROUP_ROOT_OF_UNITY: Option<BigInteger320>

LARGE_SUBGROUP_ROOT_OF_UNITY = x * g where x = (n - 1) / 2^17 / 7^2 and represent this value in the Montgomery residue form. I.e., write 381811485921190977554243339163030148371175054922689353173385941180422489253833691237722982

• R = 260534023778902228073198316993669317435810479439368306496187170459125001342456918103569322

impl Fp320Parameters for FqParameters

impl FpParameters for FqParameters

pub const MODULUS: BigInteger320

MODULUS = 475922286169261325753349249653048451545124879242694725395555128576210262817955800483758081

pub const MODULUS_BITS: u32

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

pub const CAPACITY: u32

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

pub const REPR_SHAVE_BITS: u32

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

pub const R: BigInteger320

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

pub const R2: BigInteger320

R2 = R^2 % Self::MODULUS

pub const INV: u64

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

pub const GENERATOR: BigInteger320

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

pub const T: BigInteger320

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

pub const T_MINUS_ONE_DIV_TWO: BigInteger320

(t - 1) / 2

pub const MODULUS_MINUS_ONE_DIV_TWO: BigInteger320

(Self::MODULUS - 1) / 2