https://github.com/david-oswald/jc_curve25519 converts Curve25519 into Weierstrass form and then uses the standard KeyAgreement