Skip to content

Pull requests: cryspen/libcrux

New pull request New
10 Open 661 Closed
10 Open 661 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

Make SHA-3 Extract to F*
#1013 opened Jun 7, 2025 by karthikbhargavan • Draft
2 tasks done
@franziskuskiefer @karthikbhargavan
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
Redo AVX2 arithmetic using SMT
#1000 opened May 25, 2025 by karthikbhargavan • Draft
@karthikbhargavan
mldsa: cleanup simd trait do-not-merge Don't merge this PR
#986 opened May 21, 2025 by franziskuskiefer Loading…
@karthikbhargavan
1
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
WIP: AES-GCM keep-open
#935 opened Apr 28, 2025 by karthikbhargavan • Draft
1
[ML-KEM] Fix verification for ind_cpa functions
#907 opened Apr 5, 2025 by mamonet Loading…
@karthikbhargavan
4
ML-KEM: AVX2 implementation of serialize_11 and deserialize_11. keep-open
#518 opened Aug 19, 2024 by xvzcf Loading…
@jschneider-bensch
2
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.