pq-code-package / mlkem-rust-libcrux Public

generated from pq-code-package/template-code

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

portable ML-KEM implementation with some optimizations for AVX2. Full AVX2 support will be added over the coming months. The code is formally verified for panic freedom, correctness, and secret independence in F* using the hax toolchain.

Apache-2.0 license

1 star 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
.github		.github
.gitignore		.gitignore
CODEOWNERS		CODEOWNERS
CODE_OF_CONDUCT.md		CODE_OF_CONDUCT.md
CONTRIBUTING.md		CONTRIBUTING.md
GOVERNANCE.md		GOVERNANCE.md
LICENSE		LICENSE
MAINTAINERS.md		MAINTAINERS.md
README.md		README.md
SECURITY.md		SECURITY.md
SUPPORT.md		SUPPORT.md
antitrust.md		antitrust.md

Repository files navigation

template-code

Template for creating code repositories, with basic file setup included

About

portable ML-KEM implementation with some optimizations for AVX2. Full AVX2 support will be added over the coming months. The code is formally verified for panic freedom, correctness, and secret independence in F* using the hax toolchain.

Apache-2.0 license

Code of conduct

Security policy

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Contributors 3