Skip to content

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

New pull request New
38 Open 725 Closed
38 Open 725 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

Support randomized Wycheproof signing vectors
#1235 opened Jun 26, 2026 by fegge Loading…
1
6
Use runtime checks in Wycheproof client
#1234 opened Jun 26, 2026 by fegge Loading…
1
6
Harden benchmark workflow input handling
#1233 opened Jun 26, 2026 by fegge Loading…
1
6
Fail HOL-Light tests on unsupported arch
#1232 opened Jun 26, 2026 by fegge Loading…
1
5
Reject invalid API inputs before unsafe work
#1231 opened Jun 26, 2026 by fegge Loading…
1
Preserve in-place message on signing failure
#1230 opened Jun 26, 2026 by fegge Loading…
1
Document signing secret-key validity precondition
#1229 opened Jun 26, 2026 by fegge Loading…
1
6
Reject MLD_PREHASH_NONE in prehash APIs
#1228 opened Jun 26, 2026 by fegge Loading…
1
6
Update prover choice and/or tactic for long-running proofs cbmc
#1211 opened Jun 26, 2026 by rod-chapman Contributor Loading…
@rod-chapman
6
sys: Prefix capability enum values with architecture needs-mlkem-native-port
#1208 opened Jun 26, 2026 by mkannwischer Contributor • Draft
1
FIPS202: Consolidate backend MLD_USE_NATIVE_* flags needs-mlkem-native-port
#1207 opened Jun 26, 2026 by mkannwischer Contributor Loading…
1
6
Config: Remove legacy configuration needs-mlkem-native-port
#1206 opened Jun 26, 2026 by mkannwischer Contributor Loading…
1
6
Add CBMC target platform support
#1201 opened Jun 26, 2026 by tob-joe Loading…
6
x86_64 + HOL-Light: Replace poly_use_hint AVX2 intrinsics with hand-written assembly and HOL-Light proofs benchmark
#1189 opened Jun 18, 2026 by jakemas Contributor Loading…
3
35
x86_64: Replace rej_uniform_eta2/eta4 intrinsics with hand-written assembly benchmark
#1188 opened Jun 16, 2026 by jakemas Contributor • Draft
2 tasks
1
39
x86_64 + HOL-Light: Replace poly_decompose AVX2 intrinsics with hand-written assembly and HOL-Light proofs benchmark
#1181 opened Jun 15, 2026 by jakemas Contributor Loading…
2
6
AArch64: apply SLOTHY to poly_decompose_32 and poly_decompose_88 benchmark
#1180 opened Jun 14, 2026 by mkannwischer Contributor • Draft
1
6
Simplify decompose C reference to a single high multiplication benchmark
#1177 opened Jun 14, 2026 by mkannwischer Contributor • Draft
1
31
poly: Deduplicate poly_decompose and poly_use_hint
#1159 opened Jun 7, 2026 by mkannwischer Contributor • Draft
6
nix: Pin z3 to upstream commit 286b107
#1127 opened May 22, 2026 by mkannwischer Contributor • Draft
6
nix: Bump z3 to 4.16.0 from nixpkgs-unstable DO-NOT-MERGE
#1125 opened May 22, 2026 by mkannwischer Contributor • Draft
8
[WIP] CBMC: Add support for using multiple solvers
#1122 opened May 18, 2026 by hanno-becker Contributor • Draft
7
[EXPERIMENTAL] Add RV32-IM backend
#1119 opened May 15, 2026 by hanno-becker Contributor • Draft
6
Speed up C-reference NTT/invNTT with twisted zetas + 2-layer merging benchmark
#1118 opened May 12, 2026 by hanno-becker Contributor • Draft
34
CBMC: Improve readability of CBMC specs cbmc enhancement New feature or request
#1116 opened May 12, 2026 by hanno-becker Contributor • Draft
7
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.