Skip to content

Issues: cryspen/libcrux

Beta
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

61 Open 248 Closed
61 Open 248 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

curve25519 APIs
#915 opened Apr 9, 2025 by franziskuskiefer
3 tasks
Verify ML-DSA: avx2/arithmetic.rs: from shift_left_then_reduce to the end
#911 opened Apr 7, 2025 by W95Psp
Verify ML-DSA: avx2/arithmetic.rs: up to montgomery_multiply
#910 opened Apr 7, 2025 by W95Psp
Verify ML-DSA: avx2/arithmetic.rs: investigate style
#909 opened Apr 7, 2025 by W95Psp
@W95Psp
Verify ML-DSA: avx2/arithmetic.rs meta
#908 opened Apr 7, 2025 by W95Psp
@W95Psp
[ML-KEM] Support PQCP APIs pqcp PQ Code Packages
#894 opened Mar 31, 2025 by franziskuskiefer
Verifty ML-DSA: avx2/encoding/commitment: serialize_6
#887 opened Mar 18, 2025 by W95Psp
1
@W95Psp
1
Verifty ML-DSA: avx2/encoding/commitment: serialize_4
#886 opened Mar 18, 2025 by W95Psp
1
@W95Psp
[ML-DSA] Code cleanup meta
#885 opened Mar 18, 2025 by franziskuskiefer
Don't re-run everything when pushing to main ci Continuous integration
#873 opened Mar 5, 2025 by franziskuskiefer
Add debian testing mlkem C CI ci Continuous integration
#867 opened Mar 4, 2025 by franziskuskiefer
Write proofs for SIMD portable sample module
#863 opened Mar 3, 2025 by mamonet
1
@karthikbhargavan
1
Move arithmetic spec of MLDSA to Spec.MLDSA.fst and link it with traits.rs functions
#858 opened Feb 27, 2025 by mamonet
Write spec for SIMD portable sample module
#857 opened Feb 27, 2025 by mamonet
1
1
explicit_bzero Warning on Linux
#856 opened Feb 26, 2025 by Parrot7483
RSA: Decide what to do if byte-length of d is shorter than BITS/8.
#841 opened Feb 19, 2025 by keks
Add Blake2 benchmarks
#838 opened Feb 18, 2025 by jschneider-bensch
Add all tests to CI
#832 opened Feb 17, 2025 by jschneider-bensch
3 tasks
1
Constant time MAC verification for HMAC stale
#830 opened Feb 13, 2025 by jschneider-bensch
1
Better caching for proofs stale verification
#826 opened Feb 13, 2025 by franziskuskiefer
1
Use secrets crate in PSQ stale
#820 opened Feb 12, 2025 by jschneider-bensch
@jschneider-bensch
1
Add status job to docker build job ci Continuous integration stale
#819 opened Feb 12, 2025 by franziskuskiefer
1
Clean up libcrux-c docker image ci Continuous integration
#818 opened Feb 12, 2025 by franziskuskiefer
1 task
libcrux_kem should provide access to backing slices instead of Vec<u8> stale
#817 opened Feb 12, 2025 by jschneider-bensch
1
Incremental HKDF stale
#816 opened Feb 12, 2025 by jschneider-bensch
1
ProTip! Adding no:label will show everything without a label.