Section 2.4. Interpreting the Pseudocode
Section 4.2.2. Sampling algorithms
Section 4.3. The Number-Theoretic Transform
Section 4.1. Crytographic Functions
Section 4.2.1. Conversion and Compression Algorithms, Encoding and decoding
Section 7. Parameter Sets
This module encapsulates all of the compile-time logic related to parameter-set dependent sizes
of objects. ParameterSet captures the parameters in the form described by the ML-KEM
specification. EncodingSize, VectorEncodingSize, and CbdSamplingSize are “upstream” of
ParameterSet; they provide basic logic about the size of encoded objects. PkeParams and
KemParams are “downstream” of ParameterSet; they define derived parameters relevant to
K-PKE and ML-KEM.
The inevitable utility module