Issues · pq-code-package/mldsa-native · GitHub

Labels Milestones New issue

CI: Only run SLOTHY in main and when relevant files change

#1175

· mkannwischer opened

on Jun 13, 2026

SLOTHY: Experiment with relaxing split-heuristic for NTT+INTT

#1174

· mkannwischer opened

on Jun 13, 2026

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

#1160

· mkannwischer opened

on Jun 9, 2026

Consider AVR baremetal tests

#1157

· mkannwischer opened

on Jun 6, 2026

Avoid z3 soundness issue #9550

#1126

· hanno-becker opened

on May 22, 2026

Beware of temporary writes to external buffers

#1108

· hanno-becker opened

on May 8, 2026

CBMC: Consider providing functional specs for make_hint and unpack_hint

#1099

· hanno-becker opened

on May 6, 2026

Add test for validating expected signature generation failure rate

#1097

· hanno-becker opened

on May 6, 2026

x86_64: Investigate performance regressions related to ASLR

#1093

· mkannwischer opened

on May 4, 2026

HOL-Light: Consolidate AArch64 poly_use_hint proofs

#1085

· mkannwischer opened

on May 2, 2026

CBMC: Consider combining `polyz_unpack_{17,19}_native_aarch64` into one proof

#1084

· mkannwischer opened

on May 2, 2026

HOL-Light: Refactor mldsa_avx2_ntt_order to use nttunpack_order

#1054

· jakemas opened

on Apr 23, 2026