tgoop.com/PetaSat/65
Last Update:
Byzantine Fault Tolerance algorithm (pBFT)
Консенсусный алгоритм, введённый в конце 90-х годов Барбарой Лисковой и Мигелем Кастро. pBFT был разработан для эффективной работы в асинхронных системах (без верхней границы при получении ответа на запрос). Он оптимизирован для малых затрат времени. Его целью было решение многих проблем, связанных с уже имеющимися решениями задачи византийских генералов. Области применения включают распределенные вычисления и блокчейн.
Задача византийских генералов — в криптологии задача взаимодействия нескольких удалённых абонентов, которые получили приказы из одного центра. Часть абонентов, включая центр, могут быть злоумышленниками (или злоумышленники подменили сообщения при передаче). Нужно выработать единую стратегию действий, которая будет выигрышной для абонентов.
“Византия. Ночь перед великим сражением с противником. Византийская армия состоит из n-числа легионов, каждым из которых командует свой генерал. Также у армии есть главнокомандующий, которому подчиняются генералы.
В то же самое время, империя находится в упадке, и любой из генералов и даже главнокомандующий могут быть предателями Византии, заинтересованными в её поражении.
Ночью каждый из генералов получает от главнокомандующего приказ как надлежит поступить в 10 часов утра (время одинаковое для всех и известно заранее). Варианты приказа: «атаковать противника» или «отступать».
Возможные исходы сражения:
Если все верные генералы атакуют — Византия уничтожит противника (благоприятный исход).
Если все верные генералы отступят — Византия сохранит свою армию (промежуточный исход).
Если некоторые верные генералы атакуют, а некоторые отступят — противник со временем по частям уничтожит всю армию Византии (неблагоприятный исход).
Также следует учитывать, что если главнокомандующий — предатель, то он может дать разным генералам противоположные приказы, чтобы обеспечить уничтожение армии. Следовательно, генералам надо учитывать такую возможность и не допускать несогласованных действий.
Если же каждый генерал будет действовать полностью независимо от других (например, сделает случайный выбор), то вероятность благоприятного исхода весьма низка.
Поэтому генералы нуждаются в обмене информацией между собой, чтобы прийти к единому решению.”
Лесли Лампорт доказал, что в системе с m неверно работающими процессорами («нелояльными генералами») можно достичь согласия только при наличии 2 m + 1 верно работающих процессоров («лояльных генералов»), то есть когда «правильных» строго больше 2 / 3 от общего числа.
BY 2 квадриллиона сатоши
Share with your friend now:
tgoop.com/PetaSat/65