■ Block 01 / research
Research
Foundations other work depends on. Each entry explains what it is, why it is load-bearing, its open problems, and a reviewed timeline of progress.
Foundations other work depends on. Each entry explains what it is, why it is load-bearing, its open problems, and a reviewed timeline of progress.
Conflict-driven clause-learning solvers decide Boolean satisfiability on formulas with millions of variables, powering hardware and software verification, planning and computer-assisted mathematics.
Algorithms for quantum computers, from Shor's factoring and Grover's search to quantum simulation, and the evidence about which speedups are real, provable or only heuristic.
Public-key encryption, signatures and homomorphic encryption whose security rests on Learning With Errors, the basis of the NIST post-quantum standards ML-KEM and ML-DSA.