Issues

• Armv8-M: Use register aliases consistently

  pq-code-package/mlkem-native#1944 · Filter by author hanno-becker opened on Oct 19, 2026

• Compiler tests: Review RV64 coverage

  pq-code-package/mlkem-native#1942 · Filter by author hanno-becker opened on Oct 17, 2026

• sys.h: Add linting to ensure it does not depend on configuration options

  pq-code-package/mlkem-native#1941 · Filter by author mkannwischer opened on Oct 15, 2026

• x86_64: rej_uniform_avx2_asm needs BMI2 and POPCNT but only AVX2 is checked

  needs-mldsa-native-port
  pq-code-package/mlkem-native#1939 · Filter by author mkannwischer opened on Oct 13, 2026
  1

• CBMC: Add safety and partial correctness specs for debug functionality

  CBMCenhancementtesting
  pq-code-package/mlkem-native#1936 · Filter by author hanno-becker opened on Oct 11, 2026

• CBMC: Check relative alignment of pointers passed to assembly

  needs-mldsa-native-portsoundness
  pq-code-package/mlkem-native#1932 · Filter by author mkannwischer opened on Oct 5, 2026

• CI: Add a mechanism to check that BCM file leaves no undesired macro trace

  needs-mldsa-native-port
  pq-code-package/mlkem-native#1928 · Filter by author hanno-becker opened on Sep 27, 2026

• Update SOUNDNESS.md to cover #1926

  needs-mldsa-native-port
  pq-code-package/mlkem-native#1927 · Filter by author hanno-becker opened on Sep 27, 2026

• Portable C assumes a constant-time multiply

  mldsa-native-mirror
  pq-code-package/mlkem-native#1921 · Filter by author github-actions opened on Sep 25, 2026

• Config: Promote MLD_CONFIG_CUSTOM_ALLOC_FREE to stable

  mldsa-native-mirror
  pq-code-package/mlkem-native#1908 · Filter by author github-actions opened on Sep 20, 2026 · v2.1

• Beware of temporary writes to external buffers

  mldsa-native-mirror
  pq-code-package/mlkem-native#1909 · Filter by author github-actions opened on Sep 20, 2026 · v2.1

• Integration: Consider implementing an OpenSSL provider

  mldsa-native-mirror
  pq-code-package/mlkem-native#1887 · Filter by author github-actions opened on Sep 2, 2026
  1

• Add make target to debug system detection

  enhancementneeds-mldsa-native-porttesting
  pq-code-package/mlkem-native#1885 · Filter by author hanno-becker opened on Aug 31, 2026
  

• Test/CI: Consider adding tests for CHERIoT-PQC

  enhancementneeds-mldsa-native-porttesting
  pq-code-package/mlkem-native#1876 · Filter by author hanno-becker opened on Aug 24, 2026
  1

• Consider adding support for alignas (C23) and _Alignas (C11/C17)

  needs-mldsa-native-port
  pq-code-package/mlkem-native#1868 · Filter by author mkannwischer opened on Aug 10, 2026

• ACVP: Don't interpret a missing binary as "all functions supported"

  needs-mldsa-native-port
  pq-code-package/mlkem-native#1861 · Filter by author hanno-becker opened on Aug 7, 2026 · v2.1

• ACVP: remove keyless decapsulationKeyCheck workaround after bumping past v1.1.0.43

  pq-code-package/mlkem-native#1842 · Filter by author mkannwischer opened on Aug 3, 2026

• Consider separate functions to compute only one key from the seed

  pq-code-package/mlkem-native#1841 · Filter by author mkannwischer opened on Aug 3, 2026 · v2.1

• Port: Fetch ACVP/Wycheproof vectors via authenticated GitHub API

  pq-code-package/mlkem-native#1826 · Filter by author mkannwischer opened on Aug 2, 2026

• riscv64: add native NTT support for VLEN=128

  enhancementRV64
  pq-code-package/mlkem-native#1820 · Filter by author ishanrk opened on Aug 1, 2026
  1

• Doxygen: Switch to # for Macros

  pq-code-package/mlkem-native#1814 · Filter by author hanno-becker opened on Jul 25, 2026 · v2.1

• mlkem-native / mldsa-native AArch64 local-label clash

  enhancement
  pq-code-package/mlkem-native#1812 · Filter by author hanno-becker opened on Jul 23, 2026

• mlkem_native.c should not include *.c files for default backends when custom backend is used

  bugbuild
  pq-code-package/mlkem-native#1810 · Filter by author hanno-becker opened on Jul 22, 2026
  3

• Capabilities should be bitfield

  API-BREAKenhancement
  pq-code-package/mlkem-native#1806 · Filter by author hanno-becker opened on Jul 21, 2026
  1

• Add linter checking for MLK_MUST_CHECK_RETURN_VALUE

  cienhancement
  pq-code-package/mlkem-native#1798 · Filter by author hanno-becker opened on Jul 11, 2026