usr.bin/ssh/libcrux_internal.h

16932

Eurydice_array_to_slice_shared_17(&verification_key_hash),

usr.bin/ssh/libcrux_internal.h

17363

libcrux_ml_dsa_sample_add_error_domain_separator(Eurydice_array_to_slice_shared_17(seed),

usr.bin/ssh/libcrux_internal.h

17367

libcrux_ml_dsa_sample_add_error_domain_separator(Eurydice_array_to_slice_shared_17(seed),

usr.bin/ssh/libcrux_internal.h

17371

libcrux_ml_dsa_sample_add_error_domain_separator(Eurydice_array_to_slice_shared_17(seed),

usr.bin/ssh/libcrux_internal.h

17375

libcrux_ml_dsa_sample_add_error_domain_separator(Eurydice_array_to_slice_shared_17(seed),

usr.bin/ssh/libcrux_internal.h

17447

libcrux_ml_dsa_sample_add_error_domain_separator(Eurydice_array_to_slice_shared_17(seed),

usr.bin/ssh/libcrux_internal.h

17619

Eurydice_array_to_slice_shared_17(&message_representative));

usr.bin/ssh/libcrux_internal.h

17692

Eurydice_array_to_slice_shared_17(&message_representative));

usr.bin/ssh/libcrux_internal.h

18222

libcrux_ml_dsa_ml_dsa_generic_derive_message_representative_43(Eurydice_array_to_slice_shared_17(&verification_key_hash),

usr.bin/ssh/libcrux_internal.h

18253

Eurydice_array_to_slice_shared_17(&message_representative));

usr.bin/ssh/libcrux_internal.h

18675

Eurydice_array_to_slice_shared_17(&message_representative));

usr.bin/ssh/libcrux_internal.h

18748

Eurydice_array_to_slice_shared_17(&message_representative));

usr.bin/ssh/libcrux_internal.h

19263

libcrux_ml_dsa_ml_dsa_generic_derive_message_representative_43(Eurydice_array_to_slice_shared_17(&verification_key_hash),

usr.bin/ssh/libcrux_internal.h

19294

Eurydice_array_to_slice_shared_17(&message_representative));

usr.bin/ssh/libcrux_internal.h

19716

Eurydice_array_to_slice_shared_17(&message_representative));

usr.bin/ssh/libcrux_internal.h

19789

Eurydice_array_to_slice_shared_17(&message_representative));

usr.bin/ssh/libcrux_internal.h

19795

libcrux_ml_dsa_sample_sample_challenge_ring_element_2e(Eurydice_array_to_slice_shared_17(&commitment_hash_candidate),

usr.bin/ssh/libcrux_internal.h

19922

libcrux_ml_dsa_encoding_signature_serialize_37(Eurydice_array_to_slice_shared_17(&commitment_hash1),

usr.bin/ssh/libcrux_internal.h

20304

libcrux_ml_dsa_ml_dsa_generic_derive_message_representative_43(Eurydice_array_to_slice_shared_17(&verification_key_hash),

usr.bin/ssh/libcrux_internal.h

20309

libcrux_ml_dsa_sample_sample_challenge_ring_element_2e(Eurydice_array_to_slice_shared_17(&deserialized_commitment_hash),

usr.bin/ssh/libcrux_internal.h

20335

Eurydice_array_to_slice_shared_17(&message_representative));

usr.bin/ssh/libcrux_internal.h

25230

libcrux_ml_kem_hash_functions_portable_G_4a_78(Eurydice_array_to_slice_shared_17(&to_hash0));

usr.bin/ssh/libcrux_internal.h

25233

Eurydice_slice_split_at(Eurydice_array_to_slice_shared_17(&hashed),

usr.bin/ssh/libcrux_internal.h

25390

libcrux_ml_kem_hash_functions_portable_G_4a_78(Eurydice_array_to_slice_shared_17(&to_hash));

usr.bin/ssh/libcrux_internal.h

25393

Eurydice_slice_split_at(Eurydice_array_to_slice_shared_17(&hashed),

usr.bin/ssh/libcrux_internal.h

25671

Eurydice_slice_split_at(Eurydice_array_to_slice_shared_17(&hashed),

usr.bin/ssh/libcrux_internal.h

26356

libcrux_ml_kem_hash_functions_portable_G_4a_78(Eurydice_array_to_slice_shared_17(&to_hash0));

usr.bin/ssh/libcrux_internal.h

26359

Eurydice_slice_split_at(Eurydice_array_to_slice_shared_17(&hashed),

usr.bin/ssh/libcrux_internal.h

26460

libcrux_ml_kem_hash_functions_portable_G_4a_78(Eurydice_array_to_slice_shared_17(&to_hash));

usr.bin/ssh/libcrux_internal.h

26493

Eurydice_slice_split_at(Eurydice_array_to_slice_shared_17(&hashed),