monero-project/monero-docs
monero-project/monero-docs
2
1
Fork 0
mirror of https://github.com/monero-project/monero-docs.git synced 2024-12-23 03:59:23 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
monero-docs/docs/en/cryptography/asymmetric/edwards25519.md

3.4 KiB
Raw Blame History

title
Edwards25519 Elliptic Curve

Edwards25519 Elliptic Curve

!!! note Author is nowhere close to being a cryptographer. Be sceptical on accuracy.

!!! note 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.

Definition

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.

Curve equation

−x^2 + y^2 = 1 − (121665/121666) * x^2 * y^2

Note:

  • curve is in two dimensions (nothing fancy, like all the curves is high school)
  • curve is mirrored below y axis due to y^2 part of the equation (not a polynomial)

Base point: G

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: l

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

The 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.

Implementation

Monero uses (apparently modified) Ref10 implementation by Daniel J. Bernstein.

Reference