usr.bin/ssh/libcrux_internal.h

16863

libcrux_sha3_portable_shake256(Eurydice_array_to_slice_mut_17(out), input);

usr.bin/ssh/libcrux_internal.h

17186

Eurydice_array_to_slice_mut_17(message_representative));

usr.bin/ssh/libcrux_internal.h

17621

Eurydice_array_to_slice_mut_17(&mask_seed));

usr.bin/ssh/libcrux_internal.h

18677

Eurydice_array_to_slice_mut_17(&mask_seed));

usr.bin/ssh/libcrux_internal.h

19718

Eurydice_array_to_slice_mut_17(&mask_seed));

usr.bin/ssh/libcrux_internal.h

19793

Eurydice_array_to_slice_mut_17(&commitment_hash_candidate));

usr.bin/ssh/libcrux_internal.h

20267

Eurydice_array_to_slice_mut_17(&deserialized_commitment_hash),

usr.bin/ssh/libcrux_internal.h

20339

Eurydice_array_to_slice_mut_17(&recomputed_commitment_hash));

usr.bin/ssh/libcrux_internal.h

21074

libcrux_sha3_portable_sha512(Eurydice_array_to_slice_mut_17(&digest), input);

usr.bin/ssh/libcrux_internal.h

8018

libcrux_sha3_sha512_ema(Eurydice_array_to_slice_mut_17(&out), data);