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

57 Open 187 Closed
57 Open 187 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

Increase test coverage enhancement New feature or request
#752 opened Jan 15, 2025 by jschneider-bensch
Hax CI: revert #747 when upstream issue is fixed ci Continuous integration
#749 opened Jan 15, 2025 by W95Psp
1
Verify ML-DSA: set up SIMD scaffolding
#746 opened Jan 14, 2025 by karthikbhargavan
4 tasks
@karthikbhargavan
1
Verify ML-DSA: portable/encoding/commitment
#745 opened Jan 14, 2025 by karthikbhargavan
4 tasks
@W95Psp
Verify ML-DSA: portable/arithmetic
#744 opened Jan 14, 2025 by karthikbhargavan
3 tasks
@mamonet
Replace feature std by an optional alloc feature
#743 opened Jan 14, 2025 by jschneider-bensch
[ML-DSA] Simplify variant plumbing
#742 opened Jan 14, 2025 by jschneider-bensch
1
[ML-DSA] Document critcal inlines
#741 opened Jan 14, 2025 by jschneider-bensch
[ML-DSA] Add slice length preconditions proof Proof related
#740 opened Jan 14, 2025 by jschneider-bensch
[ML-KEM] Run proofs on CI ci Continuous integration
#733 opened Jan 7, 2025 by franziskuskiefer
Benchmarks
#730 opened Dec 31, 2024 by franziskuskiefer
11 tasks
@keks
PSQ v0.1 meta
#726 opened Dec 20, 2024 by franziskuskiefer
@jschneider-bensch
Extract with hax on multiple platforms ci Continuous integration
#725 opened Dec 19, 2024 by franziskuskiefer
[PSQ] Implement Wireguard example enhancement New feature or request
#724 opened Dec 19, 2024 by jschneider-bensch
@jschneider-bensch
[PSQ] Implement gRPC type protocol with/without registration enhancement New feature or request
#723 opened Dec 19, 2024 by jschneider-bensch
@jschneider-bensch
[PSQ] Feature gate Classic McEliece enhancement New feature or request
#722 opened Dec 19, 2024 by jschneider-bensch
@jschneider-bensch
[PSQ] Model protocol using ProVerif enhancement New feature or request
#721 opened Dec 19, 2024 by jschneider-bensch
@jschneider-bensch
[PSQ] Implement signature-based client authentication enhancement New feature or request
#720 opened Dec 19, 2024 by jschneider-bensch
@jschneider-bensch
Use most recent nightly for macOS ASAN on CI ci Continuous integration
#717 opened Dec 16, 2024 by franziskuskiefer
Kyber Spec Interop Test
#716 opened Dec 16, 2024 by karthikbhargavan
Document verification status of Kyber round 3
#715 opened Dec 16, 2024 by karthikbhargavan
Clean up code for fixed issues
#708 opened Dec 5, 2024 by karthikbhargavan
Update XWing
#702 opened Dec 2, 2024 by franziskuskiefer
PSQ: Figure out no_std
#698 opened Nov 27, 2024 by keks
Mark internal APIs that we only expose because another libcrux crate needs them. good first issue Good for newcomers
#677 opened Nov 14, 2024 by keks
1
ProTip! Add no:assignee to see everything that’s not assigned.