Searched refs:prf_output (Results 1 – 1 of 1) sorted by relevance
9302 uint8_t prf_output[128U]; in libcrux_ml_kem_ind_cpa_encrypt_c1_85() local9304 Eurydice_array_to_slice((size_t)33U, prf_input, uint8_t), prf_output); in libcrux_ml_kem_ind_cpa_encrypt_c1_85()9307 Eurydice_array_to_slice((size_t)128U, prf_output, uint8_t)); in libcrux_ml_kem_ind_cpa_encrypt_c1_85()