Module curve25519_dalek_ng::constants

Various constants, such as the Ristretto and Ed25519 basepoints.

Most of the constants are given with LONG_DESCRIPTIVE_UPPER_CASE_NAMES, but they can be brought into scope using a let binding:

use curve25519_dalek_ng::constants;
use curve25519_dalek_ng::traits::IsIdentity;

let B = &constants::RISTRETTO_BASEPOINT_TABLE;
let l = &constants::BASEPOINT_ORDER;

let A = l * B;
assert!(A.is_identity());

Constants

BASEPOINT_ORDER

BASEPOINT_ORDER is the order of the Ristretto group and of the Ed25519 basepoint, i.e., $$ \ell = 2^{252} + 27742317777372353535851937790883648493. $$

ED25519_BASEPOINT_COMPRESSED

The Ed25519 basepoint, in CompressedEdwardsY format.

ED25519_BASEPOINT_POINT

The Ed25519 basepoint, as an EdwardsPoint.

ED25519_BASEPOINT_TABLE

Table containing precomputed multiples of the Ed25519 basepoint \(B = (x, 4/5)\).

EIGHT_TORSION

The 8-torsion subgroup \(\mathcal E [8]\).

RISTRETTO_BASEPOINT_COMPRESSED

The Ristretto basepoint, in CompressedRistretto format.

RISTRETTO_BASEPOINT_POINT

The Ristretto basepoint, as a RistrettoPoint.

RISTRETTO_BASEPOINT_TABLE

The Ristretto basepoint, as a RistrettoBasepointTable for scalar multiplication.

X25519_BASEPOINT

The X25519 basepoint, in MontgomeryPoint format.