Symbol: eddsa_pk_t