HackerReposA FIELD GUIDE TO OPEN SOURCE
ProSponsor the shelf♧ 0
← Back to top all-time
pq-code-package
mlkem-native
Assembly2026–2026
pq-code-package / mlkem-native

mlkem-native

Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203

2Distinct people
2Mentions
0Explicit recommenders
260GitHub stars
REPOSITORY AT A GLANCE

What to know before exploring

What it is

Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203

GitHub

Where it is used

No documented product use has been verified yet.

What people are saying

No recommendation phrase was found in the indexed comments.

No classified warning is attached to this page. Read the discussions before treating silence as approval.

Also in these discussions

No other repository is repeatedly linked in the same discussions.

This week on Hacker News

Nov 7–Nov 14 UTC · Direct repository links and separately labeled related project stories. Indexed through 11/14/2026, 1:49:46 PM UTC.

No direct repository links were found in the indexed HN discussions over the past seven days. Older discussions are available below.

Mentions over time

HN mentions by 6-hour interval2 dated mentions

Observed mentions: 2026-07-01 00:07:17 UTC to 2026-07-07 08:22:35 UTC.

012026-07-01 00:00:00 UTC to 2026-07-01 06:00:00 UTC (exclusive): 1 mentions; 0 submissions, 1 commentsJul 1, 00:002026-07-01 06:00:00 UTC to 2026-07-01 12:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-07-01 12:00:00 UTC to 2026-07-01 18:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-07-01 18:00:00 UTC to 2026-07-02 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-07-02 00:00:00 UTC to 2026-07-02 06:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-07-02 06:00:00 UTC to 2026-07-02 12:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-07-02 12:00:00 UTC to 2026-07-02 18:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-07-02 18:00:00 UTC to 2026-07-03 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-07-03 00:00:00 UTC to 2026-07-03 06:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-07-03 06:00:00 UTC to 2026-07-03 12:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-07-03 12:00:00 UTC to 2026-07-03 18:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-07-03 18:00:00 UTC to 2026-07-04 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-07-04 00:00:00 UTC to 2026-07-04 06:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 commentsJul 4, 00:002026-07-04 06:00:00 UTC to 2026-07-04 12:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-07-04 12:00:00 UTC to 2026-07-04 18:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-07-04 18:00:00 UTC to 2026-07-05 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-07-05 00:00:00 UTC to 2026-07-05 06:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-07-05 06:00:00 UTC to 2026-07-05 12:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-07-05 12:00:00 UTC to 2026-07-05 18:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-07-05 18:00:00 UTC to 2026-07-06 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-07-06 00:00:00 UTC to 2026-07-06 06:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-07-06 06:00:00 UTC to 2026-07-06 12:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-07-06 12:00:00 UTC to 2026-07-06 18:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-07-06 18:00:00 UTC to 2026-07-07 00:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-07-07 00:00:00 UTC to 2026-07-07 06:00:00 UTC (exclusive): 0 mentions; 0 submissions, 0 comments2026-07-07 06:00:00 UTC to 2026-07-07 12:00:00 UTC (exclusive): 1 mentions; 0 submissions, 1 commentsJul 7, 06:00

Counts come from the repository’s dated source evidence. Index cutoff: 2026-11-02 08:16:59 UTC.

View mention counts and date ranges
UTC ranges include their start and exclude their end. Select a period to filter the source evidence.
PeriodStart (UTC)End (exclusive, UTC)MentionsSubmissionsComments
Jul 1, 00:002026-07-01 00:00:00 UTC2026-07-01 06:00:00 UTC101
Jul 1, 06:002026-07-01 06:00:00 UTC2026-07-01 12:00:00 UTC000
Jul 1, 12:002026-07-01 12:00:00 UTC2026-07-01 18:00:00 UTC000
Jul 1, 18:002026-07-01 18:00:00 UTC2026-07-02 00:00:00 UTC000
Jul 2, 00:002026-07-02 00:00:00 UTC2026-07-02 06:00:00 UTC000
Jul 2, 06:002026-07-02 06:00:00 UTC2026-07-02 12:00:00 UTC000
Jul 2, 12:002026-07-02 12:00:00 UTC2026-07-02 18:00:00 UTC000
Jul 2, 18:002026-07-02 18:00:00 UTC2026-07-03 00:00:00 UTC000
Jul 3, 00:002026-07-03 00:00:00 UTC2026-07-03 06:00:00 UTC000
Jul 3, 06:002026-07-03 06:00:00 UTC2026-07-03 12:00:00 UTC000
Jul 3, 12:002026-07-03 12:00:00 UTC2026-07-03 18:00:00 UTC000
Jul 3, 18:002026-07-03 18:00:00 UTC2026-07-04 00:00:00 UTC000
Jul 4, 00:002026-07-04 00:00:00 UTC2026-07-04 06:00:00 UTC000
Jul 4, 06:002026-07-04 06:00:00 UTC2026-07-04 12:00:00 UTC000
Jul 4, 12:002026-07-04 12:00:00 UTC2026-07-04 18:00:00 UTC000
Jul 4, 18:002026-07-04 18:00:00 UTC2026-07-05 00:00:00 UTC000
Jul 5, 00:002026-07-05 00:00:00 UTC2026-07-05 06:00:00 UTC000
Jul 5, 06:002026-07-05 06:00:00 UTC2026-07-05 12:00:00 UTC000
Jul 5, 12:002026-07-05 12:00:00 UTC2026-07-05 18:00:00 UTC000
Jul 5, 18:002026-07-05 18:00:00 UTC2026-07-06 00:00:00 UTC000
Jul 6, 00:002026-07-06 00:00:00 UTC2026-07-06 06:00:00 UTC000
Jul 6, 06:002026-07-06 06:00:00 UTC2026-07-06 12:00:00 UTC000
Jul 6, 12:002026-07-06 12:00:00 UTC2026-07-06 18:00:00 UTC000
Jul 6, 18:002026-07-06 18:00:00 UTC2026-07-07 00:00:00 UTC000
Jul 7, 00:002026-07-07 00:00:00 UTC2026-07-07 06:00:00 UTC000
Jul 7, 06:002026-07-07 06:00:00 UTC2026-07-07 12:00:00 UTC101

What Hacker News says

2 sources
This reads to me as an argument of "If you thought ECDSA was bad, wait until you see MLKEM?" ECDSA history is repeating itself again when you consider how poorly the proposed MLKEM RFC deals with side channel resistance: From draft-ietf-tls-mlkem-8:[1] "Implementers are encouraged to use implementations resistant to side-channel attacks, especially those that can be applied by remote attackers." From NIST SP 800-227:[2] "Cryptographic modules for KEMs should be designed with appropriate countermeasures against side-channel attacks. This includes protecting against timing attacks with constant-time implementations and protecting memory from leakage. Universal guidelines are unlikely to be helpful as exposure to side-channel attacks varies significantly with the desired application, and countermeasures are often costly." MLKEM is more compl
Read the rest
ex and has more chances of stuff-ups in implementation than ECDSA did. A single sentence of encouragement is all that is on offer from this MLKEM RFC. It doesn't even have the lightweight "Security Considerations" section which RFC8032 for EdDSA provided.[3] As a point of reference for how hard it is to implement side channel resistant MLKEM see [4] (formal verification) and [5] (errors in formal verification). The MLKEM RFC doesn't offer a "Security Considerations" section to explain how difficult it is to implement side channel resistant MLKEM (perhaps it's easy :S), and if it were hard to implement, to recommend use of EdDSA+MLKEM for cryptography implemented on devices an attacker may be able to physically access, or when used on public networks as a workaround given that side channel resistant EdDSA would be easier to implement. [1] https://datatracker.ietf.org/doc/draft-ietf-tls-mlkem/ [2] https://nvlpubs.nist.gov/nistpubs/SpecialPublications/NIST.S... [3] https://www.rfc-editor.org/info/rfc8032/#section-8.1 [4] https://github.com/pq-code-package/mlkem-native/tree/main/pr... [5] https://eprint.iacr.org/2026/192 edit: added reference 5
In NSA and IETF: Fairness
For a counterpoint Sophie Schmieg recently wrote https://keymaterial.net/2026/06/18/on-hybrid-signatures/ arguing against hybrids. Putting EC and PQ algorithms together isn't trivial, and the complexity of using multiple algorithms in parallel can, itself, lead to more issues. In response to the implementation errors in ML-KEM, companies have moved to formal verification. Apple, for example, recently released[1] a formally verified ML-KEM implementation, where they formally verified the assembly of the implementation to verify that it matches the specification and that it's side-channel free. AWS, similarly, is using a formally verified ML-KEM implementation: "All AArch64 and x86_64 assembly is proved to be functionally correct, memory-safe, and of secret-independent timing (constant-time)" [2]. There are similar efforts (by both Apple, A
Read the rest
mazon, and others) to formally prove ML-DSA implementations as well. [1]: https://security.apple.com/blog/formal-verification-corecryp... [2]: https://github.com/pq-code-package/mlkem-native
In Understanding lattice risks: Many differences between marketing and reality

MAKE YOURSELF AT HOME

A few shortcuts

/
Search the collection
?
Open this guide
Esc
Close dialogs and navigation

Your saved repositories and interests stay in this browser.