Searched refs:implicit_rejection_value (Results 1 – 1 of 1) sorted by relevance
1308 Eurydice_slice implicit_rejection_value = uu____2.snd; in libcrux_ml_kem_types_unpack_private_key_b4() local1313 .f3 = implicit_rejection_value}); in libcrux_ml_kem_types_unpack_private_key_b4()9697 Eurydice_slice implicit_rejection_value = uu____0.f3; in libcrux_ml_kem_ind_cca_decapsulate_62() local9719 libcrux_ml_kem_utils_into_padded_array_15(implicit_rejection_value, to_hash); in libcrux_ml_kem_ind_cca_decapsulate_62()10382 Eurydice_slice implicit_rejection_value, uint8_t *serialized) { in libcrux_ml_kem_ind_cca_serialize_kem_secret_key_mut_d6() argument10416 uu____9 + Eurydice_slice_len(implicit_rejection_value, uint8_t), in libcrux_ml_kem_ind_cca_serialize_kem_secret_key_mut_d6()10418 implicit_rejection_value, uint8_t); in libcrux_ml_kem_ind_cca_serialize_kem_secret_key_mut_d6()10430 Eurydice_slice implicit_rejection_value, uint8_t ret[2400U]) { in libcrux_ml_kem_ind_cca_serialize_kem_secret_key_d6() argument10433 private_key, public_key, implicit_rejection_value, out); in libcrux_ml_kem_ind_cca_serialize_kem_secret_key_d6()10462 Eurydice_slice implicit_rejection_value = Eurydice_array_to_subslice_from( in libcrux_ml_kem_ind_cca_generate_keypair_15() local[all …]