usr.bin/ssh/libcrux_internal.h

16982

Eurydice_array_to_slice_shared_01(&randomness));

usr.bin/ssh/libcrux_internal.h

17617

Eurydice_array_to_slice_shared_01(&randomness));

usr.bin/ssh/libcrux_internal.h

17698

libcrux_ml_dsa_sample_sample_challenge_ring_element_2e(Eurydice_array_to_slice_shared_01(&commitment_hash_candidate),

usr.bin/ssh/libcrux_internal.h

17827

libcrux_ml_dsa_encoding_signature_serialize_37(Eurydice_array_to_slice_shared_01(&commitment_hash1),

usr.bin/ssh/libcrux_internal.h

18227

libcrux_ml_dsa_sample_sample_challenge_ring_element_2e(Eurydice_array_to_slice_shared_01(&deserialized_commitment_hash),

usr.bin/ssh/libcrux_internal.h

18439

Eurydice_array_to_slice_shared_01(&randomness));

usr.bin/ssh/libcrux_internal.h

18673

Eurydice_array_to_slice_shared_01(&randomness));

usr.bin/ssh/libcrux_internal.h

19480

Eurydice_array_to_slice_shared_01(&randomness));

usr.bin/ssh/libcrux_internal.h

19714

Eurydice_array_to_slice_shared_01(&randomness));

usr.bin/ssh/libcrux_internal.h

25223

libcrux_ml_kem_utils_into_padded_array_c9(Eurydice_array_to_slice_shared_01(&decrypted));

usr.bin/ssh/libcrux_internal.h

25254

uu____3 = Eurydice_array_to_slice_shared_01(&implicit_rejection_shared_secret);

usr.bin/ssh/libcrux_internal.h

25267

Eurydice_array_to_slice_shared_01(&shared_secret),

usr.bin/ssh/libcrux_internal.h

25268

Eurydice_array_to_slice_shared_01(&implicit_rejection_shared_secret0));

usr.bin/ssh/libcrux_internal.h

25375

libcrux_ml_kem_variant_entropy_preprocess_39_13(Eurydice_array_to_slice_shared_01(randomness));

usr.bin/ssh/libcrux_internal.h

25378

libcrux_ml_kem_utils_into_padded_array_c9(Eurydice_array_to_slice_shared_01(&randomness0));

usr.bin/ssh/libcrux_internal.h

25387

Eurydice_slice_copy(uu____0, Eurydice_array_to_slice_shared_01(&lvalue), uint8_t);

usr.bin/ssh/libcrux_internal.h

25852

Eurydice_array_to_slice_shared_01(&public_key->seed_for_A));

usr.bin/ssh/libcrux_internal.h

25932

Eurydice_slice_copy(uu____0, Eurydice_array_to_slice_shared_01(&lvalue), uint8_t);

usr.bin/ssh/libcrux_internal.h

26346

libcrux_ml_kem_utils_into_padded_array_c9(Eurydice_array_to_slice_shared_01(&decrypted));

usr.bin/ssh/libcrux_internal.h

26352

Eurydice_array_to_slice_shared_01(&key_pair->public_key.public_key_hash),

usr.bin/ssh/libcrux_internal.h

26367

libcrux_ml_kem_utils_into_padded_array_66(Eurydice_array_to_slice_shared_01(&key_pair->private_key.implicit_rejection_value));

usr.bin/ssh/libcrux_internal.h

26388

Eurydice_array_to_slice_shared_01(&implicit_rejection_shared_secret),

usr.bin/ssh/libcrux_internal.h

26489

libcrux_ml_kem_ind_cca_unpacked_encaps_prepare_13(Eurydice_array_to_slice_shared_01(randomness),

usr.bin/ssh/libcrux_internal.h

26490

Eurydice_array_to_slice_shared_01(&public_key->public_key_hash));

usr.bin/ssh/libcrux_internal.h

26697

Eurydice_array_to_slice_shared_01(&out->public_key.ind_cpa_public_key.seed_for_A));

usr.bin/ssh/libcrux_internal.h

26929

Eurydice_array_to_slice_shared_01(&self->private_key.implicit_rejection_value),

usr.bin/ssh/libcrux_internal.h

27001

Eurydice_array_to_slice_shared_01(&self->ind_cpa_public_key.seed_for_A)));

usr.bin/ssh/libcrux_internal.h

27056

Eurydice_array_to_slice_shared_01(&self->ind_cpa_public_key.seed_for_A),