pq-code-package / mldsa-native Public

Notifications You must be signed in to change notification settings
Fork 4
Star 3

Code
Issues 70
Pull requests 7
Actions
Projects
Security
Insights

Additional navigation options

Code
Issues
Pull requests
Actions
Projects
Security
Insights

Pull requests: pq-code-package/mldsa-native

Labels 14 Milestones 0

New pull request New

7 Open 49 Closed

Author

Filter by author

Label

Filter by label

Use alt + click/return to exclude labels

or ⇧ + click/return for logical OR

Projects

Filter by project

Milestones

Filter by milestone

Reviews

Filter by reviews

No reviews Review required Approved review Changes requested

Assignee

Filter by who’s assigned

Assigned to nobody

Sort

Sort by

Newest Oldest Most commented Least commented Recently updated Least recently updated Best match

Most reactions

Pull requests list

Add spec and proofs for Keccak dependent functions

#167 opened Apr 14, 2025 by manastasova • Draft

Add spec and proof for KeccakF1600_StatePermute

#166 opened Apr 14, 2025 by manastasova • Draft

Add spec and proofs for load64 and store64

#165 opened Apr 14, 2025 by manastasova

Loading…

CBMC: Add contracts and proofs for various polyvec functions

#151 opened Apr 12, 2025 by mkannwischer

Loading…

CBMC: Add contracts and proofs for various poly functions

#140 opened Apr 12, 2025 by mkannwischer

Loading…

Simplification and proof of unpack_sig() and supporting functions. benchmark

#139 opened Apr 9, 2025 by rod-chapman

Loading…

Add benchmarking (Raspberry Pi 5, Cortex-A55, Banana PI F3) benchmark

#52 opened Mar 8, 2025 by mkannwischer • Draft

ProTip! Follow long discussions with comments:>50.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly