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

76 Open 41 Closed
76 Open 41 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

Update ml-kem docs documentation Improvements or additions to documentation
#338 opened Jun 27, 2024 by franziskuskiefer ML-KEM Release 0.0.2
Fix hax CI job to always run or only be required when run ci Continuous integration
#337 opened Jun 27, 2024 by franziskuskiefer
Add documentation for C extraction documentation Improvements or additions to documentation
#336 opened Jun 26, 2024 by franziskuskiefer
Cleanup old mlkem hax and proofs ci Continuous integration hax Proof tools
#334 opened Jun 26, 2024 by franziskuskiefer
2 tasks
PSQ PV extraction blockers
#332 opened Jun 24, 2024 by franziskuskiefer
5 tasks
@jschneider-bensch
Offer verified ML-KEM API in libcrux-ml-kem
#326 opened Jun 19, 2024 by jschneider-bensch ML-KEM Release 0.0.2
1
@jschneider-bensch
Make ML-KEM F* extraction panic-free
#319 opened Jun 14, 2024 by mamonet
3 of 71 tasks
@karthikbhargavan @mamonet
Add features for assurance levels
#314 opened Jun 12, 2024 by franziskuskiefer
2
[no_std] compatibility for standalone crates
#313 opened Jun 12, 2024 by jschneider-bensch
@jschneider-bensch
Reuse CI workflows across the workspace
#312 opened Jun 12, 2024 by jschneider-bensch
@jschneider-bensch
1
Run Wycheproof tests on libcrux-hkdf and libcrux-hmac
#306 opened Jun 11, 2024 by jschneider-bensch
@jschneider-bensch
Initial pqcp release
#302 opened Jun 10, 2024 by franziskuskiefer
@franziskuskiefer @jschneider-bensch
4
Make libcrux_ml_kem lax-check in F*
#301 opened Jun 6, 2024 by mamonet
70 of 71 tasks
@mamonet
6
Improve secret independence guarantees in compiled code.
#299 opened Jun 4, 2024 by xvzcf
Optimize HACL* Raw RSA decryption to use CRT
#295 opened Jun 3, 2024 by franziskuskiefer
@karthikbhargavan
3
ML-DSA 65 AVX2 Implementation
#275 opened May 14, 2024 by franziskuskiefer
@xvzcf
HPKE Cleanup
#272 opened May 13, 2024 by franziskuskiefer
Compilation to wasm enhancement New feature or request
#225 opened Mar 20, 2024 by bshvass
6
Verify ML-KEM 768 AVX2 meta
#221 opened Mar 18, 2024 by franziskuskiefer
@W95Psp @karthikbhargavan
Kyber F* extraction: move BitVecEq to hax lib
#207 opened Feb 20, 2024 by W95Psp
@W95Psp
1
Add ML-KEM C extraction to CI
#200 opened Feb 4, 2024 by franziskuskiefer
@franziskuskiefer
1
[Meta] Kyber F* Proof Cleanup and CI meta
#192 opened Jan 29, 2024 by karthikbhargavan
1 of 2 tasks
@W95Psp @karthikbhargavan
Adding a pairing function to Bls12-381
#180 opened Jan 21, 2024 by jtcoolen
2
CI: Kyber: re-enable F* verification on CI for extraction-edited
#168 opened Jan 11, 2024 by W95Psp
@W95Psp
Libcrux.Kem.Kyber.Ntt.fst
#166 opened Jan 10, 2024 by karthikbhargavan
@karthikbhargavan
ProTip! Updated in the last three days: updated:>2024-06-24.