Symbol: libcrux_ml_dsa_encoding_commitment_serialize_vector_37