Skip to content

Pull requests: celabshq/libcrux

New pull request New
18 Open 944 Closed
18 Open 944 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

[secrets]: relax rhs bounds for shifting
#1489 opened Jun 24, 2026 by robinhundt Contributor • Draft
Specs for ML-DSA
#1488 opened Jun 23, 2026 by abentkamp Collaborator Loading…
1
build(deps): bump actions/checkout from 6 to 7 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#1485 opened Jun 22, 2026 by dependabot Bot Loading…
SHA-3 code changes for verification
#1482 opened Jun 18, 2026 by karthikbhargavan Collaborator Loading…
1
Improved models for SIMD intrinsics
#1481 opened Jun 17, 2026 by karthikbhargavan Collaborator Loading…
11
Specs for ML-KEM
#1480 opened Jun 16, 2026 by abentkamp Collaborator Loading…
16
Upgrade to hax-lib 0.3.7 + F* v2026.03.24 waiting-on-review Status: Awaiting review from the assignee but also interested parties.
#1478 opened Jun 11, 2026 by karthikbhargavan Collaborator Loading…
2
Workspace: exclude sys waiting-on-review Status: Awaiting review from the assignee but also interested parties.
#1470 opened Jun 3, 2026 by franziskuskiefer Contributor Loading…
1
[Combined Extraction] C Extract ML-DSA 44 & 87 waiting-on-author Status: This is awaiting some action from the author.
#1467 opened Jun 1, 2026 by jschneider-bensch Collaborator Loading…
1
2
Introduce AI-generated submissions policy in CONTRIBUTING.md waiting-on-author Status: This is awaiting some action from the author.
#1453 opened May 20, 2026 by franziskuskiefer Contributor Loading…
3
Correctness Proofs for SHA-3 (Part 2): Proofs for Portable Keccak-f1600 waiting-on-review Status: Awaiting review from the assignee but also interested parties.
#1408 opened May 6, 2026 by karthikbhargavan Collaborator Loading…
@jschneider-bensch
Fix 1362 xof streaming squeeze waiting-on-review Status: Awaiting review from the assignee but also interested parties.
#1389 opened Apr 22, 2026 by MavenRain Loading…
1
2
[ml-dsa]Implement Zeroize for MLDSASigningKey/[traits,secrets,chacha20poly1305]Implement Zeroize for AEAD Key keep-open waiting-on-review Status: Awaiting review from the assignee but also interested parties.
#1387 opened Apr 22, 2026 by MavenRain Loading…
2
2
[aesgcm] improve portable gf128 performance waiting-on-author Status: This is awaiting some action from the author.
#1340 opened Feb 19, 2026 by robinhundt Contributor • Draft
@robinhundt
3
feat(ml-kem): add zeroize support and tests waiting-on-review Status: Awaiting review from the assignee but also interested parties.
#1332 opened Feb 14, 2026 by rainmitch Loading…
6
Signature APIs waiting-on-author Status: This is awaiting some action from the author.
#1241 opened Nov 17, 2025 by wysiwys Contributor Loading…
5 of 6 tasks
1
@jschneider-bensch
48
Panic freemdom for AVX2 and NEON SHA-3 backends blocked Status: marked as blocked on something else. keep-open waiting-on-author Status: This is awaiting some action from the author.
#1238 opened Nov 12, 2025 by parrot7483 Collaborator Loading…
@parrot7483
3
ML-KEM: AVX2 implementation of serialize_11 and deserialize_11. keep-open waiting-on-review Status: Awaiting review from the assignee but also interested parties.
#518 opened Aug 19, 2024 by xvzcf Contributor Loading…
@jschneider-bensch
3
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.