source go crypto/ecdh/x25519 https://github.com/golang/go/blob/go1.21.4/src/crypto/ecdh/x25519.go#L86
parameter a24
assume a24 = (a+2)/4
assume Z1 = 1
coords xz
