ossl_ml_dsa_key_compress_high_bits
return ossl_ml_dsa_key_compress_high_bits(r, gamma2)
!= ossl_ml_dsa_key_compress_high_bits(r_plus_z, gamma2);
*r1 = ossl_ml_dsa_key_compress_high_bits(r, gamma2);
uint32_t ossl_ml_dsa_key_compress_high_bits(uint32_t r, uint32_t gamma2);
out->coeff[i] = ossl_ml_dsa_key_compress_high_bits(in->coeff[i], gamma2);