Twisted Hessian curves

In mathematics, the Twisted Hessian curve represents a generalization of Hessian curves; it was introduced in elliptic curve cryptography to speed up the addition and doubling formulas and to have strongly unified arithmetic. In some operations (see the last sections), it is close in speed to Edwards curves.

Definition

A Twisted Hessian curve of equation

10x^3+y^3+1=15xy

Let K be a field. According to^[1] twisted Hessian curves were introduced by Bernstein, Lange, and Kohel.

The twisted Hessian form in affine coordinates is given by:

$a\cdot x^3+y^3+1=d\cdot x\cdot y$

and in projective coordinates:

$a\cdot X^3+Y^3+Z^3=d\cdot X\cdot Y\cdot Z$

where $x=\frac{X}{Z}$ and $y=\frac{Y}{Z}$ and a, d in K

Note that these curves are birationally equivalent to Hessian curves.

The Hessian curve is just a special case of Twisted Hessian curve, with a=1.

Considering the equation a · x³ + y³ + 1 = d · x · y, note that:

if a has a cube root in K, there exists a unique b such that a = b³.Otherwise, it is necessary to consider an extension field of K (e.g., K(a^1/3)). Then, since b³ · x³ = bx³, defining t = b · x, the following equation is needed (in Hessian form) to do the transformation:

$t^3+y^3+1=d\cdot x\cdot y$ .

This means that Twisted Hessian curves are birationally equivalent to elliptic curve in Weierstrass form.

Group law

It is interesting to analyze the group law of the elliptic curve, defining the addition and doubling formulas (because the simple power analysis and differential power analysis attacks are based on the running time of these operations). In general, the group law is defined in the following way: if three points lies in the same line then they sum up to zero. So, by this property, the explicit formulas for the group law depend on the curve shape.

Let P = (x₁, y₁) be a point, then its inverse is −P = (x₁/y₁, 1/y₁) in the plane. In projective coordinates, let P = (X : Y : Z) be one point, then −P = (X₁/Y₁ : 1/Y₁ : Z) is the inverse of P.

Furthermore, the neutral element (in affine plane) is: θ = (0, −1) and in projective coordinates: θ = (0 : −1 : 1).

In some applications of elliptic curve cryptography and the elliptic curve method of integer factorization (ECM) it is necessary to compute the scalar multiplications of P, say [n]P for some integer n, and they are based on the double-and-add method; so the addition and doubling formulas are needed.

The addition and doubling formulas for this elliptic curve can be defined, using the affine coordinates to simplify the notation:

Addition formulas

Let p = (x₁, y₁) and Q = (x₂, y₂); then, R = P + Q = (x₃, y₃) is given by the following equations:

$x_3=\frac{x_1-y_1^3\cdot x_1}{a\cdot y_1\cdot x_1^3-y_1}$

$y_3=\frac{y_1^3-a\cdot x_1^3}{a\cdot y_1\cdot x_1^3-y_1}$

Doubling formulas

Let P = (x, y); then [2]P = (x₁, y₁) is given by the following equations:

$x_1=\frac{x-y^3\cdot x}{a\cdot y\cdot x^3-y}$

$y_1=\frac{y^3-a\cdot x^3}{a\cdot y\cdot x^3-y}$

Algorithms and examples

Here some efficient algorithms of the addition and doubling law are given; they can be important in cryptographic computations, and the projective coordinates are used to this purpose.

Addition

$A = X_1\cdot Z_2$

$B = Z_1\cdot Z_2$

$C = Y_1X_2$

$D = Y_1\cdot Y_2$

$E = Z_1\cdot Y_2$

$F = a\cdot X_1\cdot X_2$

$X_3 = A\cdot B-C\cdot D$

$Y_3 = D\cdot E-F\cdot A$

$Z_3 = F\cdot C-B\cdot E$

The cost of this algorithm is 12 multiplications, one multiplication by a (constant) and 3 additions.

Example:

let P₁ = (1 : −1 : 1) and P₂ = (−2 : 1 : 1) be points over a twisted Hessian curve with a=2 and d=-2.Then R = P₁ + P₂ is given by:

$A=-1; B=-1; C=-1; D=-1; E=1; F=2;$

x_3=0

y_3=-3

z_3=-3

That is, R= (0 : −3 : −3).

Doubling

$D = X_1^3$

$E = Y_1^3$

$F = Z_1^3$

$G = a\cdot D$

$X_3 = X_1\cdot (E-F)$

$Y_3 = Z_1\cdot (G-E)$

$Z_3 = Y_1\cdot (F-G)$

The cost of this algorithm is 3 multiplications, one multiplication by constant, 3 additions and 3 cube powers. This is the best result obtained for this curve.

Example:

let P = (1 : −1 : 1) be a point over the curve defined by a=2 and d=-2 as above, then R = [2]P = (x₃ : y₃ : z₃) is given by:

$D=1; E=-1; F=1; G=-4;$

x_3=-2

y_3=-3

z_3=-5

That is R = (−2 : −3 : 5).

External links

http://hyperelliptic.org/EFD/g1p/index.html

References

↑ "Twisted Hessian curves". Retrieved 28 February 2010.

http://hyperelliptic.org/EFD/g1p/auto-twistedhessian.html

This article is issued from Wikipedia - version of the Monday, May 05, 2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.