path: root/test/data/formulas/ladd-boringssl-x25519

source BoringSSL bfa8369 https://github.com/google/boringssl/blob/bfa8369795b7533a222a72b7a1bc928941cd66bf/crypto/curve25519/curve25519.c#L624
parameter a24
assume a24 = (a+2)/4
coords xz