Issues

• HOL-Light: Clean up huge proofs and facilitate finding and validating specs

  enhancementhol-light
  pq-code-package/mldsa-native#1453 · Filter by author hanno-becker opened on Oct 2, 2026

• Github Settings on PR approvals

  pq-code-package/mldsa-native#1451 · Filter by author jakemas opened on Oct 2, 2026
  2

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

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

• Update SOUNDNESS.md to cover #1443 / mlkem-native#1926

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

• Including mldsa_native.h before the sources silently drops build-only config options

  bug
  pq-code-package/mldsa-native#1437 · Filter by author mkannwischer opened on Sep 25, 2026
  

• Portable C assumes a constant-time multiply

  needs-mlkem-native-port
  pq-code-package/mldsa-native#1436 · Filter by author mkannwischer opened on Sep 25, 2026 · v2.1
  2

• check-magic does not check annotated .S files

  bugtesting
  pq-code-package/mldsa-native#1429 · Filter by author hanno-becker opened on Sep 20, 2026

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

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

• Port: tests: Add --platform convenience flag for target selection

  mlkem-native-port
  pq-code-package/mldsa-native#1424 · Filter by author github-actions opened on Sep 13, 2026 · v2.1

• Unit: Unify guards around unit tests and functionality exercised by them

  enhancementtesting
  pq-code-package/mldsa-native#1420 · Filter by author hanno-becker opened on Sep 9, 2026

• Integration: Consider implementing an OpenSSL provider

  needs-mlkem-native-port
  pq-code-package/mldsa-native#1412 · Filter by author mkannwischer opened on Sep 2, 2026
  1

• HOL-Light: Investigate need for type_invention_error := true and document/remove

  hol-light
  pq-code-package/mldsa-native#1409 · Filter by author mkannwischer opened on Aug 31, 2026

• Add make target to debug system detection

  mlkem-native-mirror
  pq-code-package/mldsa-native#1408 · Filter by author github-actions opened on Aug 31, 2026

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

  mlkem-native-mirror
  pq-code-package/mldsa-native#1395 · Filter by author github-actions opened on Aug 24, 2026

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

  mlkem-native-mirror
  pq-code-package/mldsa-native#1378 · Filter by author github-actions opened on Aug 10, 2026
  

• Port: Consolidate test CHECK macros and report error codes by name

  enhancementtesting
  pq-code-package/mldsa-native#1363 · Filter by author hanno-becker opened on Aug 7, 2026

• Doc: Consider adding linting for paths in comments

  pq-code-package/mldsa-native#1358 · Filter by author mkannwischer opened on Aug 6, 2026

• Config: Promote MLD_CONFIG_CUSTOM_ALLOC_FREE to stable

  needs-mlkem-native-port
  pq-code-package/mldsa-native#1348 · Filter by author mkannwischer opened on Aug 4, 2026 · v2.1

• Exposing MLD_ALIGN for allocators and customization

  pq-code-package/mldsa-native#1346 · Filter by author gilles-peskine-arm opened on Aug 3, 2026 · v2.1
  4

  

• Port Keccak SLOTHY optimization pipeline from mlkem-native

  aarch64low-prioslothy
  pq-code-package/mldsa-native#1341 · Filter by author mkannwischer opened on Aug 2, 2026

• Regenerate Cortex-M55 Keccak x1 with corrected shifted-operand latency model

  pq-code-package/mldsa-native#1336 · Filter by author bremoran opened on Jul 31, 2026

• Armv8.1-M: re-evaluate opt-in MVE memcpy, memset, and zeroize without C-only regression

  pq-code-package/mldsa-native#1334 · Filter by author bremoran opened on Jul 31, 2026
  6

• Armv8.1-M: add a native public-matrix rejection sampler

  pq-code-package/mldsa-native#1331 · Filter by author bremoran opened on Jul 31, 2026

• Armv8.1-M: add regular and SLOTHY-optimized bit-reversed-input iNTT with ToMont output

  benchmarkenhancementmveslothytesting
  pq-code-package/mldsa-native#1329 · Filter by author bremoran opened on Jul 30, 2026

• Armv8.1-M: add regular and SLOTHY-optimized pqmx Cortex-M55 iNTT

  benchmarkenhancementmveslothytesting
  pq-code-package/mldsa-native#1328 · Filter by author bremoran opened on Jul 30, 2026