sharpetronics/liboqs
1
0
Fork 0
mirror of https://github.com/open-quantum-safe/liboqs.git synced 2025-10-04 00:02:01 -04:00
Code Issues Projects Releases Wiki Activity

Adjust constan-time test exception for mlkem-native [extended tests] (#2162)

Browse Source 
The constant-time tests have been failing for mlkem-native as check_sk changed it's name and is no no longer recognized as an exception.
This function processes exclusively public data in the secret key and it's, hence, okay to branch both inside the function and depending on the return value.

This commit renames the function in the constant_time exceptions file.

Signed-off-by: Matthias J. Kannwischer <matthias@kannwischer.eu>
This commit is contained in:
Matthias J. Kannwischer 2025-06-10 20:49:19 +08:00 committed by GitHub
parent a47d8926c9
commit 708b1052d5
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tests/constant_time/kem/passes/ml_kem
View File

@ -1,14 +1,14 @@
{
The parts of sk being hashed and compared here are public.
Memcheck:Cond
fun:PQCP_MLKEM_NATIVE_MLKEM*_check_sk
fun:mlk_check_sk
fun:PQCP_MLKEM_NATIVE_MLKEM*_dec
}
{
The parts of sk being hashed and compared here are public.
Memcheck:Cond
fun:bcmp
fun:PQCP_MLKEM_NATIVE_MLKEM*_check_sk
fun:mlk_check_sk
fun:PQCP_MLKEM_NATIVE_MLKEM*_dec
}
{