Module curve25519_dalek::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::constants;
use curve25519_dalek::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_POINTcurve25519_dalek_bits="64"
  The Ed25519 basepoint, as an EdwardsPoint.
• EIGHT_TORSIONcurve25519_dalek_bits="64"
  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.
• X25519_BASEPOINT
  The X25519 basepoint, in MontgomeryPoint format.

Statics

• ED25519_BASEPOINT_TABLEcurve25519_dalek_bits="64" and precomputed-tables
  Table containing precomputed multiples of the Ed25519 basepoint \(B = (x, 4/5)\).
• RISTRETTO_BASEPOINT_TABLEprecomputed-tables
  The Ristretto basepoint, as a RistrettoBasepointTable for scalar multiplication.