Struct ark_ed_on_bw6_761::fr::FrParameters [−][src]
pub struct FrParameters;
Trait Implementations
type BigInt = BigInteger384
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
const SMALL_SUBGROUP_BASE: Option<u32>
const SMALL_SUBGROUP_BASE: Option<u32>
An integer b
such that there exists a multiplicative subgroup
of size b^k
for some integer k
. Read more
const SMALL_SUBGROUP_BASE_ADICITY: Option<u32>
const SMALL_SUBGROUP_BASE_ADICITY: Option<u32>
The integer k
such that there exists a multiplicative subgroup
of size Self::SMALL_SUBGROUP_BASE^k
. Read more
const LARGE_SUBGROUP_ROOT_OF_UNITY: Option<Self::BigInt>
const LARGE_SUBGROUP_ROOT_OF_UNITY: Option<Self::BigInt>
GENERATOR^((MODULUS-1) / (2^s * SMALL_SUBGROUP_BASE^SMALL_SUBGROUP_BASE_ADICITY)) Used for mixed-radix FFT. Read more
MODULUS = 32333053251621136751331591711861691692049189094364332567435817881934511297123972799646723302813083835942624121493
8083263312905284187832897927965422923012297273591083141858954470483627824280993199911680825703270958985656030373
4041631656452642093916448963982711461506148636795541570929477235241813912140496599955840412851635479492828015186
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
A multiplicative generator of the field.
Self::GENERATOR
is an element having multiplicative order
Self::MODULUS - 1
. Read more
(Self::MODULUS - 1) / 2