crypto/openssh/libcrux_internal.h

18522

Eurydice_array_to_slice_mut_205(&t0));

crypto/openssh/libcrux_internal.h

18530

libcrux_ml_dsa_arithmetic_power2round_vector_37(Eurydice_array_to_slice_mut_205(&t0),

crypto/openssh/libcrux_internal.h

18531

Eurydice_array_to_slice_mut_205(&t1));

crypto/openssh/libcrux_internal.h

18650

Eurydice_array_to_slice_mut_205(&s2_as_ntt));

crypto/openssh/libcrux_internal.h

18652

Eurydice_array_to_slice_mut_205(&t0_as_ntt));

crypto/openssh/libcrux_internal.h

18734

Eurydice_array_to_slice_mut_205(&a_x_mask));

crypto/openssh/libcrux_internal.h

18738

Eurydice_array_to_slice_mut_205(&w0),

crypto/openssh/libcrux_internal.h

18739

Eurydice_array_to_slice_mut_205(&commitment));

crypto/openssh/libcrux_internal.h

18772

libcrux_ml_dsa_matrix_vector_times_ring_element_37(Eurydice_array_to_slice_mut_205(&challenge_times_s2),

crypto/openssh/libcrux_internal.h

18778

Eurydice_array_to_slice_mut_205(&w0),

crypto/openssh/libcrux_internal.h

18799

libcrux_ml_dsa_matrix_vector_times_ring_element_37(Eurydice_array_to_slice_mut_205(&challenge_times_t0),

crypto/openssh/libcrux_internal.h

18808

Eurydice_array_to_slice_mut_205(&w0),

crypto/openssh/libcrux_internal.h

19197

Eurydice_array_to_slice_mut_205(&t1));

crypto/openssh/libcrux_internal.h

19282

Eurydice_array_to_slice_mut_205(&t1));

crypto/openssh/libcrux_internal.h

19286

Eurydice_array_to_slice_mut_205(&t1));