Leslie Lamport (Nueva York, 1941), Marshall Pease y Robert Shostak del SRI International publican en 1982 "The Byzantine Generals Problem" en ACM Transactions on Programming Languages and Systems, formalizando el problema del consenso distribuido en presencia de nodos maliciosos o defectuosos. El problema modela un conjunto de generales que deben coordinar un ataque mediante mensajeros potencialmente traidores: ¿cómo alcanzar acuerdo garantizado si algunos participantes mienten activamente? El artículo demuestra que el consenso es posible si y solo si menos de un tercio de los participantes son maliciosos, y proporciona los algoritmos fundamentales de tolerancia a fallos bizantinos (BFT). Bitcoin resuelve el problema de los generales bizantinos en una red abierta y sin permisos mediante proof-of-work: el coste computacional hace que atacar sea más caro que cooperar. Nakamoto no cita a Lamport explícitamente pero la solución de Bitcoin es una respuesta directa al problema formalizado en 1982. Lamport recibió el Turing Award en 2013 por Paxos y LaTeX, no por los generales bizantinos.