Symbol: eddsa_encode_point