ed25519: private key to public key conversion