Struct snarkvm_curves::edwards_bls12::fr::FrParameters [−][src]
pub struct FrParameters;
Trait Implementations
type BigInteger = BigInteger
The number of bits that can be reliably stored.
(Should equal SELF::MODULUS_BITS - 1
) Read more
A multiplicative generator that is also a quadratic nonresidue.
Self::GENERATOR
is an element having multiplicative order
Self::MODULUS - 1
.
There also does not exist x
such that Self::GENERATOR = x^2 % Self::MODULUS
Read more
The modulus of the field.
The number of bits needed to represent the Self::MODULUS
.
(Self::MODULUS - 1) / 2
R = 2^256 % Self::MODULUS
R2 = R^2 % Self::MODULUS
The number of bits that must be shaved from the beginning of the representation when randomly sampling. Read more
2^s root of unity computed by GENERATOR^t
t for 2^s * t = MODULUS - 1
2^s * t = MODULUS - 1 with t odd. This is the two-adicity of the prime.
(t - 1) / 2
Auto Trait Implementations
impl RefUnwindSafe for FrParameters
impl Send for FrParameters
impl Sync for FrParameters
impl Unpin for FrParameters
impl UnwindSafe for FrParameters