Eurydice_array_to_slice_mut_201
Eurydice_slice_copy(Eurydice_array_to_slice_mut_201(&s1_ntt),
Eurydice_array_to_slice_mut_201(&t0));
libcrux_ml_dsa_arithmetic_power2round_vector_37(Eurydice_array_to_slice_mut_201(&t0),
Eurydice_array_to_slice_mut_201(&t1));
Eurydice_array_to_slice_mut_201(&s1_as_ntt));
Eurydice_array_to_slice_mut_201(&s2_as_ntt));
Eurydice_array_to_slice_mut_201(&t0_as_ntt));
Eurydice_array_to_slice_mut_201(&mask));
Eurydice_array_to_slice_mut_201(&a_x_mask));
Eurydice_array_to_slice_mut_201(&w0),
Eurydice_array_to_slice_mut_201(&commitment));
libcrux_ml_dsa_matrix_vector_times_ring_element_37(Eurydice_array_to_slice_mut_201(&challenge_times_s1),
libcrux_ml_dsa_matrix_vector_times_ring_element_37(Eurydice_array_to_slice_mut_201(&challenge_times_s2),
Eurydice_array_to_slice_mut_201(&mask),
Eurydice_array_to_slice_mut_201(&w0),
libcrux_ml_dsa_matrix_vector_times_ring_element_37(Eurydice_array_to_slice_mut_201(&challenge_times_t0),
Eurydice_array_to_slice_mut_201(&w0),
Eurydice_array_to_slice_mut_201(&t1));
Eurydice_array_to_slice_mut_201(&deserialized_signer_response),
Eurydice_array_to_slice_mut_201(&t1));
Eurydice_array_to_slice_mut_201(&t1));