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