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 Congruences→→Homomorphic 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 Zero → The Number Zero → Counting to Five → Counting to 10 → Counting to 20 → Counting a Set of Objects Up to 20 → Cardinality: The Last Number Counted → Matching Numerals to Quantities → Subitizing Small Quantities → Addition Within 10 → Number Bonds to 10 → Addition Within 20 → Doubles and Near Doubles → Doubles Facts Within 10 → Near Doubles Facts Within 20 → Mental Math Strategies for Addition → Mental Math: Adding and Subtracting Tens → Addition Within 100 → Repeated Addition as Multiplication → Multiplication as Equal Groups → Multiplication: Arrays → Basic Multiplication Facts (0s, 1s, 2s, 5s, 10s) → Multiplication Facts Within 100 → Division as Equal Sharing → Division as Grouping (Measurement Division) → Division: Grouping (Repeated Subtraction) Model → Division: Fair Sharing Model → Division as Equal Sharing → Division as Grouping → Basic Division Facts → Division Facts Within 100 → Multiplication and Division Fact Families → Relationship Between Multiplication and Division → Division Facts as Inverse of Multiplication → Remainders and Quotients in Division → Division Word Problems → Multi-Step Word Problems → Solving Multi-Step Word Problems → Multiplication Word Problems → Division Word Problems → Introduction to Long Division → Factors and Multiples → Prime and Composite Numbers → Equivalent Fractions → Relating Fractions and Decimals → Decimal Place Value → Integers and the Number Line → Comparing and Ordering Integers → Absolute Value → Adding Integers → Subtracting Integers → Multiplying Integers → Introduction to Exponents → Order of Operations → Integer Order of Operations → Variable Expressions → The Distributive Property → Variables and Expressions Review → Introduction to Polynomials → Adding and Subtracting Polynomials → Multiplying Polynomials → Factorial → Permutations → Combinations → Counting Principles: Addition and Multiplication Rules → Introduction to Graph Theory → Propositional Logic Foundations → Logical Equivalences → Boolean Algebra → Boolean Type and Truth Values → Comparison Operators and Boolean Tests → Logical Operators and Boolean Algebra → Boolean Algebra and Fundamental Laws → Logic Gates Fundamentals → Implementing Boolean Functions with Gates → Karnaugh Map Simplification → Combinational Circuit Design → Flip-Flops and Latches → Finite State Machines (FSMs) → Deterministic Finite Automata (DFA) → Nondeterministic Finite Automata (NFA) → Two-Way Finite Automata → NFA to DFA Conversion (Subset Construction) → DFA Properties and Minimization Algorithms → Regular Languages: Definition and Characterization → Context-Free Grammars (CFGs) → Pushdown Automata (PDA) → Equivalence of CFGs and Pushdown Automata → Closure Properties of Context-Free Languages → Limitations of Context-Free Languages → Pumping Lemma for Context-Free Languages → Turing Machines → Variants of Turing Machines and Equivalence → Nondeterministic Time Complexity and NP → The P vs. NP Problem → Complexity Class P: Polynomial Time → Hash Functions and Collision Resistance → The RSA Cryptosystem → Computational Hardness Assumptions → Lattice-Based Cryptography

Longest path: 100 steps · 538 total prerequisite topics

Prerequisites (2)

Leads To (3)