Searched refs:public_key_serialized (Results 1 – 1 of 1) sorted by relevance
10300 uint8_t public_key_serialized[1184U] = {0U}; in libcrux_ml_kem_ind_cpa_serialize_public_key_89() local10302 public_key_serialized); in libcrux_ml_kem_ind_cpa_serialize_public_key_89()10303 memcpy(ret, public_key_serialized, (size_t)1184U * sizeof(uint8_t)); in libcrux_ml_kem_ind_cpa_serialize_public_key_89()10321 uint8_t public_key_serialized[1184U]; in libcrux_ml_kem_ind_cpa_serialize_unpacked_secret_key_6c() local10325 public_key_serialized); in libcrux_ml_kem_ind_cpa_serialize_unpacked_secret_key_6c()10336 memcpy(copy_of_public_key_serialized, public_key_serialized, in libcrux_ml_kem_ind_cpa_serialize_unpacked_secret_key_6c()10700 uint8_t public_key_serialized[1184U]; in libcrux_ml_kem_ind_cca_validate_public_key_89() local10707 public_key_serialized); in libcrux_ml_kem_ind_cca_validate_public_key_89()10708 return Eurydice_array_eq((size_t)1184U, public_key, public_key_serialized, in libcrux_ml_kem_ind_cca_validate_public_key_89()