@[reducible, inline]

abbrev Cryptlib.Primitives.KEM.MLKEM1024.kemMLKEM1024 : KEM.KEM

ML-KEM-1024 with the FIPS 203 expanded private key.

Equations

• Cryptlib.Primitives.KEM.MLKEM1024.kemMLKEM1024 = Cryptlib.Primitives.KEM.FIPS203.kem MLKEM.ParameterSet.MLKEM1024

@[reducible, inline]

abbrev Cryptlib.Primitives.KEM.MLKEM1024.kemMLKEM1024Seed : KEM.KEM

ML-KEM-1024 with the ek ‖ d ‖ z seed private key.

Equations

• Cryptlib.Primitives.KEM.MLKEM1024.kemMLKEM1024Seed = Cryptlib.Primitives.KEM.FIPS203.kemSeed MLKEM.ParameterSet.MLKEM1024