aboutsummaryrefslogtreecommitdiffhomepage
path: root/pyecsca/ec/efd/shortw/jacobian-0/addition/add-1986-cc
diff options
context:
space:
mode:
Diffstat (limited to 'pyecsca/ec/efd/shortw/jacobian-0/addition/add-1986-cc')
-rw-r--r--pyecsca/ec/efd/shortw/jacobian-0/addition/add-1986-cc10
1 files changed, 10 insertions, 0 deletions
diff --git a/pyecsca/ec/efd/shortw/jacobian-0/addition/add-1986-cc b/pyecsca/ec/efd/shortw/jacobian-0/addition/add-1986-cc
new file mode 100644
index 0000000..af536a1
--- /dev/null
+++ b/pyecsca/ec/efd/shortw/jacobian-0/addition/add-1986-cc
@@ -0,0 +1,10 @@
+source 1986 Chudnovsky--Chudnovsky "Sequences of numbers generated by addition in formal groups and new primality and factorization tests", page 414, formula (4.3i)
+compute U1 = X1 Z2^2
+compute U2 = X2 Z1^2
+compute S1 = Y1 Z2^3
+compute S2 = Y2 Z1^3
+compute P = U2-U1
+compute R = S2-S1
+compute X3 = R^2-(U1+U2) P^2
+compute Y3 = R (U1 P^2-X3)-S1 P^3
+compute Z3 = Z1 Z2 P