Files

28 lines
1.8 KiB
TeX

\section{Conclusion}
Lattice cryptography is not magic---it is linear algebra with noise. LWE says: linear
equations are easy; noisy linear equations are hard. Ring-LWE says: we can exploit
polynomial ring structure for efficiency without losing hardness. Module-LWE says: we
can parameterize security by matrix dimension for flexibility.
The NIST standards (ML-KEM, ML-DSA) are specific instantiations with concrete parameters
chosen for practical security. Pulsar extends them to threshold operations for
decentralized signing. The NTT makes all of it fast.
This paper covered the theory. Our companion papers cover the practice: NTT with SIMD
acceleration, EVM precompiles for on-chain verification, and the formal proofs that
tie it all together.
\begin{thebibliography}{99}
\bibitem{regev2005} Regev, O. ``On Lattices, Learning with Errors, Random Linear Codes, and Cryptography.'' STOC, 2005.
\bibitem{lyubashevsky2010} Lyubashevsky, V., Peikert, C., and Regev, O. ``On Ideal Lattices and Learning with Errors over Rings.'' EUROCRYPT, 2010.
\bibitem{kyber} Avanzi, R. et al. ``CRYSTALS-Kyber: Algorithm Specifications and Supporting Documentation.'' NIST PQC Round 3, 2021.
\bibitem{dilithium} Ducas, L. et al. ``CRYSTALS-Dilithium: Algorithm Specifications and Supporting Documentation.'' NIST PQC Round 3, 2021.
\bibitem{fips203} NIST. ``Module-Lattice-Based Key-Encapsulation Mechanism Standard (ML-KEM).'' FIPS 203, 2024.
\bibitem{fips204} NIST. ``Module-Lattice-Based Digital Signature Standard (ML-DSA).'' FIPS 204, 2024.
\bibitem{shor1994} Shor, P.W. ``Algorithms for Quantum Computation: Discrete Logarithms and Factoring.'' FOCS, 1994.
\bibitem{peikert2016} Peikert, C. ``A Decade of Lattice Cryptography.'' Foundations and Trends in Theoretical Computer Science, 2016.
\end{thebibliography}