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_POINT	The Ed25519 basepoint, as an EdwardsPoint.
ED25519_BASEPOINT_TABLE	Table containing precomputed multiples of the Ed25519 basepoint \(B = (x, 4/5)\).
ED25519_BASEPOINT_TABLE_INNER_DOC_HIDDEN	Inner constant, used to avoid filling the docs with precomputed points.
ED25519_BASEPOINT_COMPRESSED	The Ed25519 basepoint, in CompressedEdwardsY format.
EIGHT_TORSION	The 8-torsion subgroup \(\mathcal E [8]\).
EIGHT_TORSION_INNER_DOC_HIDDEN	Inner item used to hide limb constants from cargo doc output.
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.