Constant curve25519_dalek::constants::EIGHT_TORSION

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.