Merge pull request #473 from pq-code-package/cleanup

Minor clean-up
pq-code-package · Dec 3, 2024 · c2e20e6 · c2e20e6 · oqs-bot · Dec 3, 2024
2 parents 3ae93fe + 980cbbe
commit c2e20e6
Show file tree

Hide file tree

Showing 31 changed files with 39 additions and 52 deletions.
diff --git a/Makefile b/Makefile
@@ -14,7 +14,7 @@ buildall: mlkem nistkat kat acvp
 	$(Q)echo "  Everything builds fine!"
 
 quickcheck: buildall
-        # Run basic functionality checks
+	# Run basic functionality checks
 	$(MLKEM512_DIR)/bin/test_mlkem512
 	$(MLKEM768_DIR)/bin/test_mlkem768
 	$(MLKEM1024_DIR)/bin/test_mlkem1024
@@ -47,9 +47,9 @@ nistkat: \
 	$(MLKEM1024_DIR)/bin/gen_NISTKAT1024
 
 kat: \
-  $(MLKEM512_DIR)/bin/gen_KAT512 \
-  $(MLKEM768_DIR)/bin/gen_KAT768 \
-  $(MLKEM1024_DIR)/bin/gen_KAT1024
+	$(MLKEM512_DIR)/bin/gen_KAT512 \
+	$(MLKEM768_DIR)/bin/gen_KAT768 \
+	$(MLKEM1024_DIR)/bin/gen_KAT1024
 
 # emulate ARM64 binary on x86_64 machine
 emulate:

diff --git a/cbmc/proofs/crypto_kem_dec/Makefile b/cbmc/proofs/crypto_kem_dec/Makefile
@@ -19,7 +19,7 @@ PROOF_SOURCES += $(PROOFDIR)/$(HARNESS_FILE).c
 PROJECT_SOURCES += $(SRCDIR)/mlkem/kem.c
 
 CHECK_FUNCTION_CONTRACTS=$(MLKEM_NAMESPACE)dec
-USE_FUNCTION_CONTRACTS= $(FIPS202_NAMESPACE)sha3_512 $(FIPS202_NAMESPACE)sha3_256 $(MLKEM_NAMESPACE)indcpa_enc $(MLKEM_NAMESPACE)indcpa_dec $(MLKEM_NAMESPACE)mlkem_shake256_rkprf $(MLKEM_NAMESPACE)ct_memcmp $(MLKEM_NAMESPACE)ct_cmov_zero memcmp
+USE_FUNCTION_CONTRACTS= $(FIPS202_NAMESPACE)sha3_512 $(FIPS202_NAMESPACE)sha3_256 $(MLKEM_NAMESPACE)indcpa_enc $(MLKEM_NAMESPACE)indcpa_dec $(MLKEM_NAMESPACE)mlkem_shake256_rkprf ct_memcmp ct_cmov_zero memcmp
 APPLY_LOOP_CONTRACTS=on
 USE_DYNAMIC_FRAMES=1
 

diff --git a/cbmc/proofs/ct_cmov_zero/Makefile b/cbmc/proofs/ct_cmov_zero/Makefile
@@ -18,7 +18,7 @@ UNWINDSET +=
 PROOF_SOURCES += $(PROOFDIR)/$(HARNESS_FILE).c
 PROJECT_SOURCES += $(SRCDIR)/mlkem/poly.c # Dummy source
 
-CHECK_FUNCTION_CONTRACTS=$(MLKEM_NAMESPACE)ct_cmov_zero
+CHECK_FUNCTION_CONTRACTS=ct_cmov_zero
 USE_FUNCTION_CONTRACTS=ct_sel_uint8
 APPLY_LOOP_CONTRACTS=on
 USE_DYNAMIC_FRAMES=1
@@ -27,7 +27,7 @@ USE_DYNAMIC_FRAMES=1
 EXTERNAL_SAT_SOLVER=
 CBMCFLAGS=--smt2
 
-FUNCTION_NAME = $(MLKEM_NAMESPACE)ct_cmov_zero
+FUNCTION_NAME = ct_cmov_zero
 
 # If this proof is found to consume huge amounts of RAM, you can set the
 # EXPENSIVE variable. With new enough versions of the proof tools, this will

diff --git a/cbmc/proofs/ct_memcmp/Makefile b/cbmc/proofs/ct_memcmp/Makefile
@@ -18,7 +18,7 @@ UNWINDSET +=
 PROOF_SOURCES += $(PROOFDIR)/$(HARNESS_FILE).c
 PROJECT_SOURCES += $(SRCDIR)/mlkem/poly.c
 
-CHECK_FUNCTION_CONTRACTS=$(MLKEM_NAMESPACE)ct_memcmp
+CHECK_FUNCTION_CONTRACTS=ct_memcmp
 USE_FUNCTION_CONTRACTS=value_barrier_u8 ct_cmask_nonzero_u8
 APPLY_LOOP_CONTRACTS=on
 USE_DYNAMIC_FRAMES=1
@@ -27,7 +27,7 @@ USE_DYNAMIC_FRAMES=1
 EXTERNAL_SAT_SOLVER=
 CBMCFLAGS=--bitwuzla
 
-FUNCTION_NAME = $(MLKEM_NAMESPACE)ct_memcmp
+FUNCTION_NAME = ct_memcmp
 
 # If this proof is found to consume huge amounts of RAM, you can set the
 # EXPENSIVE variable. With new enough versions of the proof tools, this will

diff --git a/cbmc/proofs/poly_compress_du/Makefile b/cbmc/proofs/poly_compress_du/Makefile
@@ -21,9 +21,9 @@ PROJECT_SOURCES += $(SRCDIR)/mlkem/poly.c
 CHECK_FUNCTION_CONTRACTS=$(MLKEM_NAMESPACE)poly_compress_du
 # For K = 2 or 3, the code calls scalar_compress_d10, so
 ifeq ($(MLKEM_K),4)
-USE_FUNCTION_CONTRACTS = $(MLKEM_NAMESPACE)scalar_compress_d11
+USE_FUNCTION_CONTRACTS = scalar_compress_d11
 else
-USE_FUNCTION_CONTRACTS = $(MLKEM_NAMESPACE)scalar_compress_d10
+USE_FUNCTION_CONTRACTS = scalar_compress_d10
 endif
 
 APPLY_LOOP_CONTRACTS=on

diff --git a/cbmc/proofs/poly_compress_dv/Makefile b/cbmc/proofs/poly_compress_dv/Makefile
@@ -20,9 +20,9 @@ PROJECT_SOURCES += $(SRCDIR)/mlkem/poly.c
 
 CHECK_FUNCTION_CONTRACTS=$(MLKEM_NAMESPACE)poly_compress_dv
 ifeq ($(MLKEM_K),4)
-USE_FUNCTION_CONTRACTS = $(MLKEM_NAMESPACE)scalar_compress_d5
+USE_FUNCTION_CONTRACTS = scalar_compress_d5
 else
-USE_FUNCTION_CONTRACTS = $(MLKEM_NAMESPACE)scalar_compress_d4
+USE_FUNCTION_CONTRACTS = scalar_compress_d4
 endif
 APPLY_LOOP_CONTRACTS=on
 USE_DYNAMIC_FRAMES=1

diff --git a/cbmc/proofs/poly_decompress_du/Makefile b/cbmc/proofs/poly_decompress_du/Makefile
@@ -22,9 +22,9 @@ CHECK_FUNCTION_CONTRACTS=$(MLKEM_NAMESPACE)poly_decompress_du
 
 # For K = 2 or 3, the code calls scalar_decompress_d10, so
 ifeq ($(MLKEM_K),4)
-USE_FUNCTION_CONTRACTS = $(MLKEM_NAMESPACE)scalar_decompress_d11
+USE_FUNCTION_CONTRACTS = scalar_decompress_d11
 else
-USE_FUNCTION_CONTRACTS = $(MLKEM_NAMESPACE)scalar_decompress_d10
+USE_FUNCTION_CONTRACTS = scalar_decompress_d10
 endif
 
 APPLY_LOOP_CONTRACTS=on

diff --git a/cbmc/proofs/poly_decompress_dv/Makefile b/cbmc/proofs/poly_decompress_dv/Makefile
@@ -22,9 +22,9 @@ CHECK_FUNCTION_CONTRACTS=$(MLKEM_NAMESPACE)poly_decompress_dv
 
 # For K = 2 or 3, the code calls scalar_decompress_d4, so
 ifeq ($(MLKEM_K),4)
-USE_FUNCTION_CONTRACTS = $(MLKEM_NAMESPACE)scalar_decompress_d5
+USE_FUNCTION_CONTRACTS = scalar_decompress_d5
 else
-USE_FUNCTION_CONTRACTS = $(MLKEM_NAMESPACE)scalar_decompress_d4
+USE_FUNCTION_CONTRACTS = scalar_decompress_d4
 endif
 
 APPLY_LOOP_CONTRACTS=on

diff --git a/cbmc/proofs/poly_reduce/Makefile b/cbmc/proofs/poly_reduce/Makefile
@@ -19,7 +19,7 @@ PROOF_SOURCES += $(PROOFDIR)/$(HARNESS_FILE).c
 PROJECT_SOURCES += $(SRCDIR)/mlkem/poly.c
 
 CHECK_FUNCTION_CONTRACTS=$(MLKEM_NAMESPACE)poly_reduce
-USE_FUNCTION_CONTRACTS=$(MLKEM_NAMESPACE)scalar_signed_to_unsigned_q $(MLKEM_NAMESPACE)barrett_reduce
+USE_FUNCTION_CONTRACTS=scalar_signed_to_unsigned_q $(MLKEM_NAMESPACE)barrett_reduce
 APPLY_LOOP_CONTRACTS=on
 USE_DYNAMIC_FRAMES=1
 

diff --git a/cbmc/proofs/scalar_compress_d1/Makefile b/cbmc/proofs/scalar_compress_d1/Makefile
@@ -18,7 +18,7 @@ UNWINDSET +=
 PROOF_SOURCES += $(PROOFDIR)/$(HARNESS_FILE).c
 PROJECT_SOURCES += $(SRCDIR)/mlkem/poly.c
 
-CHECK_FUNCTION_CONTRACTS=$(MLKEM_NAMESPACE)scalar_compress_d1
+CHECK_FUNCTION_CONTRACTS=scalar_compress_d1
 USE_FUNCTION_CONTRACTS=
 APPLY_LOOP_CONTRACTS=on
 USE_DYNAMIC_FRAMES=1

diff --git a/cbmc/proofs/scalar_compress_d10/Makefile b/cbmc/proofs/scalar_compress_d10/Makefile
@@ -18,7 +18,7 @@ UNWINDSET +=
 PROOF_SOURCES += $(PROOFDIR)/$(HARNESS_FILE).c
 PROJECT_SOURCES += $(SRCDIR)/mlkem/poly.c
 
-CHECK_FUNCTION_CONTRACTS=$(MLKEM_NAMESPACE)scalar_compress_d10
+CHECK_FUNCTION_CONTRACTS= scalar_compress_d10
 USE_FUNCTION_CONTRACTS=
 APPLY_LOOP_CONTRACTS=on
 USE_DYNAMIC_FRAMES=1

diff --git a/cbmc/proofs/scalar_compress_d11/Makefile b/cbmc/proofs/scalar_compress_d11/Makefile
@@ -18,7 +18,7 @@ UNWINDSET +=
 PROOF_SOURCES += $(PROOFDIR)/$(HARNESS_FILE).c
 PROJECT_SOURCES += $(SRCDIR)/mlkem/poly.c
 
-CHECK_FUNCTION_CONTRACTS=$(MLKEM_NAMESPACE)scalar_compress_d11
+CHECK_FUNCTION_CONTRACTS= scalar_compress_d11
 USE_FUNCTION_CONTRACTS=
 APPLY_LOOP_CONTRACTS=on
 USE_DYNAMIC_FRAMES=1

diff --git a/cbmc/proofs/scalar_compress_d4/Makefile b/cbmc/proofs/scalar_compress_d4/Makefile
@@ -18,7 +18,7 @@ UNWINDSET +=
 PROOF_SOURCES += $(PROOFDIR)/$(HARNESS_FILE).c
 PROJECT_SOURCES += $(SRCDIR)/mlkem/poly.c
 
-CHECK_FUNCTION_CONTRACTS=$(MLKEM_NAMESPACE)scalar_compress_d4
+CHECK_FUNCTION_CONTRACTS=scalar_compress_d4
 USE_FUNCTION_CONTRACTS=
 APPLY_LOOP_CONTRACTS=on
 USE_DYNAMIC_FRAMES=1

diff --git a/cbmc/proofs/scalar_compress_d5/Makefile b/cbmc/proofs/scalar_compress_d5/Makefile
@@ -18,7 +18,7 @@ UNWINDSET +=
 PROOF_SOURCES += $(PROOFDIR)/$(HARNESS_FILE).c
 PROJECT_SOURCES += $(SRCDIR)/mlkem/poly.c
 
-CHECK_FUNCTION_CONTRACTS=$(MLKEM_NAMESPACE)scalar_compress_d5
+CHECK_FUNCTION_CONTRACTS=scalar_compress_d5
 USE_FUNCTION_CONTRACTS=
 APPLY_LOOP_CONTRACTS=on
 USE_DYNAMIC_FRAMES=1

diff --git a/cbmc/proofs/scalar_decompress_d10/Makefile b/cbmc/proofs/scalar_decompress_d10/Makefile
@@ -18,7 +18,7 @@ UNWINDSET +=
 PROOF_SOURCES += $(PROOFDIR)/$(HARNESS_FILE).c
 PROJECT_SOURCES += $(SRCDIR)/mlkem/poly.c
 
-CHECK_FUNCTION_CONTRACTS=$(MLKEM_NAMESPACE)scalar_decompress_d10
+CHECK_FUNCTION_CONTRACTS=scalar_decompress_d10
 USE_FUNCTION_CONTRACTS=
 APPLY_LOOP_CONTRACTS=on
 USE_DYNAMIC_FRAMES=1

diff --git a/cbmc/proofs/scalar_decompress_d11/Makefile b/cbmc/proofs/scalar_decompress_d11/Makefile
@@ -18,7 +18,7 @@ UNWINDSET +=
 PROOF_SOURCES += $(PROOFDIR)/$(HARNESS_FILE).c
 PROJECT_SOURCES += $(SRCDIR)/mlkem/poly.c
 
-CHECK_FUNCTION_CONTRACTS=$(MLKEM_NAMESPACE)scalar_decompress_d11
+CHECK_FUNCTION_CONTRACTS=scalar_decompress_d11
 USE_FUNCTION_CONTRACTS=
 APPLY_LOOP_CONTRACTS=on
 USE_DYNAMIC_FRAMES=1

diff --git a/cbmc/proofs/scalar_decompress_d4/Makefile b/cbmc/proofs/scalar_decompress_d4/Makefile
@@ -18,7 +18,7 @@ UNWINDSET +=
 PROOF_SOURCES += $(PROOFDIR)/$(HARNESS_FILE).c
 PROJECT_SOURCES += $(SRCDIR)/mlkem/poly.c
 
-CHECK_FUNCTION_CONTRACTS=$(MLKEM_NAMESPACE)scalar_decompress_d4
+CHECK_FUNCTION_CONTRACTS=scalar_decompress_d4
 USE_FUNCTION_CONTRACTS=
 APPLY_LOOP_CONTRACTS=on
 USE_DYNAMIC_FRAMES=1

diff --git a/cbmc/proofs/scalar_decompress_d5/Makefile b/cbmc/proofs/scalar_decompress_d5/Makefile
@@ -18,7 +18,7 @@ UNWINDSET +=
 PROOF_SOURCES += $(PROOFDIR)/$(HARNESS_FILE).c
 PROJECT_SOURCES += $(SRCDIR)/mlkem/poly.c
 
-CHECK_FUNCTION_CONTRACTS=$(MLKEM_NAMESPACE)scalar_decompress_d5
+CHECK_FUNCTION_CONTRACTS=scalar_decompress_d5
 USE_FUNCTION_CONTRACTS=
 APPLY_LOOP_CONTRACTS=on
 USE_DYNAMIC_FRAMES=1

diff --git a/cbmc/proofs/scalar_signed_to_unsigned_q/Makefile b/cbmc/proofs/scalar_signed_to_unsigned_q/Makefile
@@ -18,7 +18,7 @@ UNWINDSET +=
 PROOF_SOURCES += $(PROOFDIR)/$(HARNESS_FILE).c
 PROJECT_SOURCES += $(SRCDIR)/mlkem/poly.c
 
-CHECK_FUNCTION_CONTRACTS=$(MLKEM_NAMESPACE)scalar_signed_to_unsigned_q
+CHECK_FUNCTION_CONTRACTS=scalar_signed_to_unsigned_q
 USE_FUNCTION_CONTRACTS=ct_sel_int16 ct_cmask_neg_i16
 APPLY_LOOP_CONTRACTS=on
 USE_DYNAMIC_FRAMES=1

diff --git a/fips202/native/aarch64/common.i b/fips202/native/aarch64/common.i
@@ -1,7 +1,7 @@
 /*
  * Copyright (c) 2024 The mlkem-native project authors
  * SPDX-License-Identifier: MIT
- */ 
+ */
 
 #if __APPLE__
 #define ASM_LOAD(dst, symbol)                                                  \

diff --git a/fips202/native/x86_64/xkcp/KeccakP-1600-unrolling.macros b/fips202/native/x86_64/xkcp/KeccakP-1600-unrolling.macros
@@ -1,7 +1,7 @@
 /*
  * Copyright (c) 2024 The mlkem-native project authors
  * SPDX-License-Identifier: Apache-2.0
- */ 
+ */
 
 /*
 Implementation by the Keccak, Keyak and Ketje Teams, namely, Guido Bertoni,

diff --git a/mk/config.mk b/mk/config.mk
@@ -34,10 +34,10 @@ CFLAGS += \
 	-Wpointer-arith \
 	-Wno-long-long \
 	-Wno-unknown-pragmas \
-        -Wno-unused-command-line-argument \
+	-Wno-unused-command-line-argument \
 	-O3 \
 	-fomit-frame-pointer \
-        -std=c99 \
+	-std=c99 \
 	-pedantic \
 	-MMD \
 	$(CPPFLAGS)

diff --git a/mlkem/native/aarch64/poly_clean.S b/mlkem/native/aarch64/poly_clean.S
@@ -1,7 +1,7 @@
 /*
  * Copyright (c) 2024 The mlkem-native project authors
  * SPDX-License-Identifier: Apache-2.0
- */ 
+ */
 
 #include "config.h"
 #if defined(MLKEM_USE_NATIVE_AARCH64)

diff --git a/mlkem/native/aarch64/poly_opt.S b/mlkem/native/aarch64/poly_opt.S
@@ -1,7 +1,7 @@
 /*
  * Copyright (c) 2024 The mlkem-native project authors
  * SPDX-License-Identifier: Apache-2.0
- */ 
+ */
 
 #include "config.h"
 #if defined(MLKEM_USE_NATIVE_AARCH64)

diff --git a/mlkem/native/aarch64/polyvec_clean.S b/mlkem/native/aarch64/polyvec_clean.S
@@ -1,7 +1,7 @@
 /*
  * Copyright (c) 2024 The mlkem-native project authors
  * SPDX-License-Identifier: Apache-2.0
- */ 
+ */
 //
 // AArch64 re-implementation of the asymmetric base multiplication from:
 //

diff --git a/mlkem/native/aarch64/polyvec_opt.S b/mlkem/native/aarch64/polyvec_opt.S
@@ -1,7 +1,7 @@
 /*
  * Copyright (c) 2024 The mlkem-native project authors
  * SPDX-License-Identifier: Apache-2.0
- */ 
+ */
 
 // AArch64 re-implementation of the asymmetric base multiplication from:
 

diff --git a/mlkem/native/aarch64/rej_uniform_asm_clean.S b/mlkem/native/aarch64/rej_uniform_asm_clean.S
@@ -1,7 +1,7 @@
 /*
  * Copyright (c) 2024 The mlkem-native project authors
  * SPDX-License-Identifier: Apache-2.0
- */ 
+ */
 
 /*************************************************
  * Name:        rej_uniform_asm_clean

diff --git a/mlkem/native/x86_64/fq.S b/mlkem/native/x86_64/fq.S
@@ -1,7 +1,7 @@
 /*
  * Copyright (c) 2024 The mlkem-native project authors
  * SPDX-License-Identifier: Apache-2.0
- */ 
+ */
 
 // Implementation based on Kyber reference repository
 // https://github.com/pq-crystals/kyber/blob/main/avx2

diff --git a/mlkem/native/x86_64/shuffle.S b/mlkem/native/x86_64/shuffle.S
@@ -1,7 +1,7 @@
 /*
  * Copyright (c) 2024 The mlkem-native project authors
  * SPDX-License-Identifier: Apache-2.0
- */ 
+ */
 
 // Implementation from Kyber reference repository
 // https://github.com/pq-crystals/kyber/blob/main/avx2

diff --git a/mlkem/poly.h b/mlkem/poly.h
@@ -40,17 +40,6 @@ typedef struct
   int16_t coeffs[MLKEM_N >> 1];
 } poly_mulcache;
 
-#define scalar_compress_d1 MLKEM_NAMESPACE(scalar_compress_d1)
-#define scalar_compress_d4 MLKEM_NAMESPACE(scalar_compress_d4)
-#define scalar_compress_d5 MLKEM_NAMESPACE(scalar_compress_d5)
-#define scalar_compress_d10 MLKEM_NAMESPACE(scalar_compress_d10)
-#define scalar_compress_d11 MLKEM_NAMESPACE(scalar_compress_d11)
-#define scalar_decompress_d4 MLKEM_NAMESPACE(scalar_decompress_d4)
-#define scalar_decompress_d5 MLKEM_NAMESPACE(scalar_decompress_d5)
-#define scalar_decompress_d10 MLKEM_NAMESPACE(scalar_decompress_d10)
-#define scalar_decompress_d11 MLKEM_NAMESPACE(scalar_decompress_d11)
-#define scalar_signed_to_unsigned_q MLKEM_NAMESPACE(scalar_signed_to_unsigned_q)
-
 /************************************************************
  * Name: scalar_compress_d1
  *

diff --git a/mlkem/verify.h b/mlkem/verify.h
@@ -225,7 +225,6 @@ __contract__(ensures(return_value == (cond ? a : b)))
   return b ^ (ct_cmask_nonzero_u8(cond) & (a ^ b));
 }
 
-#define ct_memcmp MLKEM_NAMESPACE(ct_memcmp)
 /*************************************************
  * Name:        ct_memcmp
  *
@@ -275,7 +274,6 @@ __contract__(
   return (value_barrier_u8(ct_cmask_nonzero_u8(r) ^ s) ^ s);
 }
 
-#define ct_cmov_zero MLKEM_NAMESPACE(ct_cmov_zero)
 /*************************************************
  * Name:        ct_cmov_zero
  *
Benchmark suite	Current: `c2e20e6`	Previous: `3ae93fe`	Ratio
`ML-KEM-512 keypair`	`29176` cycles	`29174` cycles	`1.00`
`ML-KEM-512 encaps`	`35850` cycles	`35851` cycles	`1.00`
`ML-KEM-512 decaps`	`46652` cycles	`46651` cycles	`1.00`
`ML-KEM-768 keypair`	`49174` cycles	`49178` cycles	`1.00`
`ML-KEM-768 encaps`	`55840` cycles	`55841` cycles	`1.00`
`ML-KEM-768 decaps`	`71008` cycles	`71010` cycles	`1.00`
`ML-KEM-1024 keypair`	`72211` cycles	`72215` cycles	`1.00`
`ML-KEM-1024 encaps`	`81521` cycles	`81522` cycles	`1.00`
`ML-KEM-1024 decaps`	`102030` cycles	`102032` cycles	`1.00`
Benchmark suite	Current: `c2e20e6`	Previous: `3ae93fe`	Ratio
`ML-KEM-512 keypair`	`13877` cycles	`14162` cycles	`0.98`
`ML-KEM-512 encaps`	`18215` cycles	`18043` cycles	`1.01`
`ML-KEM-512 decaps`	`24093` cycles	`24306` cycles	`0.99`
`ML-KEM-768 keypair`	`22511` cycles	`22522` cycles	`1.00`
`ML-KEM-768 encaps`	`24564` cycles	`24576` cycles	`1.00`
`ML-KEM-768 decaps`	`32642` cycles	`32814` cycles	`0.99`
`ML-KEM-1024 keypair`	`32142` cycles	`32189` cycles	`1.00`
`ML-KEM-1024 encaps`	`35677` cycles	`35756` cycles	`1.00`
`ML-KEM-1024 decaps`	`47313` cycles	`47411` cycles	`1.00`
Benchmark suite	Current: `c2e20e6`	Previous: `3ae93fe`	Ratio
`ML-KEM-512 keypair`	`20315` cycles	`20334` cycles	`1.00`
`ML-KEM-512 encaps`	`27114` cycles	`27138` cycles	`1.00`
`ML-KEM-512 decaps`	`36206` cycles	`36284` cycles	`1.00`
`ML-KEM-768 keypair`	`34839` cycles	`34931` cycles	`1.00`
`ML-KEM-768 encaps`	`38195` cycles	`38206` cycles	`1.00`
`ML-KEM-768 decaps`	`51368` cycles	`51394` cycles	`1.00`
`ML-KEM-1024 keypair`	`48080` cycles	`48061` cycles	`1.00`
`ML-KEM-1024 encaps`	`54240` cycles	`54232` cycles	`1.00`
`ML-KEM-1024 decaps`	`72104` cycles	`72130` cycles	`1.00`
Benchmark suite	Current: `c2e20e6`	Previous: `3ae93fe`	Ratio
`ML-KEM-512 keypair`	`18141` cycles	`18135` cycles	`1.00`
`ML-KEM-512 encaps`	`23108` cycles	`23108` cycles	`1`
`ML-KEM-512 decaps`	`30355` cycles	`30362` cycles	`1.00`
`ML-KEM-768 keypair`	`31046` cycles	`31042` cycles	`1.00`
`ML-KEM-768 encaps`	`33994` cycles	`34044` cycles	`1.00`
`ML-KEM-768 decaps`	`44773` cycles	`44767` cycles	`1.00`
`ML-KEM-1024 keypair`	`44662` cycles	`44694` cycles	`1.00`
`ML-KEM-1024 encaps`	`50046` cycles	`50154` cycles	`1.00`
`ML-KEM-1024 decaps`	`64679` cycles	`64633` cycles	`1.00`
Benchmark suite	Current: `c2e20e6`	Previous: `3ae93fe`	Ratio
`ML-KEM-512 keypair`	`15075` cycles	`15074` cycles	`1.00`
`ML-KEM-512 encaps`	`19761` cycles	`19772` cycles	`1.00`
`ML-KEM-512 decaps`	`26414` cycles	`26428` cycles	`1.00`
`ML-KEM-768 keypair`	`25580` cycles	`25591` cycles	`1.00`
`ML-KEM-768 encaps`	`28209` cycles	`28198` cycles	`1.00`
`ML-KEM-768 decaps`	`38208` cycles	`38214` cycles	`1.00`
`ML-KEM-1024 keypair`	`35656` cycles	`35633` cycles	`1.00`
`ML-KEM-1024 encaps`	`41356` cycles	`41241` cycles	`1.00`
`ML-KEM-1024 decaps`	`54630` cycles	`54596` cycles	`1.00`
Benchmark suite	Current: `c2e20e6`	Previous: `3ae93fe`	Ratio
`ML-KEM-512 keypair`	`36189` cycles	`36314` cycles	`1.00`
`ML-KEM-512 encaps`	`46455` cycles	`46272` cycles	`1.00`
`ML-KEM-512 decaps`	`62002` cycles	`61668` cycles	`1.01`
`ML-KEM-768 keypair`	`58959` cycles	`58901` cycles	`1.00`
`ML-KEM-768 encaps`	`73135` cycles	`72646` cycles	`1.01`
`ML-KEM-768 decaps`	`91655` cycles	`91331` cycles	`1.00`
`ML-KEM-1024 keypair`	`88377` cycles	`88853` cycles	`0.99`
`ML-KEM-1024 encaps`	`109333` cycles	`109321` cycles	`1.00`
`ML-KEM-1024 decaps`	`133624` cycles	`133151` cycles	`1.00`
Benchmark suite	Current: `c2e20e6`	Previous: `3ae93fe`	Ratio
`ML-KEM-512 keypair`	`19029` cycles	`19030` cycles	`1.00`
`ML-KEM-512 encaps`	`23843` cycles	`23842` cycles	`1.00`
`ML-KEM-512 decaps`	`31230` cycles	`31228` cycles	`1.00`
`ML-KEM-768 keypair`	`32332` cycles	`32329` cycles	`1.00`
`ML-KEM-768 encaps`	`36084` cycles	`36082` cycles	`1.00`
`ML-KEM-768 decaps`	`46492` cycles	`46488` cycles	`1.00`
`ML-KEM-1024 keypair`	`46967` cycles	`46965` cycles	`1.00`
`ML-KEM-1024 encaps`	`53086` cycles	`53090` cycles	`1.00`
`ML-KEM-1024 decaps`	`67400` cycles	`67401` cycles	`1.00`
Benchmark suite	Current: `c2e20e6`	Previous: `3ae93fe`	Ratio
`ML-KEM-512 keypair`	`56648` cycles	`56704` cycles	`1.00`
`ML-KEM-512 encaps`	`71741` cycles	`71804` cycles	`1.00`
`ML-KEM-512 decaps`	`96268` cycles	`96358` cycles	`1.00`
`ML-KEM-768 keypair`	`91745` cycles	`91801` cycles	`1.00`
`ML-KEM-768 encaps`	`111318` cycles	`111418` cycles	`1.00`
`ML-KEM-768 decaps`	`144339` cycles	`144437` cycles	`1.00`
`ML-KEM-1024 keypair`	`134507` cycles	`134470` cycles	`1.00`
`ML-KEM-1024 encaps`	`159831` cycles	`159910` cycles	`1.00`
`ML-KEM-1024 decaps`	`201213` cycles	`201264` cycles	`1.00`
Benchmark suite	Current: `c2e20e6`	Previous: `3ae93fe`	Ratio
`ML-KEM-512 keypair`	`45704` cycles	`45717` cycles	`1.00`
`ML-KEM-512 encaps`	`58785` cycles	`58799` cycles	`1.00`
`ML-KEM-512 decaps`	`79989` cycles	`80030` cycles	`1.00`
`ML-KEM-768 keypair`	`74616` cycles	`74618` cycles	`1.00`
`ML-KEM-768 encaps`	`91452` cycles	`91462` cycles	`1.00`
`ML-KEM-768 decaps`	`120146` cycles	`120165` cycles	`1.00`
`ML-KEM-1024 keypair`	`109883` cycles	`109962` cycles	`1.00`
`ML-KEM-1024 encaps`	`130982` cycles	`131027` cycles	`1.00`
`ML-KEM-1024 decaps`	`167609` cycles	`167647` cycles	`1.00`
Benchmark suite	Current: `c2e20e6`	Previous: `3ae93fe`	Ratio
`ML-KEM-512 keypair`	`52285` cycles	`52308` cycles	`1.00`
`ML-KEM-512 encaps`	`67762` cycles	`67783` cycles	`1.00`
`ML-KEM-512 decaps`	`92614` cycles	`92639` cycles	`1.00`
`ML-KEM-768 keypair`	`84613` cycles	`84655` cycles	`1.00`
`ML-KEM-768 encaps`	`104798` cycles	`104848` cycles	`1.00`
`ML-KEM-768 decaps`	`137744` cycles	`137752` cycles	`1.00`
`ML-KEM-1024 keypair`	`125411` cycles	`125467` cycles	`1.00`
`ML-KEM-1024 encaps`	`149662` cycles	`149711` cycles	`1.00`
`ML-KEM-1024 decaps`	`192482` cycles	`192228` cycles	`1.00`