Skip to content

Pull requests: cryspen/libcrux

New pull request New
15 Open 797 Closed
15 Open 797 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

Use core models instead of core-arch with hax for intrinsics to fix extraction.
#1263 opened Dec 8, 2025 by maximebuyse • Draft
1
clean libcrux crate
#1259 opened Dec 2, 2025 by franziskuskiefer • Draft
3 tasks
1
Documentation for PSQv2 & client-authentication proposal
#1248 opened Nov 19, 2025 by jschneider-bensch Loading…
1 task done
3
20
Update the ML-KEM ACVP KATs and move into libcrux-kats
#1242 opened Nov 17, 2025 by wysiwys Loading…
1
@wysiwys
3
Signature APIs
#1241 opened Nov 17, 2025 by wysiwys • Draft
4 of 6 tasks
1
@wysiwys
16
Panic freemdom for AVX2 and NEON SHA-3 backends
#1238 opened Nov 12, 2025 by Parrot7483 • Draft
@Parrot7483
impl Clone for generic structs.
#1227 opened Nov 4, 2025 by mmaker Loading…
5
ECDH primitive crate
#1195 opened Oct 2, 2025 by jschneider-bensch • Draft
3 tasks
2
CI: cargo check workspace, public items are documented stale
#1193 opened Oct 1, 2025 by keks • Draft
1
Start moving crates into subdirectories stale
#1189 opened Sep 30, 2025 by keks • Draft
1
1
DHKEM from ECDH trait stale
#1186 opened Sep 30, 2025 by jschneider-bensch • Draft
1
18
Add full type check for SHA3 portable
#1157 opened Sep 18, 2025 by Parrot7483 Loading…
@Parrot7483
55
Digest: Public API (draft)
#1140 opened Sep 10, 2025 by wysiwys • Draft
4 of 5 tasks
@wysiwys
7
Mutable Style for ML-KEM keep-open
#954 opened May 9, 2025 by karthikbhargavan Loading…
1
@karthikbhargavan @jschneider-bensch
13
ML-KEM: AVX2 implementation of serialize_11 and deserialize_11. keep-open
#518 opened Aug 19, 2024 by xvzcf Loading…
@jschneider-bensch
2
ProTip! Follow long discussions with comments:>50.