Ask Your Question
1

How define Twisted Edwards elliptic curve ?

asked 2020-11-25 13:40:37 +0100

Andr gravatar image

updated 2020-11-25 20:01:06 +0100

slelievre gravatar image

In Sage, EllipticCurve takes 2 or 5 parameters.

For 5 parameters, EllipticCurve([a, b, c, d, e]) means:

y^2 + a*x*y + c*y = x^3 + b*x^2 + d*x + e.

The curve Ed25519 (for example for Monero) is defined by $$ -x^2+y^2=1-\frac{121665}{121666}x^2y^2 $$

This equation has a term in $x^2y^2$ which does not exist in Sage EllipticCurve parameters.

What does "twisted" mean?

How to define $\frac{121665}{121666}$ ?

I must multiply 121665 but inverted 121666 in field? Field is with prime p=$2^{255}-19$.

edit retag flag offensive close merge delete

1 Answer

Sort by » oldest newest most voted
1

answered 2020-11-25 20:22:58 +0100

FrédéricC gravatar image

Like this maybe

sage: x, y = polygens(GF(1931), 'x,y')                                              
sage: C = Curve(x**2-y**2-1-33*x**2*y**2)                                         
sage: Jacobian(C)                                                               
Elliptic Curve defined by y^2 = x^3 + 1078*x + 1551 over Finite Field of size 1931
edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2020-11-25 13:40:37 +0100

Seen: 2,296 times

Last updated: Nov 25 '20