Coordinate Forms

Affine $(x, y)$

Affine form refers to the regular $(x,y)$ form of coordinates on an $xy$-plane.

Problem

In affine form, every addition or doubling requires field inversion when computing fractions (e.g., $\frac{1}{1 + dx_1x_2y_1y_2}$). Like with Weierstrass curves, this becomes the bottleneck for performance.

Extended Affine $(x, y, xy)$

Extended Affine form is a lightweight optimization over the basic affine coordinates. It explicitly stores the product $xy$, which is used repeatedly in twisted Edwards point addition formulas. This avoids redundant multiplications and slightly speeds up scalar multiplication loops.

Point Representation:

A point is stored as:

This means we store:

• $x$: the affine x-coordinate

• $y$: the affine y-coordinate

• $t = xy$: the product of x and y

Problem

In standard affine form, when computing twisted Edwards additions, the term $xy$ appears frequently. Without optimization, it must be recomputed each time.

Solution

By storing $t = xy$ explicitly as a third coordinate, we reduce the number of field multiplications per operation. Though this doesn't eliminate field inversions like projective coordinates do, it provides a minimal memory overhead with noticeable performance gain in systems where full projective coordinates are unnecessary or costly.

Affine $\Longrightarrow$ Extended Affine

Extended Affine $\Longrightarrow$ Affine

Simply discard the third value:

Extended Projective $(X : Y : Z : T)$

To eliminate the need for inverses during addition and doubling, extended projective coordinates are widely used. This is the most efficient coordinate system for twisted Edwards curves.

Point Representation:

So, the point is stored as:

The extra coordinate $T$ allows for more efficient addition formulas and better reuse of intermediate terms.

Elliptic Curve Equation:

In this form, the twisted Edwards curve becomes:

However, in practice, point operations are implemented through optimized formulas that directly compute the result without explicitly evaluating this equation.

Affine $\Longrightarrow$ Extended Projective

Extended Projective $\Longrightarrow$ Affine

Calculating Operations

Refer to Hyperelliptic for Extended Projective points on the best practices on how to calculate addition and double operations on Projective coordinates.

Summary of all forms:

References

• https://www.hyperelliptic.org/EFD/g1p/auto-twisted.html