Struct snarkvm_curves::bls12_377::FrParameters [−][src]
pub struct FrParameters;
Trait Implementations
(r - 1)/2 = 4222230874714185212124412469390773265687949667577031913967616727958704619520
t = (r - 1) / 2^s = 60001509534603559531609739528203892656505753216962260608619555
(t - 1) / 2 = 30000754767301779765804869764101946328252876608481130304309777
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
.
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
2^s * t = MODULUS - 1 with t odd. This is the two-adicity of the prime.
Auto Trait Implementations
impl RefUnwindSafe for FrParameters
impl Send for FrParameters
impl Sync for FrParameters
impl Unpin for FrParameters
impl UnwindSafe for FrParameters