aboutsummaryrefslogtreecommitdiffhomepage
path: root/pyecsca/ec/efd/twisted/coordinates
diff options
context:
space:
mode:
Diffstat (limited to 'pyecsca/ec/efd/twisted/coordinates')
-rw-r--r--pyecsca/ec/efd/twisted/coordinates1
1 files changed, 1 insertions, 0 deletions
diff --git a/pyecsca/ec/efd/twisted/coordinates b/pyecsca/ec/efd/twisted/coordinates
index 1a0d32d..bf62fff 100644
--- a/pyecsca/ec/efd/twisted/coordinates
+++ b/pyecsca/ec/efd/twisted/coordinates
@@ -4,6 +4,7 @@ parameter d
coordinate x
coordinate y
satisfying a*x^2+y^2 == 1+d*x^2*y^2
+ysquared (a*x^2-1)/(d*x^2-1)
addition x = (x1*y2+y1*x2)/(1+d*x1*x2*y1*y2)
addition y = (y1*y2-a*x1*x2)/(1-d*x1*x2*y1*y2)
doubling x = (x1*y1+y1*x1)/(1+d*x1*x1*y1*y1)