v2.1

Issues

• HOL-Light: prove secret-independence for rej_uniform_eta{2,4}

  aarch64hol-light
  pq-code-package/mldsa-native#1160 · Filter by author mkannwischer opened on Jun 9, 2026 · v2.1
  6

  

• 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

• sign: Order rejection checks by rejection rate

  benchmark
  Unread
  pq-code-package/mldsa-native#1431·mkannwischer opened Sep 22, 2026 · Updated Oct 19, 2026
  36

• Port: sys.h: Do not depend on configuration options

  mlkem-native-port
  pq-code-package/mldsa-native#1469 · Filter by author github-actions opened on Oct 15, 2026 · v2.1

• Port: Various minor test and documentation fixes

  mlkem-native-port
  pq-code-package/mldsa-native#1471 · Filter by author github-actions opened on Oct 17, 2026 · v2.1

• Add constant-time (f_events) proofs for rej_uniform_eta2 and rej_uniform_eta4

  aarch64enhancementhol-lightx86_64
  Unread
  pq-code-package/mldsa-native#1398·jakemas opened Aug 26, 2026 · Updated Oct 19, 2026
  28

• Various small fixes and improvements

  Unread
  pq-code-package/mldsa-native#1468·mkannwischer opened Oct 13, 2026 · Updated Oct 19, 2026
  13

• sys.h: Do not depend on configuration options

  Unread
  pq-code-package/mldsa-native#1472·mkannwischer opened Oct 17, 2026 · Updated Oct 19, 2026
  6

• Port minor test and doc fixes

  Unread
  pq-code-package/mldsa-native#1473·mkannwischer opened Oct 17, 2026 · Updated Oct 19, 2026
  6

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

  Unread
  pq-code-package/mldsa-native#1474·mkannwischer opened Oct 19, 2026 · Updated Oct 20, 2026
  6

• CI: Run and fix the signing bound exhaustion test

  Unread
  pq-code-package/mldsa-native#1478·mkannwischer opened Oct 19, 2026 · Updated Oct 20, 2026
  11

• Tests: Minor bug fixes

  needs-mlkem-native-port
  Unread
  pq-code-package/mldsa-native#1479·mkannwischer opened Oct 19, 2026 · Updated Oct 20, 2026
  9

• mldsa: Clean-up includes

  Unread
  pq-code-package/mldsa-native#1481·mkannwischer opened Oct 20, 2026 · Updated Oct 20, 2026·Draft
  6