wip(problematic): correct the bound to MLD_INTT_BOUND

willieyz · willieyz · commit 8b12dbf38fcd · 2025-08-13T17:36:20.000+08:00
Signed-off-by: willieyz &lt;willie.zhao@chelpis.com&gt;
diff --git a/mldsa/poly.c b/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 */
 
diff --git a/mldsa/polyvec.c b/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,

Original file line number	Diff line number	Diff line change
`@@ -137,7 +137,7 @@ void mld_poly_invntt_tomont(mld_poly *a)`
`137`	`137`	`{`
`138`	`138`	`mld_assert_abs_bound(a->coeffs, MLDSA_N, MLDSA_Q);`
`139`	`139`	`mld_intt_native(a->coeffs);`
`140`		`- mld_assert_abs_bound(a->coeffs, MLDSA_N, MLDSA_Q);`
	`140`	`+ mld_assert_abs_bound(a->coeffs, MLDSA_N, MLD_INTT_BOUND);`
`141`	`141`	`}`
`142`	`142`	`#endif /* MLD_USE_NATIVE_INTT */`
`143`	`143`
Original file line number	Diff line number	Diff line change
`@@ -240,7 +240,7 @@ void mld_polyvecl_invntt_tomont(mld_polyvecl *v)`
`240`	`240`	`mld_poly_invntt_tomont(&v->vec[i]);`
`241`	`241`	`}`
`242`	`242`
`243`		`- mld_assert_abs_bound_2d(v->vec, MLDSA_L, MLDSA_N, MLD_NTT_BOUND);`
	`243`	`+ mld_assert_abs_bound_2d(v->vec, MLDSA_L, MLDSA_N, MLD_INTT_BOUND);`
`244`	`244`	`}`
`245`	`245`
`246`	`246`	`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)`
`483`	`483`	`mld_poly_invntt_tomont(&v->vec[i]);`
`484`	`484`	`}`
`485`	`485`
`486`		`- mld_assert_abs_bound_2d(v->vec, MLDSA_K, MLDSA_N, MLD_NTT_BOUND);`
	`486`	`+ mld_assert_abs_bound_2d(v->vec, MLDSA_K, MLDSA_N, MLD_INTT_BOUND);`
`487`	`487`	`}`
`488`	`488`
`489`	`489`	`void mld_polyveck_pointwise_poly_montgomery(mld_polyveck r, const mld_poly a,`