Skip to content

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

New pull request New
20 Open 653 Closed
20 Open 653 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

Speed up C-reference NTT/invNTT with twisted zetas + 2-layer merging benchmark
#1118 opened May 12, 2026 by hanno-becker Contributor • Draft
33
CBMC: Introduce MLD_ANY_ERROR helper for error disjunctions cbmc enhancement New feature or request
#1117 opened May 12, 2026 by hanno-becker Contributor Loading…
1
12
CBMC: Improve readability of CBMC specs cbmc enhancement New feature or request
#1116 opened May 12, 2026 by hanno-becker Contributor • Draft
7
Avoid mismatched comparison [full CI]
#1115 opened May 12, 2026 by mkannwischer Contributor • Draft
6
Avoid mismatched comparison (suggested code improvement, not a bug!) enhancement New feature or request
#1114 opened May 12, 2026 by nmouha Contributor • Draft
4
Bench: Disable ASLR on x86_64 to stabilize cycle counts benchmark
#1091 opened May 4, 2026 by mkannwischer Contributor • Draft
6
HOL-Light: Add HOL Light proof and CBMC contracts for x86 poly_caddq benchmark
#1068 opened Apr 28, 2026 by jakemas Contributor • Draft
1
7
lint: Add ast-grep check for visibility-macro annotations
#1053 opened Apr 22, 2026 by mkannwischer Contributor • Draft
1
Add HOL Light rej_uniform_eta proofs for AArch64
#1040 opened Apr 14, 2026 by jakemas Contributor • Draft
1
@mkannwischer
8
x86_64: Replace rej_uniform intrinsics with assembly benchmark
#1014 opened Apr 3, 2026 by jakemas Contributor Loading…
1
@mkannwischer
54
HOL-Light: improve tooling and CI
#1009 opened Apr 1, 2026 by L-series Contributor • Draft
@mkannwischer
4
ML-DSA aarch64 rejection sampling proof
#997 opened Mar 18, 2026 by dkostic Contributor • Draft
1
@mkannwischer
7
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
x86_64: Eliminate use_hint 32/88 intrinsics benchmark DO-NOT-MERGE x86_64
#940 opened Feb 3, 2026 by willieyz Contributor • Draft
1
64
Eliminate SUPERCOP API from tests
#891 opened Jan 16, 2026 by willieyz Contributor Loading…
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
CBMC: Use instrumented malloc/free for MLD_ALLOC/MLD_FREE
#814 opened Dec 24, 2025 by hanno-becker Contributor • Draft
@mkannwischer
7
Avoid calling keccak_absorb with partial lanes benchmark
#450 opened Sep 10, 2025 by bremoran Contributor • Draft
1
32
ProTip! Follow long discussions with comments:>50.