Skip to content

Commit f10d66b

Browse files
jakemasmkannwischer
jakemas
authored and
mkannwischer
committed
Add MLD_CONFIG_PARAM_SET
Signed-off-by: Jake Massimo <[email protected]>
1 parent 25fa4bc commit f10d66b

27 files changed

+296
-162
lines changed

‎.github/actions/cbmc/action.yml‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,7 @@ inputs:
1818
custom_shell:
1919
description: The shell to use. Only relevant if use-nix is 'false'
2020
default: "bash"
21-
mldsa_mode:
21+
mldsa_parameter_set:
2222
description: "Security level for ML-DSA (2,3,5)"
2323
default: "2"
2424
gh_token:
@@ -50,9 +50,9 @@ runs:
5050
- Cadical Version $(cadical --version)
5151
- $(bash --version | grep -m1 "")
5252
EOF
53-
- name: Run CBMC proofs (MLDSA_MODE=${{ inputs.mldsa_mode }})
53+
- name: Run CBMC proofs (MLD_CONFIG_PARAMETER_SET=${{ inputs.mldsa_parameter_set }})
5454
shell: ${{ env.SHELL }}
5555
run: |
56-
echo "::group::cbmc_${{ inputs.mldsa_mode }}"
57-
tests cbmc --mode ${{ inputs.mldsa_mode }};
56+
echo "::group::cbmc_${{ inputs.mldsa_parameter_set }}"
57+
tests cbmc --mldsa_parameter_set ${{ inputs.mldsa_parameter_set }};
5858
echo "::endgroup::"

‎.github/workflows/cbmc.yml‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -28,7 +28,7 @@ jobs:
2828
kattest: false
2929
acvptest: false
3030
cbmc: true
31-
cbmc_mldsa_mode: 2
31+
cbmc_mldsa_parameter_set: 44
3232
secrets: inherit
3333
cbmc_65:
3434
name: CBMC (ML-DSA-65)
@@ -50,7 +50,7 @@ jobs:
5050
kattest: false
5151
acvptest: false
5252
cbmc: true
53-
cbmc_mldsa_mode: 3
53+
cbmc_mldsa_parameter_set: 65
5454
secrets: inherit
5555
cbmc_87:
5656
name: CBMC (ML-DSA-87)
@@ -72,5 +72,5 @@ jobs:
7272
kattest: false
7373
acvptest: false
7474
cbmc: true
75-
cbmc_mldsa_mode: 5
75+
cbmc_mldsa_parameter_set: 87
7676
secrets: inherit

‎.github/workflows/ci_ec2_reusable.yml‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -65,9 +65,9 @@ on:
6565
slothy:
6666
type: boolean
6767
default: false
68-
cbmc_mldsa_mode:
68+
cbmc_mldsa_parameter_set:
6969
type: string
70-
default: 2
70+
default: 44
7171
env:
7272
AWS_ROLE: arn:aws:iam::904233116199:role/mldsa-native-ci
7373
AWS_REGION: us-east-1
@@ -185,7 +185,7 @@ jobs:
185185
with:
186186
nix-shell: ci-cbmc
187187
nix-verbose: ${{ inputs.verbose }}
188-
mldsa_mode: ${{ inputs.cbmc_mldsa_mode }}
188+
mldsa_parameter_set: ${{ inputs.cbmc_mldsa_parameter_set }}
189189
gh_token: ${{ secrets.AWS_GITHUB_TOKEN }}
190190
# - name: SLOTHY
191191
# if: ${{ inputs.slothy }}

‎Makefile.Microsoft_nmake‎

Lines changed: 12 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -31,57 +31,57 @@ OPT = 0
3131
# compilation for mldsa44
3232
{mldsa}.c{$(MLDSA44_BUILD_DIR)\mldsa}.obj::
3333
@if NOT EXIST $(MLDSA44_BUILD_DIR)\mldsa mkdir $(MLDSA44_BUILD_DIR)\mldsa
34-
$(CC) $(CFLAGS) /D MLDSA_MODE=2 /c /Fo$(MLDSA44_BUILD_DIR)\mldsa\ $<
34+
$(CC) $(CFLAGS) /D MLD_CONFIG_PARAMETER_SET=44 /c /Fo$(MLDSA44_BUILD_DIR)\mldsa\ $<
3535

3636
{mldsa\fips202}.c{$(MLDSA44_BUILD_DIR)\mldsa\fips202}.obj::
3737
@if NOT EXIST $(MLDSA44_BUILD_DIR)\mldsa\fips202 mkdir $(MLDSA44_BUILD_DIR)\mldsa\fips202
38-
$(CC) $(CFLAGS) /D MLDSA_MODE=2 /c /Fo$(MLDSA44_BUILD_DIR)\mldsa\fips202\ $<
38+
$(CC) $(CFLAGS) /D MLD_CONFIG_PARAMETER_SET=44 /c /Fo$(MLDSA44_BUILD_DIR)\mldsa\fips202\ $<
3939

4040
{test}.c{$(MLDSA44_BUILD_DIR)\test}.obj::
4141
@if NOT EXIST $(MLDSA44_BUILD_DIR)\test mkdir $(MLDSA44_BUILD_DIR)\test
42-
$(CC) $(CFLAGS) /D MLDSA_MODE=2 /c /Fo$(MLDSA44_BUILD_DIR)\test\ $<
42+
$(CC) $(CFLAGS) /D MLD_CONFIG_PARAMETER_SET=44 /c /Fo$(MLDSA44_BUILD_DIR)\test\ $<
4343

4444
# compilation for mldsa65
4545
{mldsa}.c{$(MLDSA65_BUILD_DIR)\mldsa}.obj::
4646
@if NOT EXIST $(MLDSA65_BUILD_DIR)\mldsa mkdir $(MLDSA65_BUILD_DIR)\mldsa
47-
$(CC) $(CFLAGS) /D MLDSA_MODE=3 /c /Fo$(MLDSA65_BUILD_DIR)\mldsa\ $<
47+
$(CC) $(CFLAGS) /D MLD_CONFIG_PARAMETER_SET=65 /c /Fo$(MLDSA65_BUILD_DIR)\mldsa\ $<
4848

4949
{mldsa\fips202}.c{$(MLDSA65_BUILD_DIR)\mldsa\fips202}.obj::
5050
@if NOT EXIST $(MLDSA65_BUILD_DIR)\mldsa\fips202 mkdir $(MLDSA65_BUILD_DIR)\mldsa\fips202
51-
$(CC) $(CFLAGS) /D MLDSA_MODE=3 /c /Fo$(MLDSA65_BUILD_DIR)\mldsa\fips202\ $<
51+
$(CC) $(CFLAGS) /D MLD_CONFIG_PARAMETER_SET=65 /c /Fo$(MLDSA65_BUILD_DIR)\mldsa\fips202\ $<
5252

5353
{test}.c{$(MLDSA65_BUILD_DIR)\test}.obj::
5454
@if NOT EXIST $(MLDSA65_BUILD_DIR)\test mkdir $(MLDSA65_BUILD_DIR)\test
55-
$(CC) $(CFLAGS) /D MLDSA_MODE=3 /c /Fo$(MLDSA65_BUILD_DIR)\test\ $<
55+
$(CC) $(CFLAGS) /D MLD_CONFIG_PARAMETER_SET=65 /c /Fo$(MLDSA65_BUILD_DIR)\test\ $<
5656

5757
# compilation for mldsa87
5858
{mldsa}.c{$(MLDSA87_BUILD_DIR)\mldsa}.obj::
5959
@if NOT EXIST $(MLDSA87_BUILD_DIR)\mldsa mkdir $(MLDSA87_BUILD_DIR)\mldsa
60-
$(CC) $(CFLAGS) /D MLDSA_MODE=5 /c /Fo$(MLDSA87_BUILD_DIR)\mldsa\ $<
60+
$(CC) $(CFLAGS) /D MLD_CONFIG_PARAMETER_SET=87 /c /Fo$(MLDSA87_BUILD_DIR)\mldsa\ $<
6161

6262
{mldsa\fips202}.c{$(MLDSA87_BUILD_DIR)\mldsa\fips202}.obj::
6363
@if NOT EXIST $(MLDSA87_BUILD_DIR)\mldsa\fips202 mkdir $(MLDSA87_BUILD_DIR)\mldsa\fips202
64-
$(CC) $(CFLAGS) /D MLDSA_MODE=5 /c /Fo$(MLDSA87_BUILD_DIR)\mldsa\fips202\ $<
64+
$(CC) $(CFLAGS) /D MLD_CONFIG_PARAMETER_SET=87 /c /Fo$(MLDSA87_BUILD_DIR)\mldsa\fips202\ $<
6565

6666
{test}.c{$(MLDSA87_BUILD_DIR)\test}.obj::
6767
@if NOT EXIST $(MLDSA87_BUILD_DIR)\test mkdir $(MLDSA87_BUILD_DIR)\test
68-
$(CC) $(CFLAGS) /D MLDSA_MODE=5 /c /Fo$(MLDSA87_BUILD_DIR)\test\ $<
68+
$(CC) $(CFLAGS) /D MLD_CONFIG_PARAMETER_SET=87 /c /Fo$(MLDSA87_BUILD_DIR)\test\ $<
6969

7070

7171
# compile functional test for mldsa44
7272
test_mldsa44: $(OBJ_FILES_44) $(MLDSA44_BUILD_DIR)\test\test_mldsa.obj $(BUILD_DIR)\randombytes\notrandombytes.obj
7373
@if NOT EXIST $(MLDSA44_BUILD_DIR)\bin mkdir $(MLDSA44_BUILD_DIR)\bin
74-
$(CC) $(CFLAGS) /D MLDSA_MODE=2 /Fe$(MLDSA44_BUILD_DIR)\bin\test_mldsa44 $** /link
74+
$(CC) $(CFLAGS) /D MLD_CONFIG_PARAMETER_SET=44 /Fe$(MLDSA44_BUILD_DIR)\bin\test_mldsa44 $** /link
7575

7676
# compile functional test for mldsa65
7777
test_mldsa65: $(OBJ_FILES_65) $(MLDSA65_BUILD_DIR)\test\test_mldsa.obj $(BUILD_DIR)\randombytes\notrandombytes.obj
7878
@if NOT EXIST $(MLDSA65_BUILD_DIR)\bin mkdir $(MLDSA65_BUILD_DIR)\bin
79-
$(CC) $(CFLAGS) /D MLDSA_MODE=3 /Fe$(MLDSA65_BUILD_DIR)\bin\test_mldsa65 $** /link
79+
$(CC) $(CFLAGS) /D MLD_CONFIG_PARAMETER_SET=65 /Fe$(MLDSA65_BUILD_DIR)\bin\test_mldsa65 $** /link
8080

8181
# compile functional test for mldsa87
8282
test_mldsa87: $(OBJ_FILES_87) $(MLDSA87_BUILD_DIR)\test\test_mldsa.obj $(BUILD_DIR)\randombytes\notrandombytes.obj
8383
@if NOT EXIST $(MLDSA87_BUILD_DIR)\bin mkdir $(MLDSA87_BUILD_DIR)\bin
84-
$(CC) $(CFLAGS) /D MLDSA_MODE=5 /Fe$(MLDSA87_BUILD_DIR)\bin\test_mldsa87 $** /link
84+
$(CC) $(CFLAGS) /D MLD_CONFIG_PARAMETER_SET=87 /Fe$(MLDSA87_BUILD_DIR)\bin\test_mldsa87 $** /link
8585

8686
quickcheck: test_mldsa44 test_mldsa65 test_mldsa87
8787
$(MLDSA44_BUILD_DIR)\bin\test_mldsa44.exe

‎integration/liboqs/ML-DSA-44_META.yml‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -23,7 +23,7 @@ implementations:
2323
- name: ref
2424
version: FIPS204
2525
folder_name: .
26-
compile_opts: -DMLDSA_MODE=2 -DMLD_CONFIG_FILE="../integration/liboqs/config_c.h"
26+
compile_opts: -DMLD_CONFIG_PARAMETER_SET=44 -DMLD_CONFIG_FILE="../integration/liboqs/config_c.h"
2727
signature_keypair: PQCP_MLDSA_NATIVE_MLDSA44_C_keypair
2828
signature_signature: PQCP_MLDSA_NATIVE_MLDSA44_C_signature
2929
signature_verify: PQCP_MLDSA_NATIVE_MLDSA44_C_verify
@@ -32,7 +32,7 @@ implementations:
3232
- name: x86_64
3333
version: FIPS204
3434
folder_name: .
35-
compile_opts: -DMLDSA_MODE=2 -DMLD_CONFIG_FILE="../integration/liboqs/config_x86_64.h"
35+
compile_opts: -DMLD_CONFIG_PARAMETER_SET=44 -DMLD_CONFIG_FILE="../integration/liboqs/config_x86_64.h"
3636
signature_keypair: PQCP_MLDSA_NATIVE_MLDSA44_X86_64_keypair
3737
signature_signature: PQCP_MLDSA_NATIVE_MLDSA44_X86_64_signature
3838
signature_verify: PQCP_MLDSA_NATIVE_MLDSA44_X86_64_verify
@@ -50,7 +50,7 @@ implementations:
5050
- name: aarch64
5151
version: FIPS204
5252
folder_name: .
53-
compile_opts: -DMLDSA_MODE=2 -DMLD_CONFIG_FILE="../integration/liboqs/config_aarch64.h"
53+
compile_opts: -DMLD_CONFIG_PARAMETER_SET=44 -DMLD_CONFIG_FILE="../integration/liboqs/config_aarch64.h"
5454
signature_keypair: PQCP_MLDSA_NATIVE_MLDSA44_AARCH64_keypair
5555
signature_signature: PQCP_MLDSA_NATIVE_MLDSA44_AARCH64_signature
5656
signature_verify: PQCP_MLDSA_NATIVE_MLDSA44_AARCH64_verify

‎integration/liboqs/ML-DSA-65_META.yml‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -23,7 +23,7 @@ implementations:
2323
- name: ref
2424
version: FIPS204
2525
folder_name: .
26-
compile_opts: -DMLDSA_MODE=3 -DMLD_CONFIG_FILE="../integration/liboqs/config_c.h"
26+
compile_opts: -DMLD_CONFIG_PARAMETER_SET=65 -DMLD_CONFIG_FILE="../integration/liboqs/config_c.h"
2727
signature_keypair: PQCP_MLDSA_NATIVE_MLDSA65_C_keypair
2828
signature_signature: PQCP_MLDSA_NATIVE_MLDSA65_C_signature
2929
signature_verify: PQCP_MLDSA_NATIVE_MLDSA65_C_verify
@@ -32,7 +32,7 @@ implementations:
3232
- name: x86_64
3333
version: FIPS204
3434
folder_name: .
35-
compile_opts: -DMLDSA_MODE=3 -DMLD_CONFIG_FILE="../integration/liboqs/config_x86_64.h"
35+
compile_opts: -DMLD_CONFIG_PARAMETER_SET=65 -DMLD_CONFIG_FILE="../integration/liboqs/config_x86_64.h"
3636
signature_keypair: PQCP_MLDSA_NATIVE_MLDSA65_X86_64_keypair
3737
signature_signature: PQCP_MLDSA_NATIVE_MLDSA65_X86_64_signature
3838
signature_verify: PQCP_MLDSA_NATIVE_MLDSA65_X86_64_verify
@@ -50,7 +50,7 @@ implementations:
5050
- name: aarch64
5151
version: FIPS204
5252
folder_name: .
53-
compile_opts: -DMLDSA_MODE=3 -DMLD_CONFIG_FILE="../integration/liboqs/config_aarch64.h"
53+
compile_opts: -DMLD_CONFIG_PARAMETER_SET=65 -DMLD_CONFIG_FILE="../integration/liboqs/config_aarch64.h"
5454
signature_keypair: PQCP_MLDSA_NATIVE_MLDSA65_AARCH64_keypair
5555
signature_signature: PQCP_MLDSA_NATIVE_MLDSA65_AARCH64_signature
5656
signature_verify: PQCP_MLDSA_NATIVE_MLDSA65_AARCH64_verify

‎integration/liboqs/ML-DSA-87_META.yml‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -23,7 +23,7 @@ implementations:
2323
- name: ref
2424
version: FIPS204
2525
folder_name: .
26-
compile_opts: -DMLDSA_MODE=5 -DMLD_CONFIG_FILE="../integration/liboqs/config_c.h"
26+
compile_opts: -DMLD_CONFIG_PARAMETER_SET=87 -DMLD_CONFIG_FILE="../integration/liboqs/config_c.h"
2727
signature_keypair: PQCP_MLDSA_NATIVE_MLDSA87_C_keypair
2828
signature_signature: PQCP_MLDSA_NATIVE_MLDSA87_C_signature
2929
signature_verify: PQCP_MLDSA_NATIVE_MLDSA87_C_verify
@@ -32,7 +32,7 @@ implementations:
3232
- name: x86_64
3333
version: FIPS204
3434
folder_name: .
35-
compile_opts: -DMLDSA_MODE=5 -DMLD_CONFIG_FILE="../integration/liboqs/config_x86_64.h"
35+
compile_opts: -DMLD_CONFIG_PARAMETER_SET=87 -DMLD_CONFIG_FILE="../integration/liboqs/config_x86_64.h"
3636
signature_keypair: PQCP_MLDSA_NATIVE_MLDSA87_X86_64_keypair
3737
signature_signature: PQCP_MLDSA_NATIVE_MLDSA87_X86_64_signature
3838
signature_verify: PQCP_MLDSA_NATIVE_MLDSA87_X86_64_verify
@@ -49,7 +49,7 @@ implementations:
4949
- name: aarch64
5050
version: FIPS204
5151
folder_name: .
52-
compile_opts: -DMLDSA_MODE=5 -DMLD_CONFIG_FILE="../integration/liboqs/config_aarch64.h"
52+
compile_opts: -DMLD_CONFIG_PARAMETER_SET=87 -DMLD_CONFIG_FILE="../integration/liboqs/config_aarch64.h"
5353
signature_keypair: PQCP_MLDSA_NATIVE_MLDSA87_AARCH64_keypair
5454
signature_signature: PQCP_MLDSA_NATIVE_MLDSA87_AARCH64_signature
5555
signature_verify: PQCP_MLDSA_NATIVE_MLDSA87_AARCH64_verify

‎integration/liboqs/config_aarch64.h‎

Lines changed: 17 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -32,17 +32,29 @@
3232
#define MLD_CONFIG_FIPS202X4_CUSTOM_HEADER \
3333
"../integration/liboqs/fips202x4_glue.h"
3434

35-
#ifndef MLDSA_MODE
36-
#define MLDSA_MODE 2
35+
/******************************************************************************
36+
* Name: MLD_CONFIG_PARAMETER_SET
37+
*
38+
* Description: Specifies the parameter set for ML-DSA
39+
* - MLD_CONFIG_PARAMETER_SET=44 corresponds to ML-DSA-44
40+
* - MLD_CONFIG_PARAMETER_SET=65 corresponds to ML-DSA-65
41+
* - MLD_CONFIG_PARAMETER_SET=87 corresponds to ML-DSA-87
42+
*
43+
* This can also be set using CFLAGS.
44+
*
45+
*****************************************************************************/
46+
#ifndef MLD_CONFIG_PARAMETER_SET
47+
#define MLD_CONFIG_PARAMETER_SET \
48+
44 /* Change this for different security strengths */
3749
#endif
3850

39-
#if MLDSA_MODE == 2
51+
#if MLD_CONFIG_PARAMETER_SET == 44
4052
#define MLD_NAMESPACETOP PQCP_MLDSA_NATIVE_MLDSA44_AARCH64_
4153
#define MLD_NAMESPACE(s) PQCP_MLDSA_NATIVE_MLDSA44_AARCH64_##s
42-
#elif MLDSA_MODE == 3
54+
#elif MLD_CONFIG_PARAMETER_SET == 65
4355
#define MLD_NAMESPACETOP PQCP_MLDSA_NATIVE_MLDSA65_AARCH64_
4456
#define MLD_NAMESPACE(s) PQCP_MLDSA_NATIVE_MLDSA65_AARCH64_##s
45-
#elif MLDSA_MODE == 5
57+
#elif MLD_CONFIG_PARAMETER_SET == 87
4658
#define MLD_NAMESPACETOP PQCP_MLDSA_NATIVE_MLDSA87_AARCH64_
4759
#define MLD_NAMESPACE(s) PQCP_MLDSA_NATIVE_MLDSA87_AARCH64_##s
4860
#endif

‎integration/liboqs/config_c.h‎

Lines changed: 17 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -31,17 +31,29 @@
3131
#define MLD_CONFIG_FIPS202X4_CUSTOM_HEADER \
3232
"../integration/liboqs/fips202x4_glue.h"
3333

34-
#ifndef MLDSA_MODE
35-
#define MLDSA_MODE 2
34+
/******************************************************************************
35+
* Name: MLD_CONFIG_PARAMETER_SET
36+
*
37+
* Description: Specifies the parameter set for ML-DSA
38+
* - MLD_CONFIG_PARAMETER_SET=44 corresponds to ML-DSA-44
39+
* - MLD_CONFIG_PARAMETER_SET=65 corresponds to ML-DSA-65
40+
* - MLD_CONFIG_PARAMETER_SET=87 corresponds to ML-DSA-87
41+
*
42+
* This can also be set using CFLAGS.
43+
*
44+
*****************************************************************************/
45+
#ifndef MLD_CONFIG_PARAMETER_SET
46+
#define MLD_CONFIG_PARAMETER_SET \
47+
44 /* Change this for different security strengths */
3648
#endif
3749

38-
#if MLDSA_MODE == 2
50+
#if MLD_CONFIG_PARAMETER_SET == 44
3951
#define MLD_NAMESPACETOP PQCP_MLDSA_NATIVE_MLDSA44_C_
4052
#define MLD_NAMESPACE(s) PQCP_MLDSA_NATIVE_MLDSA44_C_##s
41-
#elif MLDSA_MODE == 3
53+
#elif MLD_CONFIG_PARAMETER_SET == 65
4254
#define MLD_NAMESPACETOP PQCP_MLDSA_NATIVE_MLDSA65_C_
4355
#define MLD_NAMESPACE(s) PQCP_MLDSA_NATIVE_MLDSA65_C_##s
44-
#elif MLDSA_MODE == 5
56+
#elif MLD_CONFIG_PARAMETER_SET == 87
4557
#define MLD_NAMESPACETOP PQCP_MLDSA_NATIVE_MLDSA87_C_
4658
#define MLD_NAMESPACE(s) PQCP_MLDSA_NATIVE_MLDSA87_C_##s
4759
#endif

‎integration/liboqs/config_x86_64.h‎

Lines changed: 17 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -31,17 +31,29 @@
3131
#define MLD_CONFIG_FIPS202X4_CUSTOM_HEADER \
3232
"../integration/liboqs/fips202x4_glue.h"
3333

34-
#ifndef MLDSA_MODE
35-
#define MLDSA_MODE 2
34+
/******************************************************************************
35+
* Name: MLD_CONFIG_PARAMETER_SET
36+
*
37+
* Description: Specifies the parameter set for ML-DSA
38+
* - MLD_CONFIG_PARAMETER_SET=44 corresponds to ML-DSA-44
39+
* - MLD_CONFIG_PARAMETER_SET=65 corresponds to ML-DSA-65
40+
* - MLD_CONFIG_PARAMETER_SET=87 corresponds to ML-DSA-87
41+
*
42+
* This can also be set using CFLAGS.
43+
*
44+
*****************************************************************************/
45+
#ifndef MLD_CONFIG_PARAMETER_SET
46+
#define MLD_CONFIG_PARAMETER_SET \
47+
44 /* Change this for different security strengths */
3648
#endif
3749

38-
#if MLDSA_MODE == 2
50+
#if MLD_CONFIG_PARAMETER_SET == 44
3951
#define MLD_NAMESPACETOP PQCP_MLDSA_NATIVE_MLDSA44_X86_64_
4052
#define MLD_NAMESPACE(s) PQCP_MLDSA_NATIVE_MLDSA44_X86_64_##s
41-
#elif MLDSA_MODE == 3
53+
#elif MLD_CONFIG_PARAMETER_SET == 65
4254
#define MLD_NAMESPACETOP PQCP_MLDSA_NATIVE_MLDSA65_X86_64_
4355
#define MLD_NAMESPACE(s) PQCP_MLDSA_NATIVE_MLDSA65_X86_64_##s
44-
#elif MLDSA_MODE == 5
56+
#elif MLD_CONFIG_PARAMETER_SET == 87
4557
#define MLD_NAMESPACETOP PQCP_MLDSA_NATIVE_MLDSA87_X86_64_
4658
#define MLD_NAMESPACE(s) PQCP_MLDSA_NATIVE_MLDSA87_X86_64_##s
4759
#endif

0 commit comments

Comments
 (0)