Symbol: eddsa_pk_verify_sig