Skip to content

Pull requests: pq-code-package/mldsa-native

New pull request New
27 Open 599 Closed
27 Open 599 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

lint: Add ast-grep check for visibility-macro annotations
#1053 opened Apr 22, 2026 by mkannwischer Contributor • Draft
CodeQL: Add mldsa/ declaration visibility check
#1052 opened Apr 22, 2026 by hanno-becker Contributor Loading…
18
CBMC: Run proofs with MLD_CONFIG_REDUCE_RAM in CI low-ram
#1050 opened Apr 21, 2026 by mkannwischer Contributor Loading…
@hanno-becker
6
Add HOL Light rej_uniform_eta proofs for AArch64
#1040 opened Apr 14, 2026 by jakemas Contributor • Draft
1
@mkannwischer
4
Add HOL Light poly_use_hint proofs for AArch64 hol-light
#1037 opened Apr 13, 2026 by jakemas Contributor • Draft
@mkannwischer
8
lowram: Eliminate y vector in REDUCE_RAM mode in sign low-ram
#1031 opened Apr 8, 2026 by mkannwischer Contributor Loading…
@hanno-becker
4
lowram: Per-row t0/t1 computation in keygen low-ram
#1030 opened Apr 8, 2026 by mkannwischer Contributor Loading…
@hanno-becker
4
sign: Consolidate make_hint and pack_sig_h_poly
#1028 opened Apr 8, 2026 by mkannwischer Contributor Loading…
1
@hanno-becker
9
lowmem: Unpack z lazily in verification low-ram
#1025 opened Apr 7, 2026 by mkannwischer Contributor Loading…
@hanno-becker
3
x86_64: Replace rej_uniform intrinsics with assembly benchmark
#1014 opened Apr 3, 2026 by jakemas Contributor • Draft
1
@mkannwischer
21
HOL-Light: improve tooling and CI
#1009 opened Apr 1, 2026 by L-series Contributor • Draft
@mkannwischer
4
Lowram: Share buffers with non-overlapping lifetimes in verify low-ram
#1007 opened Apr 1, 2026 by mkannwischer Contributor Loading…
@hanno-becker
3
PoC: Reduce large struct allocations to <= 13/17/21 KiB for ML-DSA-44/65/87 benchmark DO-NOT-MERGE
#1005 opened Mar 27, 2026 by mkannwischer Contributor • Draft
3
ML-DSA aarch64 rejection sampling proof
#997 opened Mar 18, 2026 by dkostic Contributor • Draft
1
@mkannwischer
6
HOL-Light/x86_64: Replace Keccakx4 intrinsics with AVX2 assembly and prove correct benchmark
#989 opened Mar 4, 2026 by mkannwischer Contributor Loading…
24
HOL-Light: Add AArch64 poly_decompose_{32,88} correctness proofs
#977 opened Feb 27, 2026 by mkannwischer Contributor • Draft
1
3
x86_64/AArch64: Add AVX2/Neon polyw1_pack to x86_64 native backend benchmark
#973 opened Feb 21, 2026 by mkannwischer Contributor • Draft
1 of 4 tasks
31
Armv8.1-M: Add native Keccak x4 XORBytes and ExtractBytes
#972 opened Feb 19, 2026 by mkannwischer Contributor Loading…
@hanno-becker
3
HOL-Light: Add HOL Light proof for aarch64 polyz_unpack_{17,19}
#971 opened Feb 14, 2026 by mkannwischer Contributor Loading…
1 task done
1
@hanno-becker
5
HOL-Light: Add x86 AVX2 nttunpack proof hol-light
#955 opened Feb 6, 2026 by jakemas Contributor Loading…
1
@mkannwischer
20
x86_64: Eliminate use_hint 32/88 intrinsics benchmark x86_64
#940 opened Feb 3, 2026 by willieyz Contributor Loading…
1
@hanno-becker
63
Eliminate SUPERCOP API from tests
#891 opened Jan 16, 2026 by willieyz Contributor • Draft
1
10
Unit-test: add consistency tests for mld_poly_uniform*_x1/x4
#855 opened Jan 7, 2026 by willieyz Contributor Loading…
1
@hanno-becker
32
Constant-time: Make signature declassifications explicit in verification
#822 opened Dec 31, 2025 by mkannwischer Contributor • Draft
10
[WIP] Make CBMC specs more readable
#817 opened Dec 27, 2025 by hanno-becker Contributor • Draft
2
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.