Edwards25519 Elliptic Curve¶
Author is nowhere close to being a cryptographer. Be sceptical on accuracy.
This article is only about the underlying curve. Public key derivation and signing algorithm will be treated separately.
Monero employs edwards25519 elliptic curve as a basis for its key pair generation.
The curve comes from the Ed25519 signature scheme. While Monero takes the curve unchanged, it does not exactly follow rest of the Ed25519.
The edwards25519 curve is birationally equivalent to Curve25519.
This is the standard edwards25519 curve definition, no Monero specific stuff here, except the naming convention. The convention comes from the CryptoNote whitepaper and is widely used in Monero literature.
−x^2 + y^2 = 1 − (121665/121666) * x^2 * y^2
- curve is in two dimensions (nothing fancy, like all the curves is high school)
- curve is mirrored below y axis due to
y^2part of the equation (not a polynomial)
The base point is a specific point on the curve. It is used as a basis for further calculations. It is an arbitrary choice by the curve authors, just to standardize the scheme.
Note that it is enough to specify the y value and the sign of the x value. That's because the specific x can be calculated from the curve equation.
G = (x, 4/5) # take the point with the positive x # The hex representation of the base point 5866666666666666666666666666666666666666666666666666666666666666
Prime order of the base point:
In layment terms, the "canvas" where the curve is drawn is assumed to have a finite "resolution", so point coordinates must "wrap around" at some point. This is achieved by modulo the
l value (lowercase L). In other words, the
l defines the maximum scalar we can use.
l = 2^252 + 27742317777372353535851937790883648493 # => 7237005577332262213973186563042994240857116359379907606001950938285454250989
l is a prime number specified by the curve authors.
In practice this is the private key's strength.
Total number of points on the curve¶
The total number of points on the curve is also a prime number:
q = 2^255 - 19
In practice not all points are "useful" and so the private key strength is limited to
l describe above.
Monero uses (apparently modified) Ref10 implementation by Daniel J. Bernstein.