From 2aa191c63c556857ee22e801c19ee9822016f7cc Mon Sep 17 00:00:00 2001
From: J08nY
Date: Wed, 1 Jul 2020 23:08:43 +0200
Subject: Add random generation of points, speedup computation.

---
 pyecsca/ec/efd/twisted/coordinates | 1 +
 1 file changed, 1 insertion(+)

(limited to 'pyecsca/ec/efd/twisted')

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)
-- 
cgit v1.2.3-70-g09d2