usr.bin/ssh/libcrux_internal.h

17021

Eurydice_array_to_slice_mut_20(&s1_s2));

usr.bin/ssh/libcrux_internal.h

19563

Eurydice_array_to_slice_mut_20(&t0));

usr.bin/ssh/libcrux_internal.h

19571

libcrux_ml_dsa_arithmetic_power2round_vector_37(Eurydice_array_to_slice_mut_20(&t0),

usr.bin/ssh/libcrux_internal.h

19572

Eurydice_array_to_slice_mut_20(&t1));

usr.bin/ssh/libcrux_internal.h

19691

Eurydice_array_to_slice_mut_20(&s2_as_ntt));

usr.bin/ssh/libcrux_internal.h

19693

Eurydice_array_to_slice_mut_20(&t0_as_ntt));

usr.bin/ssh/libcrux_internal.h

19775

Eurydice_array_to_slice_mut_20(&a_x_mask));

usr.bin/ssh/libcrux_internal.h

19779

Eurydice_array_to_slice_mut_20(&w0),

usr.bin/ssh/libcrux_internal.h

19780

Eurydice_array_to_slice_mut_20(&commitment));

usr.bin/ssh/libcrux_internal.h

19813

libcrux_ml_dsa_matrix_vector_times_ring_element_37(Eurydice_array_to_slice_mut_20(&challenge_times_s2),

usr.bin/ssh/libcrux_internal.h

19819

Eurydice_array_to_slice_mut_20(&w0),

usr.bin/ssh/libcrux_internal.h

19840

libcrux_ml_dsa_matrix_vector_times_ring_element_37(Eurydice_array_to_slice_mut_20(&challenge_times_t0),

usr.bin/ssh/libcrux_internal.h

19849

Eurydice_array_to_slice_mut_20(&w0),

usr.bin/ssh/libcrux_internal.h

20238

Eurydice_array_to_slice_mut_20(&t1));

usr.bin/ssh/libcrux_internal.h

20323

Eurydice_array_to_slice_mut_20(&t1));

usr.bin/ssh/libcrux_internal.h

20327

Eurydice_array_to_slice_mut_20(&t1));