pyecsca/ec/data/formulas/dbl-bc-r1rv76-mod.op3


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

X1Squared = X1^2
t0 = 3 * X1Squared
M = t0 + T1
_2Y1 = 2 * Y1
_2Y1Squared = _2Y1 * Y1
t1 = X1 * _2Y1Squared
S = 2 * t1
t2 = M^2
t3 = 2 * S
X3 = t2 - t3
_4T = _2Y1Squared^2
_8T = 2 * _4T
t4 = S - X3
t5 = M * t4
Y3 = t5 - _8T
t6 = _8T * T1
T3 = 2 * t6
Z3 = _2Y1 * Z1