A topic in the Open Knowledge Graph — a free, open map of 15,290 topics and the order to learn them in.

Lattice-Based Cryptography

Research Depth 99 in the knowledge graph I know this Set as goal
5topics build on this
538prerequisites beneath it
See this on the map →
Computational Hardness AssumptionsModular Arithmetic and CongruencesHomomorphic EncryptionLearning with Errors (LWE)+1 more
lattice svp sis worst-case-hardness post-quantum

Core Idea

A lattice is the set of all integer linear combinations of a set of basis vectors in Rn. Lattice problems — finding short vectors (SVP), finding close vectors (CVP) — are believed hard even for quantum computers. Lattice-based cryptography builds encryption, signatures, FHE, and more on the hardness of these problems. The key advantage over number-theoretic schemes is worst-case to average-case reductions (Ajtai 1996): breaking a random lattice instance is as hard as solving the worst case of standard lattice problems. This provides stronger theoretical foundations and quantum resistance, making lattices the basis for NIST's post-quantum standards (ML-KEM, ML-DSA).

Explainer

A lattice is a regular, repeating grid of points in n-dimensional space, generated by integer linear combinations of a set of basis vectors. In 2D, think of a parallelogram tiling of the plane — every vertex is a lattice point. In high dimensions, lattices exhibit a remarkable property: fundamental geometric problems become computationally hard. The Shortest Vector Problem (SVP) asks for the shortest nonzero vector in the lattice. The Closest Vector Problem (CVP) asks for the lattice point nearest to a given target point. Both are believed to be exponentially hard in the lattice dimension, even for quantum computers — making lattices the primary foundation for post-quantum cryptography.

The theoretical strength of lattice-based cryptography comes from worst-case to average-case reductions, first established by Ajtai in 1996. He showed that if there exists any efficient algorithm that can solve a random instance of certain lattice problems, then there exists an efficient algorithm that can solve the worst case of SVP. This is dramatically stronger than the assumptions underlying RSA or Diffie-Hellman, which assume that random instances are hard without any connection to worst-case complexity. For lattice cryptography, "random instances are easy" implies "ALL instances are easy" — a much harder claim to believe, providing stronger evidence for the assumption's truth.

Two core problems underpin most constructions. SIS (Short Integer Solution) asks for a short vector in the kernel of a random matrix — finding such a vector is at least as hard as worst-case SVP. SIS gives collision-resistant hash functions and forms the basis of lattice signatures. LWE (Learning with Errors) asks to distinguish noisy inner products from random values — it is at least as hard as worst-case lattice problems and forms the basis of lattice encryption, key exchange, and FHE. Ring variants (Ring-SIS, Ring-LWE) use polynomial rings instead of general vectors, achieving comparable security with smaller keys and faster operations.

NIST selected lattice-based schemes as the primary post-quantum standards: ML-KEM (Kyber) for key encapsulation and ML-DSA (Dilithium) for digital signatures, both based on Module-LWE. Lattices won the competition not by being the only quantum-resistant option but by offering the best balance of security confidence (decades of cryptanalysis, worst-case reductions), performance (key sizes around 1-2 KB, fast operations), and versatility (the same mathematical framework supports encryption, signatures, FHE, zero-knowledge proofs, and advanced primitives like identity-based encryption). The transition from RSA/ECC to lattice-based cryptography is underway and represents the most significant change in deployed cryptographic infrastructure since the adoption of public-key cryptography in the 1990s.

Practice Questions 5 questions

Prerequisite Chain

Understanding ZeroThe Number ZeroCounting to FiveCounting to 10Counting to 20Counting a Set of Objects Up to 20Cardinality: The Last Number CountedMatching Numerals to QuantitiesSubitizing Small QuantitiesAddition Within 10Number Bonds to 10Addition Within 20Doubles and Near DoublesDoubles Facts Within 10Near Doubles Facts Within 20Mental Math Strategies for AdditionMental Math: Adding and Subtracting TensAddition Within 100Repeated Addition as MultiplicationMultiplication as Equal GroupsMultiplication: ArraysBasic Multiplication Facts (0s, 1s, 2s, 5s, 10s)Multiplication Facts Within 100Division as Equal SharingDivision as Grouping (Measurement Division)Division: Grouping (Repeated Subtraction) ModelDivision: Fair Sharing ModelDivision as Equal SharingDivision as GroupingBasic Division FactsDivision Facts Within 100Multiplication and Division Fact FamiliesRelationship Between Multiplication and DivisionDivision Facts as Inverse of MultiplicationRemainders and Quotients in DivisionDivision Word ProblemsMulti-Step Word ProblemsSolving Multi-Step Word ProblemsMultiplication Word ProblemsDivision Word ProblemsIntroduction to Long DivisionFactors and MultiplesPrime and Composite NumbersEquivalent FractionsRelating Fractions and DecimalsDecimal Place ValueIntegers and the Number LineComparing and Ordering IntegersAbsolute ValueAdding IntegersSubtracting IntegersMultiplying IntegersIntroduction to ExponentsOrder of OperationsInteger Order of OperationsVariable ExpressionsThe Distributive PropertyVariables and Expressions ReviewIntroduction to PolynomialsAdding and Subtracting PolynomialsMultiplying PolynomialsFactorialPermutationsCombinationsCounting Principles: Addition and Multiplication RulesIntroduction to Graph TheoryPropositional Logic FoundationsLogical EquivalencesBoolean AlgebraBoolean Type and Truth ValuesComparison Operators and Boolean TestsLogical Operators and Boolean AlgebraBoolean Algebra and Fundamental LawsLogic Gates FundamentalsImplementing Boolean Functions with GatesKarnaugh Map SimplificationCombinational Circuit DesignFlip-Flops and LatchesFinite State Machines (FSMs)Deterministic Finite Automata (DFA)Nondeterministic Finite Automata (NFA)Two-Way Finite AutomataNFA to DFA Conversion (Subset Construction)DFA Properties and Minimization AlgorithmsRegular Languages: Definition and CharacterizationContext-Free Grammars (CFGs)Pushdown Automata (PDA)Equivalence of CFGs and Pushdown AutomataClosure Properties of Context-Free LanguagesLimitations of Context-Free LanguagesPumping Lemma for Context-Free LanguagesTuring MachinesVariants of Turing Machines and EquivalenceNondeterministic Time Complexity and NPThe P vs. NP ProblemComplexity Class P: Polynomial TimeHash Functions and Collision ResistanceThe RSA CryptosystemComputational Hardness AssumptionsLattice-Based Cryptography

Longest path: 100 steps · 538 total prerequisite topics

Prerequisites (2)

Leads To (3)