Ed25519->Curve25519 conversion is working