Merge pull request #1259 from pq-code-package/autogen_configs

Author: mkannwischer

.github/workflows/integration-opentitan.yml

@@ -54,7 +54,7 @@ jobs:
         with:
           # TODO: switch to upstream once merged
           expo-repository: https://github.com/mkannwischer/expo
-          expo-commit: 8c1fdb65ca6ff026c446cdefb106d08fd43ba7e9
+          expo-commit: 8e6cfe2d1cc918fa3ae6cd076e806909bb1c09e0
 
       - name: Patch mlkem-native dependency
         run: |

BIBLIOGRAPHY.md

@@ -27,6 +27,15 @@ source code and documentation.
 * URL: https://csrc.nist.gov/projects/cryptographic-module-validation-program/fips-140-3-ig-announcements
 * Referenced from:
   - [examples/basic_deterministic/mlkem_native/custom_no_randomized_config.h](examples/basic_deterministic/mlkem_native/custom_no_randomized_config.h)
+  - [examples/custom_backend/mlkem_native/custom_config.h](examples/custom_backend/mlkem_native/custom_config.h)
+  - [examples/monolithic_build/config_1024.h](examples/monolithic_build/config_1024.h)
+  - [examples/monolithic_build/config_512.h](examples/monolithic_build/config_512.h)
+  - [examples/monolithic_build/config_768.h](examples/monolithic_build/config_768.h)
+  - [examples/monolithic_build_multilevel/multilevel_config.h](examples/monolithic_build_multilevel/multilevel_config.h)
+  - [examples/monolithic_build_multilevel_native/multilevel_config.h](examples/monolithic_build_multilevel_native/multilevel_config.h)
+  - [examples/monolithic_build_native/config_1024.h](examples/monolithic_build_native/config_1024.h)
+  - [examples/monolithic_build_native/config_512.h](examples/monolithic_build_native/config_512.h)
+  - [examples/monolithic_build_native/config_768.h](examples/monolithic_build_native/config_768.h)
   - [integration/liboqs/config_aarch64.h](integration/liboqs/config_aarch64.h)
   - [integration/liboqs/config_c.h](integration/liboqs/config_c.h)
   - [integration/liboqs/config_x86_64.h](integration/liboqs/config_x86_64.h)

examples/basic_deterministic/mlkem_native/custom_no_randomized_config.h

@@ -12,6 +12,21 @@
  *   https://csrc.nist.gov/projects/cryptographic-module-validation-program/fips-140-3-ig-announcements
  */
 
+/*
+ * WARNING: This file is auto-generated from scripts/autogen
+ *          in the mlkem-native repository.
+ *          Do not modify it directly.
+ */
+
+/*
+ * Test configuration: Config without randomized API
+ *
+ * This configuration differs from the default mlkem/src/config.h in the
+ * following places:
+ *   - MLK_CONFIG_NO_RANDOMIZED_API
+ */
+
+
 #ifndef MLK_CONFIG_H
 #define MLK_CONFIG_H
 
@@ -35,7 +50,7 @@
  * Name:        MLK_CONFIG_FILE
  *
  * Description: If defined, this is a header that will be included instead
- *              of this default configuration file mlkem/src/config.h.
+ *              of the default configuration file mlkem/src/config.h.
  *
  *              When you need to build mlkem-native in multiple configurations,
  *              using varying MLK_CONFIG_FILE can be more convenient
@@ -47,6 +62,7 @@
  *              on the command line.
  *
  *****************************************************************************/
+/* No need to set this -- we _are_ already in a custom config */
 /* #define MLK_CONFIG_FILE "config.h" */
 
 /******************************************************************************
@@ -457,7 +473,7 @@
  * Description: If this option is set, mlkem-native will be built without the
  *              randomized API functions (crypto_kem_keypair and
  *              crypto_kem_enc).
- *.             This allows users to build mlkem-native without providing a
+ *              This allows users to build mlkem-native without providing a
  *              randombytes() implementation if they only need the
  *              deterministic API
  *              (crypto_kem_keypair_derand, crypto_kem_enc_derand,