Update CT files [full tests] [extended tests]

Signed-off-by: Basil Hess <bhe@zurich.ibm.com>
open-quantum-safe · Jan 21, 2025 · fbbee3e · fbbee3e
1 parent 1eebf31
commit fbbee3e
Showing 1 changed file with 16 additions and 10 deletions.
diff --git a/tests/constant_time/kem/passes/ml_kem b/tests/constant_time/kem/passes/ml_kem
@@ -1,21 +1,27 @@
 {
-   Rejection sampling to produce public "A" matrix
+   The parts of sk being hashed and compared here are public.
    Memcheck:Cond
-   fun:rej_uniform
-   fun:pqcrystals_ml_kem*_ref_gen_matrix
-   fun:pqcrystals_ml_kem*_ref_indcpa_*
+   fun:PQCP_MLKEM_NATIVE_MLKEM*_check_sk
+   fun:PQCP_MLKEM_NATIVE_MLKEM*_dec
 }
 {
-   Rejection sampling to produce public "A" matrix
+   The parts of sk being hashed and compared here are public.
+   Memcheck:Cond
+   fun:bcmp
+   fun:PQCP_MLKEM_NATIVE_MLKEM*_check_sk
+   fun:PQCP_MLKEM_NATIVE_MLKEM*_dec
+}
+{
+   <insert_a_suppression_name_here>
    Memcheck:Cond
    ...
-   fun:pqcrystals_ml_kem*_avx2_gen_matrix
-   fun:pqcrystals_ml_kem*_avx2_indcpa_*
+   fun:PQCP_MLKEM_NATIVE_MLKEM*_gen_matrix
+   fun:PQCP_MLKEM_NATIVE_MLKEM*_indcpa_*
 }
 {
-   Rejection sampling to produce public "A" matrix
+   <insert_a_suppression_name_here>
    Memcheck:Value8
    ...
-   fun:pqcrystals_ml_kem*_avx2_gen_matrix
-   fun:pqcrystals_ml_kem*_avx2_indcpa_*
+   fun:PQCP_MLKEM_NATIVE_MLKEM*_gen_matrix
+   fun:PQCP_MLKEM_NATIVE_MLKEM*_indcpa_*
 }