usr.bin/ssh/libcrux_internal.h

14480

Eurydice_slice_copy(Eurydice_slice_subslice_mut_c8(out_commitment_hash,

usr.bin/ssh/libcrux_internal.h

14721

Eurydice_slice_copy(Eurydice_slice_subslice_mut_c8(signature,

usr.bin/ssh/libcrux_internal.h

15354

Eurydice_slice_copy(Eurydice_slice_subslice_mut_c8(verification_key_serialized,

usr.bin/ssh/libcrux_internal.h

16902

Eurydice_slice_copy(Eurydice_slice_subslice_mut_c8(signing_key_serialized,

usr.bin/ssh/libcrux_internal.h

16912

Eurydice_slice_copy(Eurydice_slice_subslice_mut_c8(signing_key_serialized,

usr.bin/ssh/libcrux_internal.h

16925

Eurydice_slice_copy(Eurydice_slice_subslice_mut_c8(signing_key_serialized,

usr.bin/ssh/libcrux_internal.h

17046

Eurydice_slice_copy(Eurydice_array_to_slice_mut_201(&s1_ntt),

usr.bin/ssh/libcrux_internal.h

18503

Eurydice_slice_copy(Eurydice_array_to_slice_mut_204(&s1_ntt),

usr.bin/ssh/libcrux_internal.h

19544

Eurydice_slice_copy(Eurydice_array_to_slice_mut_208(&s1_ntt),

usr.bin/ssh/libcrux_internal.h

23415

Eurydice_slice_copy(Eurydice_array_to_subslice_mut_d46(&serialized,

usr.bin/ssh/libcrux_internal.h

24708

Eurydice_slice_copy(Eurydice_array_to_subslice_mut_d413(&serialized,

usr.bin/ssh/libcrux_internal.h

24768

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

usr.bin/ssh/libcrux_internal.h

24993

Eurydice_slice_copy(Eurydice_slice_subslice_mut_c8(serialized,

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

25224

Eurydice_slice_copy(Eurydice_array_to_subslice_from_mut_5f1(&to_hash0,

usr.bin/ssh/libcrux_internal.h

25244

Eurydice_slice_copy(uu____2, libcrux_ml_kem_types_as_ref_c1_52(ciphertext), 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

25387

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

usr.bin/ssh/libcrux_internal.h

25490

Eurydice_slice_copy(Eurydice_array_to_subslice_mut_d412(&seed,

usr.bin/ssh/libcrux_internal.h

25731

Eurydice_slice_copy(Eurydice_array_to_subslice_mut_d415(&serialized,

usr.bin/ssh/libcrux_internal.h

25774

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

usr.bin/ssh/libcrux_internal.h

25803

Eurydice_slice_copy(Eurydice_array_to_subslice_from_mut_5f4(serialized,

usr.bin/ssh/libcrux_internal.h

25906

Eurydice_slice_copy(Eurydice_array_to_subslice_mut_d417(serialized,

usr.bin/ssh/libcrux_internal.h

25916

Eurydice_slice_copy(Eurydice_array_to_subslice_mut_d417(serialized,

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

25934

Eurydice_slice_copy(Eurydice_array_to_subslice_mut_d417(serialized,

usr.bin/ssh/libcrux_internal.h

26351

Eurydice_slice_copy(uu____0,

usr.bin/ssh/libcrux_internal.h

26372

Eurydice_slice_copy(uu____2, libcrux_ml_kem_types_as_ref_c1_52(ciphertext), uint8_t);

usr.bin/ssh/libcrux_internal.h

26455

Eurydice_slice_copy(Eurydice_array_to_subslice_from_mut_5f1(&to_hash,

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

4256

Eurydice_slice_copy(Eurydice_array_to_subslice_mut_d41(&buffer,

usr.bin/ssh/libcrux_internal.h

5941

Eurydice_slice_copy(Eurydice_array_to_subslice_mut_d42(&buffer,

usr.bin/ssh/libcrux_internal.h

6073

Eurydice_slice_copy(Eurydice_slice_subslice_mut_c8(out,

usr.bin/ssh/libcrux_internal.h

6091

Eurydice_slice_copy(uu____0,

usr.bin/ssh/libcrux_internal.h

6240

Eurydice_slice_copy(Eurydice_slice_subslice_mut_c8(out,

usr.bin/ssh/libcrux_internal.h

6258

Eurydice_slice_copy(uu____0,

usr.bin/ssh/libcrux_internal.h

6519

Eurydice_slice_copy(Eurydice_array_to_subslice_from_mut_5f(&self->buf.data[i0],

usr.bin/ssh/libcrux_internal.h

6683

Eurydice_slice_copy(Eurydice_array_to_subslice_mut_d42(&self->buf.data[i0],

usr.bin/ssh/libcrux_internal.h

6990

Eurydice_slice_copy(Eurydice_array_to_subslice_mut_d43(&buffer,

usr.bin/ssh/libcrux_internal.h

7069

Eurydice_slice_copy(Eurydice_slice_subslice_mut_c8(out,

usr.bin/ssh/libcrux_internal.h

7087

Eurydice_slice_copy(uu____0,

usr.bin/ssh/libcrux_internal.h

7189

Eurydice_slice_copy(Eurydice_array_to_subslice_mut_d42(&buffer,

usr.bin/ssh/libcrux_internal.h

7481

Eurydice_slice_copy(Eurydice_array_to_subslice_mut_d44(&buffer,

usr.bin/ssh/libcrux_internal.h

7560

Eurydice_slice_copy(Eurydice_slice_subslice_mut_c8(out,

usr.bin/ssh/libcrux_internal.h

7578

Eurydice_slice_copy(uu____0,

usr.bin/ssh/libcrux_internal.h

7759

Eurydice_slice_copy(Eurydice_array_to_subslice_mut_d45(&buffer,

usr.bin/ssh/libcrux_internal.h

7838

Eurydice_slice_copy(Eurydice_slice_subslice_mut_c8(out,

usr.bin/ssh/libcrux_internal.h

7856

Eurydice_slice_copy(uu____0,

usr.bin/ssh/libcrux_internal.h

8109

Eurydice_slice_copy(Eurydice_array_to_subslice_from_mut_5f0(&self->buf.data[i0],

usr.bin/ssh/libcrux_internal.h

8273

Eurydice_slice_copy(Eurydice_array_to_subslice_mut_d41(&self->buf.data[i0],

usr.bin/ssh/libcrux_internal.h

8703

Eurydice_slice_copy(Eurydice_array_to_subslice_mut_d46(&out,

usr.bin/ssh/libcrux_internal.h

8864

Eurydice_slice_copy(Eurydice_array_to_subslice_mut_d412(&out,

usr.bin/ssh/libcrux_internal.h

8883

Eurydice_slice_copy(Eurydice_array_to_subslice_mut_d40(&out,

usr.bin/ssh/libcrux_internal.h

8916

Eurydice_slice_copy(Eurydice_array_to_subslice_mut_d411(&out,

usr.bin/ssh/libcrux_internal.h

8935

Eurydice_slice_copy(Eurydice_array_to_subslice_mut_d410(&out,

usr.bin/ssh/libcrux_internal.h

9323

Eurydice_slice_copy(Eurydice_array_to_subslice_mut_d4(&out,

usr.bin/ssh/libcrux_internal.h

9356

Eurydice_slice_copy(Eurydice_array_to_subslice_mut_d40(&out,

usr.bin/ssh/libcrux_internal.h

9526

Eurydice_slice_copy(Eurydice_array_to_slice_mut_fd(out),

usr.bin/ssh/libcrux_internal.h

9555

Eurydice_slice_copy(out, Eurydice_array_to_slice_shared_fd(value), int32_t);