The property of a distributed system that can continue to operate correctly even when some participants (up to one-third in classical BFT) behave maliciously or fail arbitrarily. BFT is the theoretical foundation for blockchain consensus mechanisms. *(Ch. 4)*