fix: change the MLD_INTT_BOUND to (3 * MLDSA_Q / 4), fix the debug test error

Signed-off-by: willieyz <[email protected]>

Author: willieyz

mldsa/ntt.h

@@ -12,7 +12,7 @@
 /* Absolute exclusive upper bound for the output of the forward NTT */
 #define MLD_NTT_BOUND (9 * MLDSA_Q)
 /* Absolute exclusive upper bound for the output of the inverse NTT*/
-#define MLD_INTT_BOUND 4211139
+#define MLD_INTT_BOUND (3 * MLDSA_Q / 4)
 
 #define mld_ntt MLD_NAMESPACE(ntt)
 /*************************************************

mldsa/poly.c

@@ -137,7 +137,7 @@ void mld_poly_invntt_tomont(mld_poly *a)
 {
   mld_assert_abs_bound(a->coeffs, MLDSA_N, MLDSA_Q);
   mld_intt_native(a->coeffs);
-  mld_assert_abs_bound(a->coeffs, MLDSA_N, MLDSA_Q);
+  mld_assert_abs_bound(a->coeffs, MLDSA_N, MLD_INTT_BOUND);
 }
 #endif /* MLD_USE_NATIVE_INTT */
 

mldsa/polyvec.c

@@ -240,7 +240,7 @@ void mld_polyvecl_invntt_tomont(mld_polyvecl *v)
     mld_poly_invntt_tomont(&v->vec[i]);
   }
 
-  mld_assert_abs_bound_2d(v->vec, MLDSA_L, MLDSA_N, MLD_NTT_BOUND);
+  mld_assert_abs_bound_2d(v->vec, MLDSA_L, MLDSA_N, MLD_INTT_BOUND);
 }
 
 void mld_polyvecl_pointwise_poly_montgomery(mld_polyvecl *r, const mld_poly *a,
@@ -483,7 +483,7 @@ void mld_polyveck_invntt_tomont(mld_polyveck *v)
     mld_poly_invntt_tomont(&v->vec[i]);
   }
 
-  mld_assert_abs_bound_2d(v->vec, MLDSA_K, MLDSA_N, MLD_NTT_BOUND);
+  mld_assert_abs_bound_2d(v->vec, MLDSA_K, MLDSA_N, MLD_INTT_BOUND);
 }
 
 void mld_polyveck_pointwise_poly_montgomery(mld_polyveck *r, const mld_poly *a,