ladd-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/ladd-hacl-x25519

blob: ece09fc2c33a378d332e61df52b933b0ff919b8b (plain) (blame)

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