Symbol: eddsa_pk_decode