logo
pub const EIGHT_TORSION: [EdwardsPoint; 8];
Expand description

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

In the case of Curve25519, it is cyclic; the \(i\)-th element of the array is \([i]P\), where \(P\) is a point of order \(8\) generating \(\mathcal E[8]\).

Thus \(\mathcal E[4]\) is the points indexed by 0,2,4,6, and \(\mathcal E[2]\) is the points indexed by 0,4.