Skip to content

Issues: cryspen/libcrux

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

73 Open 222 Closed
73 Open 222 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

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
@mamonet
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
[PSQ] Drop libcrux dependency
#852 opened Feb 24, 2025 by jschneider-bensch
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
#830 opened Feb 13, 2025 by jschneider-bensch
Better caching for proofs verification
#826 opened Feb 13, 2025 by franziskuskiefer
Use secrets crate in PSQ
#820 opened Feb 12, 2025 by jschneider-bensch
@jschneider-bensch
Add status job to docker build job ci Continuous integration
#819 opened Feb 12, 2025 by franziskuskiefer
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>
#817 opened Feb 12, 2025 by jschneider-bensch
Incremental HKDF
#816 opened Feb 12, 2025 by jschneider-bensch
[PSQ] Model hybrid PSQ
#814 opened Feb 11, 2025 by jschneider-bensch
[PSQ] Model RPC protocol building on (Auth)PSQ
#813 opened Feb 11, 2025 by jschneider-bensch
[PSQ] Model unauthenticated PSQ
#812 opened Feb 11, 2025 by jschneider-bensch
1
[PSQ] Model authenticated PSQ
#811 opened Feb 11, 2025 by jschneider-bensch
2
[Meta] v0.3 meta
#793 opened Feb 6, 2025 by franziskuskiefer
Verify ML-DSA: Add length pre- and post-conditions to functions meta verification
#789 opened Feb 3, 2025 by karthikbhargavan
Verify ML-DSA: portable/artithmetic (Part 2) - everything after montgomery verification
#785 opened Feb 2, 2025 by karthikbhargavan
@mamonet
Verify ML-DSA: avx2/encoding/commitment verification
#784 opened Feb 2, 2025 by karthikbhargavan
@W95Psp
ProTip! Mix and match filters to narrow down what you’re looking for.