Skip to content

Issues: pq-code-package/mlkem-native

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

21 Open 192 Closed
21 Open 192 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

CI: Ensure HOL-Light proofs and source files are in sync enhancement New feature or request hol-light
#712 opened Jan 28, 2025 by hanno-becker
1 task
1
Consider Z3 4.13.4 and Bitwuzla 0.7 CBMC enhancement New feature or request
#696 opened Jan 24, 2025 by rod-chapman
1
Prototype integration of mlkem-native into AWS-LC integration
#655 opened Jan 13, 2025 by hanno-becker
2 tasks
1
Integrate mlkem-native into libOQS integration
#653 opened Jan 13, 2025 by hanno-becker
19
Make name of randombytes configurable enhancement New feature or request
#640 opened Jan 12, 2025 by hanno-becker
Wait + Retry EC2 runner spinup when hitting request limit ci enhancement New feature or request
#604 opened Jan 1, 2025 by hanno-becker
1
Simplify makefiles build enhancement New feature or request
#576 opened Dec 24, 2024 by hanno-becker
Document dependencies on stdlib and add support for replacement enhancement New feature or request
#550 opened Dec 19, 2024 by hanno-becker
2 tasks
Run SLOTHY in CI enhancement New feature or request
#536 opened Dec 16, 2024 by hanno-becker
3 tasks
@hanno-becker
Add support for library build enhancement New feature or request
#516 opened Dec 12, 2024 by hanno-becker
2 of 4 tasks
@hanno-becker
1
Consider publishing a Rust crate enhancement New feature or request
#502 opened Dec 6, 2024 by mkannwischer next
Generate code documentation using Doxygen documentation Improvements or additions to documentation enhancement New feature or request
#483 opened Dec 4, 2024 by mkannwischer
4 of 12 tasks
next
Consider adding fuzzing
#481 opened Dec 3, 2024 by mkannwischer next
AVX2: Use mulcache for base multiplication enhancement New feature or request x86_64
#477 opened Dec 3, 2024 by hanno-becker
2
Allow overwriting mulcache size in native implementations enhancement New feature or request
#412 opened Nov 16, 2024 by hanno-becker next
1
Move NTT_BOUND and INVNTT_BOUND to ntt.h enhancement New feature or request
#377 opened Nov 11, 2024 by hanno-becker
Namespacing should be checked for both opt and no-opt implementation
#372 opened Nov 11, 2024 by mkannwischer next
@potsrevennil
Bump GCC version in nix to gcc-14 ci enhancement New feature or request
#238 opened Oct 15, 2024 by hanno-becker
3 tasks
next
3
Tune x86 benchmarks (turn off TurboBoost and Hyper-Threading) enhancement New feature or request testing
#199 opened Oct 5, 2024 by mkannwischer next
5
Add implementation details to CI summary ci enhancement New feature or request
#141 opened Sep 19, 2024 by mkannwischer next
@potsrevennil
1
Test all implementation variants in CI ci enhancement New feature or request
#140 opened Sep 19, 2024 by mkannwischer
ProTip! Follow long discussions with comments:>50.