Семинар «IBFT под микроскопом: верификация и устойчивость к цензуре»

Selfmade

Следующий семинар пройдет 25 февраля 2026 в 18:30 онлайн, ссылка на трансляцию будет вывешена здесь незадолго до старта.

Тема: «IBFT под микроскопом: верификация и устойчивость к цензуре».

Докладчик: Никита Бондарев, стажер-исследователь Сколтеха, студент мехмата МГУ.

Аннотация: Эволюция консенсус-протокола IBFT прошла путь от уязвимых ранних версий до формально верифицированных современных реализаций, однако до сих пор отсутствовал единый формальный анализ, связывающий эти этапы и учитывающий такие свойства, как устойчивость к цензуре. В докладе будет представлено комплексное исследование эволюции IBFT с использованием TLA+ и TLC-model checking. Будут разобраны три ключевых результата: формальный анализ всех версий протокола с генерацией контрпримеров для flawed-реализаций; первое строгое определение устойчивости к цензуре для лидер-ориентированных BFT-протоколов и доказательство её нарушаемости в стандартном IBFT; а также предложение модификации f-skip — лёгкого улучшения, которое обеспечивает цензуроустойчивость, сохраняя все исходные гарантии безопасности и живучести. Докладчик покажет, как верификация на минимальных конфигурациях (N=4, F=1) позволила выявить фундаментальные свойства, обобщаемые на широкий класс BFT-протоколов.

🗓 Дата: 25 февраля 2026

⏰ Время: 18:30

📍 Место: онлайн