pyecsca/ec/efd/shortw/jacobian-0/addition/add-1998-cmo-2.op3


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

Z1Z1 = Z1^2
Z2Z2 = Z2^2
U1 = X1*Z2Z2
U2 = X2*Z1Z1
t0 = Z2*Z2Z2
S1 = Y1*t0
t1 = Z1*Z1Z1
S2 = Y2*t1
H = U2-U1
HH = H^2
HHH = H*HH
r = S2-S1
V = U1*HH
t2 = r^2
t3 = 2*V
t4 = t2-HHH
X3 = t4-t3
t5 = V-X3
t6 = S1*HHH
t7 = r*t5
Y3 = t7-t6
t8 = Z2*H
Z3 = Z1*t8