Skip to content

kyber: document pk isn't checked like ML-KEM#648

Merged
bwesterb merged 1 commit into
mainfrom
bas/gw26
Jul 15, 2026
Merged

kyber: document pk isn't checked like ML-KEM#648
bwesterb merged 1 commit into
mainfrom
bas/gw26

Conversation

@bwesterb

@bwesterb bwesterb commented Jul 15, 2026

Copy link
Copy Markdown
Member

The round 3 Kyber reference implementation accepts unreduced coefficients for the public key, but hashes the unreduced coefficients into the shared secret, which binds them.

ML-KEM instead checks whether the coefficients of a public key are reduced.

Both approaches have up and downsides. Our Kyber implementation matches what the Kyber reference implementation did.

This commit adds a comment noting that, so that GenAI doesn't warn about the mismatch with ML-KEM.


Open in Devin Review

devin-ai-integration[bot]

This comment was marked as resolved.

The round 3 Kyber reference implementation accepts unreduced
coefficients for the public key, but hashes the unreduced
coefficients into the shared secret, which binds them.

ML-KEM instead checks whether the coefficients of a public
key are reduced.

Both approaches have up and downsides. Our Kyber implementation matches
what the Kyber reference implementation did.

This commit adds a comment noting that, so that GenAI doesn't warn about
the mismatch with ML-KEM.
@lukevalenta

Copy link
Copy Markdown
Contributor

Is there a reason to keep maintaining this version of kyber?

@bwesterb

bwesterb commented Jul 15, 2026

Copy link
Copy Markdown
Member Author

We should check how many users remain. It's a small diff on top of ML-KEM, so the bar is low.

@bwesterb bwesterb merged commit dcd361c into main Jul 15, 2026
14 checks passed
@bwesterb bwesterb deleted the bas/gw26 branch July 15, 2026 13:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants