aboutsummaryrefslogtreecommitdiffhomepage
path: root/pyecsca/ec/efd/montgom
diff options
context:
space:
mode:
authorJ08nY2020-07-01 23:08:43 +0200
committerJ08nY2020-07-01 23:09:30 +0200
commit2aa191c63c556857ee22e801c19ee9822016f7cc (patch)
tree8824b678714c71979c4f8579c9cf782a6fadcc5e /pyecsca/ec/efd/montgom
parent3eaaed8ff2dfa36ad31884bc4cb0f45e0bf8f427 (diff)
downloadpyecsca-2aa191c63c556857ee22e801c19ee9822016f7cc.tar.gz
pyecsca-2aa191c63c556857ee22e801c19ee9822016f7cc.tar.zst
pyecsca-2aa191c63c556857ee22e801c19ee9822016f7cc.zip
Add random generation of points, speedup computation.
Diffstat (limited to 'pyecsca/ec/efd/montgom')
-rw-r--r--pyecsca/ec/efd/montgom/coordinates1
1 files changed, 1 insertions, 0 deletions
diff --git a/pyecsca/ec/efd/montgom/coordinates b/pyecsca/ec/efd/montgom/coordinates
index 0821ec6..d3b7f4e 100644
--- a/pyecsca/ec/efd/montgom/coordinates
+++ b/pyecsca/ec/efd/montgom/coordinates
@@ -4,6 +4,7 @@ parameter b
coordinate x
coordinate y
satisfying b*y^2 == x^3 + a*x^2 + x
+ysquared (x^3+a*x^2+x)/b
addition x = b*(y2-y1)^2/(x2-x1)^2-a-x1-x2
addition y = (2*x1+x2+a)*(y2-y1)/(x2-x1)-b*(y2-y1)^3/(x2-x1)^3-y1
doubling x = b*(3*x1^2+2*a*x1+1)^2/(2*b*y1)^2-a-x1-x1