Skip to content

Pull requests: cryspen/libcrux

New pull request New
12 Open 672 Closed
12 Open 672 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

ML-DSA: add F* proofs for (avx2) InvNTT
#1055 opened Jul 10, 2025 by W95Psp • Draft
Add and implement KEM traits
#1053 opened Jul 8, 2025 by keks Loading…
1
13
PSQv2
#1048 opened Jul 2, 2025 by jschneider-bensch Loading…
2 of 3 tasks
2
44
ML-DSA: Proofs: remaining avx2 deserialize functions
#1047 opened Jul 2, 2025 by W95Psp Loading…
3
Update eurydice-glue.h following a change in eurydice
#1024 opened Jun 16, 2025 by Nadrieril Loading…
2
[ML-KEM] Provide idiomatic Rust API & PQCP common API
#1012 opened Jun 5, 2025 by jschneider-bensch • Draft
5 of 16 tasks
1
@jschneider-bensch
1
mldsa: cleanup simd trait do-not-merge Don't merge this PR
#986 opened May 21, 2025 by franziskuskiefer Loading…
@karthikbhargavan
3
Add equivalence lemma for montgomery_multuiply do-not-merge Don't merge this PR
#975 opened May 19, 2025 by W95Psp • Draft
@W95Psp
14
Update Readme.md with our article.
#963 opened May 15, 2025 by spitters Loading…
3
[WIP] Mutable Style for ML-KEM
#954 opened May 9, 2025 by karthikbhargavan • Draft
2
[ML-KEM] Fix verification for ind_cpa functions
#907 opened Apr 5, 2025 by mamonet Loading…
@karthikbhargavan
5
ML-KEM: AVX2 implementation of serialize_11 and deserialize_11. keep-open
#518 opened Aug 19, 2024 by xvzcf Loading…
@jschneider-bensch
2
ProTip! Updated in the last three days: updated:>2025-07-10.