How define Twisted Edwards elliptic curve ?
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 −x2+y2=1−121665121666x2y2
This equation has a term in x2y2 which does not exist in Sage EllipticCurve
parameters.
What does "twisted" mean?
How to define 121665121666 ?
I must multiply 121665 but inverted 121666 in field? Field is with prime p=2255−19.