usr.bin/ssh/libcrux_internal.h

17696

Eurydice_array_to_slice_mut_01(&commitment_hash_candidate));

usr.bin/ssh/libcrux_internal.h

18185

Eurydice_array_to_slice_mut_01(&deserialized_commitment_hash),

usr.bin/ssh/libcrux_internal.h

18257

Eurydice_array_to_slice_mut_01(&recomputed_commitment_hash));

usr.bin/ssh/libcrux_internal.h

20623

Eurydice_array_to_slice_mut_01(&pre_hash_buffer),

usr.bin/ssh/libcrux_internal.h

20668

Eurydice_mut_borrow_slice_u8 uu____3 = Eurydice_array_to_slice_mut_01(&pre_hash_buffer);

usr.bin/ssh/libcrux_internal.h

20811

Eurydice_array_to_slice_mut_01(&pre_hash_buffer),

usr.bin/ssh/libcrux_internal.h

20856

Eurydice_mut_borrow_slice_u8 uu____3 = Eurydice_array_to_slice_mut_01(&pre_hash_buffer);

usr.bin/ssh/libcrux_internal.h

20984

Eurydice_array_to_slice_mut_01(&pre_hash_buffer),

usr.bin/ssh/libcrux_internal.h

21029

Eurydice_mut_borrow_slice_u8 uu____3 = Eurydice_array_to_slice_mut_01(&pre_hash_buffer);

usr.bin/ssh/libcrux_internal.h

21082

libcrux_sha3_portable_sha256(Eurydice_array_to_slice_mut_01(&digest), input);

usr.bin/ssh/libcrux_internal.h

23529

libcrux_sha3_portable_shake256(Eurydice_array_to_slice_mut_01(&digest), input);

usr.bin/ssh/libcrux_internal.h

25179

Eurydice_slice_copy(Eurydice_array_to_slice_mut_01(&out), shared_secret, uint8_t);

usr.bin/ssh/libcrux_internal.h

25331

Eurydice_slice_copy(Eurydice_array_to_slice_mut_01(&out), randomness, uint8_t);

usr.bin/ssh/libcrux_internal.h

26505

Eurydice_slice_copy(Eurydice_array_to_slice_mut_01(&shared_secret_array),

usr.bin/ssh/libcrux_internal.h

26855

Eurydice_slice_copy(Eurydice_array_to_slice_mut_01(&key_pair->public_key.public_key_hash),

usr.bin/ssh/libcrux_internal.h

26858

Eurydice_slice_copy(Eurydice_array_to_slice_mut_01(&key_pair->private_key.implicit_rejection_value),

usr.bin/ssh/libcrux_internal.h

26861

Eurydice_slice_copy(Eurydice_array_to_slice_mut_01(&key_pair->public_key.ind_cpa_public_key.seed_for_A),

usr.bin/ssh/libcrux_internal.h

7980

libcrux_sha3_sha256_ema(Eurydice_array_to_slice_mut_01(&out), data);