No, the theorem by Fisher, Lynch, and Patterson (FLP) proved that a consensus algorithm has to make random choices in order to be aBFT. That’s why hashgraph makes random choices within the algorithm. As do all aBFT consensus algorithms.
Hedera Help
Answers to the most frequently asked questions about Hedera Hashgraph.
