Lectura rápida
Empieza por la explicación más corta y útil antes de profundizar.
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.