dbl-hacl-x25519 « formulas « data « ec « pyecsca - pyecsca.git - Python Elliptic Curve Side-Channel Analysis toolkit.

about summary refs log tree commit diff homepage

path: root/pyecsca/ec/data/formulas/dbl-hacl-x25519

blob: b2a1d002b1e273bc74c073c91ae5c65fe1bd6ef5 (plain) (blame)

source HACL* https://github.com/hacl-star/hacl-star/blob/v0.3.0/specs/Spec.Curve25519.fst#L80C9-L80C9
parameter am24
assume am24 = (a-2)/4
coords xz