Searched refs:prf_output (Results 1 – 1 of 1) sorted by relevance
10846 uint8_t prf_output[128U]; in libcrux_ml_kem_ind_cpa_encrypt_60() local10848 Eurydice_array_to_slice((size_t)33U, prf_input, uint8_t), prf_output); in libcrux_ml_kem_ind_cpa_encrypt_60()10851 Eurydice_array_to_slice((size_t)128U, prf_output, uint8_t)); in libcrux_ml_kem_ind_cpa_encrypt_60()