test/data/formulas/ladd-botan-x25519.op3


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

Z1new = X2 - Z2
X1new = X2 + Z2
Z2new = X3 - Z3
X2new = X3 + Z3
xxprime = X2new * Z1new
zzprime = Z2new * X1new
zzprime_new = xxprime - zzprime
xxprime_new = xxprime + zzprime
X5 = xxprime_new^2
zzzprime = zzprime_new^2
Z5 = zzzprime * X1
xx = X1new^2
zz = Z1new^2
X4 = xx * zz
zz = xx - zz
zzz = zz * am24
zzz = zzz + xx
Z4 = zz * zzz