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