test/data/formulas/madd-secp256k1-v040.op3


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

zz = Z1^2
u1 = X1
u2 = X2*zz
s1 = Y1
s2 = Y2*zz 
s2 = s2*Z1
t = u1+u2
m = s1+s2
rr = t^2
malt = -u2
tt = u1*malt
rr = rr+tt
rralt = s1*2
malt = malt+u1
rralt = rr
malt = m
n = malt^2
q = -t
q = q*n
n = n^2
t = rralt^2
Z3 = Z1*malt
t = t+q
X3 = t
t = t*2
t = t+q
t = t*rralt
t = t+n
Y3 = -t
Y3 = Y3/2