Подводные камни византийской отказоустойчивости

Одной из фундаментальных задач распределенных вычислений является обеспечение надежности системы при наличии дефектных процессов и достижение консенсуса. Проблема консенсуса заключается в необходимости достижения согласия между несколькими процессами относительно одного значения данных, такого как новое значение бита в последовательности или хэш следующего блока. Византийская отказоустойчивость является наиболее общей моделью для описания дефектных процессов. В данной модели злоумышленник может скоординировано выполнять злонамеренные действия всеми управляемыми процессами с целью нарушения работы алгоритма. Алгоритмы, способные справиться с таким поведением злоумышленников, называются византийски отказоустойчивыми. Возникнув для задачи консенсуса около 50 лет назад, византийски отказоустойчивые алгоритмы по-прежнему занимают умы исследователей, получив новую волну интереса благодаря блкочейну и распространившись далеко за его пределы. В докладе будут затронуты вопросы часов, цензуры, генерации случайных чисел