variables « projective-3 « shortw « efd « ec « pyecsca - pyecsca.git - Python Elliptic Curve Side-Channel Analysis toolkit.

about summary refs log tree commit diff

path: root/pyecsca/ec/efd/shortw/projective-3/variables

blob: 1de70b59ac75bbc2521bb10d7648ad6c9e1ecc19 (plain)

name projective coordinates with a4=-3
assume a = -3
variable X
variable Y
variable Z
satisfying x = X/Z
satisfying y = Y/Z