Searched refs:implicit_rejection_value (Results 1 – 1 of 1) sorted by relevance
10936 Eurydice_slice implicit_rejection_value = uu____2.snd; in libcrux_ml_kem_ind_cca_decapsulate_70() local10958 libcrux_ml_kem_utils_into_padded_array_ea0(implicit_rejection_value, to_hash); in libcrux_ml_kem_ind_cca_decapsulate_70()11499 Eurydice_slice implicit_rejection_value, uint8_t ret[2400U]) { in libcrux_ml_kem_ind_cca_serialize_kem_secret_key_48() argument11533 uu____9 + Eurydice_slice_len(implicit_rejection_value, uint8_t), in libcrux_ml_kem_ind_cca_serialize_kem_secret_key_48()11535 implicit_rejection_value, uint8_t); in libcrux_ml_kem_ind_cca_serialize_kem_secret_key_48()11565 Eurydice_slice implicit_rejection_value = Eurydice_array_to_subslice_from( in libcrux_ml_kem_ind_cca_generate_keypair_8c() local11579 implicit_rejection_value, secret_key_serialized); in libcrux_ml_kem_ind_cca_generate_keypair_8c()11701 Eurydice_slice implicit_rejection_value = uu____2.snd; in libcrux_ml_kem_ind_cca_decapsulate_700() local11723 libcrux_ml_kem_utils_into_padded_array_ea0(implicit_rejection_value, to_hash); in libcrux_ml_kem_ind_cca_decapsulate_700()12063 Eurydice_slice implicit_rejection_value = Eurydice_array_to_subslice_from( in libcrux_ml_kem_ind_cca_generate_keypair_8c0() local[all …]