Searched refs:implicit_rejection_shared_secret (Results 1 – 1 of 1) sorted by relevance
25246 implicit_rejection_shared_secret = in libcrux_ml_kem_ind_cca_decapsulate_fd() local25254 uu____3 = Eurydice_array_to_slice_shared_01(&implicit_rejection_shared_secret); in libcrux_ml_kem_ind_cca_decapsulate_fd()26374 implicit_rejection_shared_secret = in libcrux_ml_kem_ind_cca_unpacked_decapsulate_0c() local26388 Eurydice_array_to_slice_shared_01(&implicit_rejection_shared_secret), in libcrux_ml_kem_ind_cca_unpacked_decapsulate_0c()