Семинар «Верификация консенсуса IBFT методом Model Checking»

Selfmade

Следующий научный семинар о блокчейне состоится 27 ноября 2024 в 18:30 онлайн. Ссылка на трансляцию как всегда будет вывешена незадолго до старта в Telegram.

Тема: «Верификация консенсуса IBFT методом Model Checking».

Докладчик: Кирилл Зиборов, инженер по формальной верификации в Positive Technologies.

Аннотация: Протоколы консенсуса являются фундаментом блокчейн-технологий, обеспечивая согласованность данных в распределенных сетях. Istanbul Byzantine Fault Tolerant (IBFT) — один из протоколов консенсуса, устойчивый к византийским отказам. IBFT прошел через множество доработок от EIP до полноценного внедрения в блокчейн Quorum. В докладе будет представлена модель этого протокола на языке TLA+, формально верифицированная методом проверки моделей. Будет обсуждаться надежность IBFT, а также эффективность применения методов формальной верификации для подобных алгоритмов.

🗓 Дата: 27 ноября 2024

⏰ Время: 18:30

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