On the Maximum Toroidal Distance Code for Lattice-Based Public-Key Cryptography
Shuiyin Liu, Amin Sakzad
TL;DR
The paper addresses decryption failure rate and ciphertext expansion in lattice-based public-key encryption, focusing on Kyber. It proposes maximum toroidal distance (MTD) codes by selecting $2^{\ell}$ points in $\mathbb{Z}_q^{\ell}$ to maximize the minimum $L_2$-norm toroidal distance, thereby reducing DFR. A general Good Toroidal Distance (GTD) construction via lattices is developed for any $\ell$, with explicit realizations: $\ell=2$ as a variant of the Minal code, $\ell=4$ using the $D_4$ lattice, and $\ell=8$ using the $2E_8$ lattice; these codes show improved DFR performance in Kyber settings, outperforming Minal and MLD for $\ell>2$ and matching Minal for $\ell=2$. The work also demonstrates practical decoding considerations, achieving lower ciphertext expansion rates and enabling efficient encoding/decoding at small dimensions, with a fast lattice CVP decoder available for larger $\ell$ via the $E_8$ structure. An open question remains to design fast-decodable MTD codes for dimensions beyond $\ell=8$.
Abstract
We propose a maximum toroidal distance (MTD) code for lattice-based public-key encryption (PKE). By formulating the encryption encoding problem as the selection of $2^\ell$ points in the discrete $\ell$-dimensional torus $\mathbb{Z}_q^\ell$, the proposed construction maximizes the minimum $L_2$-norm toroidal distance to reduce the decryption failure rate (DFR) in post-quantum schemes such as the NIST ML-KEM (Crystals-Kyber). For $\ell = 2$, we show that the MTD code is essentially a variant of the Minal code recently introduced at IACR CHES 2025. For $\ell = 4$, we present a construction based on the $D_4$ lattice that achieves the largest known toroidal distance, while for $\ell = 8$, the MTD code corresponds to $2E_8$ lattice points in $\mathbb{Z}_4^8$. Numerical evaluations under the Kyber setting show that the proposed codes outperform both Minal and maximum Lee-distance ($L_1$-norm) codes in DFR for $\ell > 2$, while matching Minal code performance for $\ell = 2$.
