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

27 Open 145 Closed
27 Open 145 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

Run SLOTHY in CI enhancement New feature or request
#536 opened Dec 16, 2024 by hanno-becker
3 tasks
Introduce a single config.h sufficient for set all user-controlled parameters enhancement New feature or request
#533 opened Dec 15, 2024 by hanno-becker
Add examples for how to use mlkem-native documentation Improvements or additions to documentation enhancement New feature or request
#527 opened Dec 14, 2024 by hanno-becker
2 of 4 tasks
1
Clarify what is the public API of mlkem-native documentation Improvements or additions to documentation enhancement New feature or request
#526 opened Dec 14, 2024 by hanno-becker
CBMC: Unify native vs. non-native rej_uniform C code CBMC enhancement New feature or request
#525 opened Dec 13, 2024 by hanno-becker next
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
Makefile: Don't try-include goalname as Makefile
#515 opened Dec 12, 2024 by hanno-becker
@potsrevennil
Consider publishing a Rust crate enhancement New feature or request
#502 opened Dec 6, 2024 by mkannwischer next
CBMC: Prove all fips202 functions CBMC enhancement New feature or request
#498 opened Dec 4, 2024 by mkannwischer next
CBMC: State and prove shake128x4_absorb CBMC enhancement New feature or request
#492 opened Dec 4, 2024 by mkannwischer next
CBMC: Prove shake256x4 CBMC enhancement New feature or request
#491 opened Dec 4, 2024 by mkannwischer next
CBMC: Prove shake128x4_squeezeblocks CBMC enhancement New feature or request
#490 opened Dec 4, 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
Study impact of native implementations of polyvec_compress + polyvec_decompress aarch64 enhancement New feature or request x86_64
#474 opened Dec 3, 2024 by mkannwischer
Run valgrind-based constant-time tests in CI enhancement New feature or request priority-high
#462 opened Nov 30, 2024 by mkannwischer next
@mkannwischer
Allow overwriting mulcache size in native implementations enhancement New feature or request
#412 opened Nov 16, 2024 by hanno-becker next
1
Update Proof Guide to cover use of OBJECT_UPTO rather than OBJECT_WHOLE CBMC documentation Improvements or additions to documentation enhancement New feature or request
#382 opened Nov 12, 2024 by rod-chapman next
@rod-chapman
2
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
Pick uniform convention for inclusive vs.exclusive bounds in runtime and CBMC bounds checking macros CBMC enhancement New feature or request
#324 opened Nov 4, 2024 by hanno-becker
1 task
next
@rod-chapman
5
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
Formatting off in tests all bug Something isn't working testing
#214 opened Oct 12, 2024 by hanno-becker
@potsrevennil
2
Tune x86 benchmarks (turn off TurboBoost and Hyper-Threading) enhancement New feature or request testing
#199 opened Oct 5, 2024 by mkannwischer next
5
ProTip! What’s not been updated in a month: updated:<2024-11-16.