FLP Impossibility
Core Protocol · Bottom
Fischer-Lynch-Paterson impossibility result (1985): no deterministic consensus protocol can guarantee agreement in an asynchronous system with even one faulty process. All practical BFT protocols (including Tower BFT) circumvent FLP by introducing synchrony assumptions — Tower BFT uses Proof of History as a clock to break pure asynchrony.