Lines Matching refs:public_key_serialized
11395 uint8_t public_key_serialized[1184U] = {0U}; in libcrux_ml_kem_ind_cpa_serialize_public_key_79() local
11397 public_key_serialized, (size_t)0U, (size_t)1152U, uint8_t); in libcrux_ml_kem_ind_cpa_serialize_public_key_79()
11403 Eurydice_array_to_subslice_from((size_t)1184U, public_key_serialized, in libcrux_ml_kem_ind_cpa_serialize_public_key_79()
11406 memcpy(ret, public_key_serialized, (size_t)1184U * sizeof(uint8_t)); in libcrux_ml_kem_ind_cpa_serialize_public_key_79()
11464 uint8_t public_key_serialized[1184U]; in libcrux_ml_kem_ind_cpa_generate_keypair_fc() local
11467 public_key_serialized); in libcrux_ml_kem_ind_cpa_generate_keypair_fc()
11477 memcpy(copy_of_public_key_serialized, public_key_serialized, in libcrux_ml_kem_ind_cpa_generate_keypair_fc()
12014 uint8_t public_key_serialized[1184U]; in libcrux_ml_kem_ind_cpa_generate_keypair_fc0() local
12017 public_key_serialized); in libcrux_ml_kem_ind_cpa_generate_keypair_fc0()
12027 memcpy(copy_of_public_key_serialized, public_key_serialized, in libcrux_ml_kem_ind_cpa_generate_keypair_fc0()
12265 uint8_t public_key_serialized[1184U]; in libcrux_ml_kem_ind_cca_validate_public_key_19() local
12270 public_key_serialized); in libcrux_ml_kem_ind_cca_validate_public_key_19()
12272 (size_t)1184U, public_key, public_key_serialized, uint8_t, uint8_t, bool); in libcrux_ml_kem_ind_cca_validate_public_key_19()