| libcrux_mlkem768_sha3.h | 9701 uint8_t to_hash0[64U]; local
9703 Eurydice_array_to_slice((size_t)32U, decrypted, uint8_t), to_hash0); local
9706 (size_t)64U, to_hash0, LIBCRUX_ML_KEM_CONSTANTS_SHARED_SECRET_SIZE,
9711 Eurydice_array_to_slice((size_t)64U, to_hash0, uint8_t), hashed);
10799 uint8_t to_hash0[64U]; local
10801 Eurydice_array_to_slice((size_t)32U, decrypted, uint8_t), to_hash0); local
10803 (size_t)64U, to_hash0, LIBCRUX_ML_KEM_CONSTANTS_SHARED_SECRET_SIZE,
10812 Eurydice_array_to_slice((size_t)64U, to_hash0, uint8_t), hashed);
|
