Searched refs:implicit_rejection_shared_secret0 (Results 1 – 1 of 1) sorted by relevance
9725 uint8_t implicit_rejection_shared_secret0[32U]; in libcrux_ml_kem_ind_cca_decapsulate_62() local9728 implicit_rejection_shared_secret0); in libcrux_ml_kem_ind_cca_decapsulate_62()9734 Eurydice_array_to_slice((size_t)32U, implicit_rejection_shared_secret0, in libcrux_ml_kem_ind_cca_decapsulate_62()