Searched refs:shared_secret_array (Results 1 – 1 of 1) sorted by relevance
26504 Eurydice_arr_ec shared_secret_array = { .data = { 0U } }; in libcrux_ml_kem_ind_cca_unpacked_encapsulate_a7() local26505 Eurydice_slice_copy(Eurydice_array_to_slice_mut_01(&shared_secret_array), in libcrux_ml_kem_ind_cca_unpacked_encapsulate_a7()26512 .snd = shared_secret_array in libcrux_ml_kem_ind_cca_unpacked_encapsulate_a7()