Blockchain Consensus: Nakamoto Consensus, Casper FFG, Tendermint BFT, and the Safety-Liveness TradeoffA rigorous analysis of blockchain consensus protocols from PoW through PoS to BFT, exploring the fundamental safety-liveness tradeoff in permissionless settings and the role of finality gadgets.