Symbol: eddsa_init_pub_key