package mlkem

  1. Overview
  2. Docs

Module MlkemSource

Pure OCaml ML-KEM (FIPS 203).

ML-KEM is a key-encapsulation mechanism: it establishes a shared secret between two parties, it does not sign or encrypt messages. Pick one parameter-set module and use it throughout; keys, ciphertexts, and shared secrets from different sets have incompatible types.

Mlkem768 is the recommended default for applications without an external security-level mandate.

Sourcemodule Mlkem512 : module type of Mlkem512

ML-KEM-512, as standardized by FIPS 203.

Sourcemodule Mlkem768 : module type of Mlkem768

ML-KEM-768, as standardized by FIPS 203.

Sourcemodule Mlkem1024 : module type of Mlkem1024

ML-KEM-1024, as standardized by FIPS 203.

Sourcemodule Fips202 : sig ... end

The extendable-output functions of FIPS 202.