Pull requests: cryspen/libcrux
Pull requests list
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
Contributor
Loading…
Correctness Proofs for SHA-3 (Part 1): A Rust Specification for SHA-3
waiting-on-review
Status: Awaiting review from the assignee but also interested parties.
#1399
opened May 6, 2026 by
karthikbhargavan
Contributor
Loading…
[aesgcm] improve portable gf128 performance
#1340
opened Feb 19, 2026 by
robinhundt
Contributor
•
Draft
KMAC-128 and KMAC-256 implementation
waiting-on-author
Status: This is awaiting some action from the author.
#1292
opened Jan 21, 2026 by
kraemv
Loading…
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
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…
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…
ProTip!
Updated in the last three days: updated:>2026-05-26.