Module curve25519_dalek::backend::serial::u64::constants [−][src]
Expand description
This module contains backend-specific constant values, such as the 64-bit limbs of curve constants.
Constants
Odd multiples of the basepoint [B, 3B, 5B, 7B, 9B, 11B, 13B, 15B, ..., 127B].
APLUS2_OVER_FOUR is (A+2)/4. (This is used internally within the Montgomery ladder.)
The Ed25519 basepoint, as an EdwardsPoint.
Table containing precomputed multiples of the Ed25519 basepoint \(B = (x, 4/5)\).
Edwards d value, equal to -121665/121666 mod p.
Edwards 2*d value, equal to 2*(-121665/121666) mod p.
Edwards d value minus one squared, equal to (((-121665/121666) mod p) - 1) pow 2
The 8-torsion subgroup \(\mathcal E [8]\).
= 1/sqrt(a-d), where a = -1 (mod p), d are the Edwards curve parameters.
L is the order of base point, i.e. 2^252 + 27742317777372353535851937790883648493
L * LFACTOR = -1 (mod 2^52)
The value of minus one, equal to -&FieldElement::one()
MONTGOMERY_A is equal to 486662, which is a constant of the curve equation
for Curve25519 in its Montgomery form. (This is used internally within the
Elligator map.)
MONTGOMERY_A_NEG is equal to -486662. (This is used internally within the
Elligator map.)
One minus edwards d value squared, equal to (1 - (-121665/121666) mod p) pow 2
R = R % L where R = 2^260
RR = (R^2) % L where R = 2^260
= sqrt(a*d - 1), where a = -1 (mod p), d are the Edwards curve parameters.
Precomputed value of one of the square roots of -1 (mod p)