libcrux_ml_kem_ind_cpa_serialize_vector_68
libcrux_ml_kem_ind_cpa_serialize_vector_68(t_as_ntt,
libcrux_ml_kem_ind_cpa_serialize_vector_68(private_key,