Кстати к экзотическим алгоритмам консенсуса можно еще отнести Catchain. Это алгоритм консенсуса на котором должен был работать Дуровский тон. Я сейчас про него статью читал, пишут, что этот алгоритм построен на основе practical Byzantine Fault Tolerance, но имеет ряд отличительных особенностей, поэтому его целесообразно отнести к самостоятельному классу алгоритмов
Да там на самом деле много алгоритмов на BFT, даже сложно определить кто откуда содрал

Поэтому 11-м пунктом просто указал
Византийская отказоустойчивость, ибо это заслуживает отдельной статьи...которую я возможно опишу. А ровнять их под одну гребенку...самые знаменитые:
Practical Byzantine Fault Tolerance (о чем Вы и написали) и
Federated Byzantine Agreement частично (или полностью?) используют в Stellar и Ripple. Есть и другие, но там все сложно))
Если все хорошо с техническим английским, то можно почитать вот этот прекрасный тех документ -
http://pmg.csail.mit.edu/papers/osdi99.pdf