curve25519_64

64-bit Curve25519 with HACL*