Searched refs:randomness0 (Results 1 – 1 of 1) sorted by relevance
17469 randomness0 = libcrux_ml_dsa_hash_functions_portable_squeeze_first_block_61(&state); in libcrux_ml_dsa_sample_sample_challenge_ring_element_2e() local17472 Eurydice_array_to_subslice_shared_d40(&randomness0, in libcrux_ml_dsa_sample_sample_challenge_ring_element_2e()17484 libcrux_ml_dsa_sample_inside_out_shuffle(Eurydice_array_to_subslice_from_shared_5f(&randomness0, in libcrux_ml_dsa_sample_sample_challenge_ring_element_2e()24070 randomness0 = in libcrux_ml_kem_sampling_sample_from_xof_91() local24074 libcrux_ml_kem_sampling_sample_from_uniform_distribution_next_b6(&randomness0, in libcrux_ml_kem_sampling_sample_from_xof_91()25374 randomness0 = in libcrux_ml_kem_ind_cca_encapsulate_99() local25378 libcrux_ml_kem_utils_into_padded_array_c9(Eurydice_array_to_slice_shared_01(&randomness0)); in libcrux_ml_kem_ind_cca_encapsulate_99()25402 &randomness0, in libcrux_ml_kem_ind_cca_encapsulate_99()