are we ever gonna use EDDSA for PKI