pyecsca/ec/data/formulas/dbl-libressl-v382.op3


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

n0 = X1^2
n1 = n0 * 2
n0 = n0 + n1
n1 = Z1^2
n1 = n1^2
n1 = a * n1
n1 = n0 + n1
n0 = Y1 * Z1
Z3 = 2 * n0
n3 = Y1^2
n2 = X1 * n3
n2 = 4 * n2
n0 = 2 * n2
X3 = n1^2
X3 = X3 - n0
n0 = n3^2
n3 = 8 * n0
n0 = n2 - X3
n0 = n1 * n0
Y3 = n0 - n3