AMD64 implementation of Curve25519