Byzantine Generals Problem
Hur når n generaler konsensus när vissa av dem aktivt försöker sabotera kommunikationen? Klassiska distribuerade-system-problemet.
Lamport, Shostak, Pease (1982). Bevisade: kräver minst 3f+1 deltagare för att tolerera f byzantine nodes. Skiljer sig från "crash failure" (nod slutar svara) — byzantine nodes kan ljuga, skicka olika meddelanden till olika mottagare, sprida felaktiga rykten. Praktiska BFT-algoritmer: PBFT (1999), Tendermint, HotStuff (Diem/Libra), bitcoin-style PoW (probabilistisk). Drivande problem i blockchain-design.