Верификация консенсуса IBFT методом Model Checking
Протоколы консенсуса являются фундаментом блокчейн-технологий, обеспечивая согласованность данных в распределенных сетях. Istanbul Byzantine Fault Tolerant (IBFT) — один из протоколов консенсуса, устойчивый к византийским отказам. IBFT прошел через множество доработок от EIP до полноценного внедрения в блокчейн Quorum. В докладе представлена модель этого протокола на языке TLA , формально верифицированная методом проверки моделей. Обсуждается надежность IBFT, а также эффективность применения методов формальной верификации для подобных алгоритмов.
Дата записи: 27 ноября 2024.
Докладчик: Кирилл Зиборов, инженер по формальной верификации в Positive Technologies.
Научный семинар организован совместными усилиями МФТИ, Сколтеха и ВШЭ и рассчитан как на специалистов в области блокчейна, так и интересующихся этим направлением исследователей.
#blockchain #blockchaintechnology #блокчейн #MIPT #МФТИ #HSE #ВШЭ #Сколтех #Skoltech #msu #мгу #консенсус #consensus #bft #ibft #istanbulbft #formalverification #формальнаяверификация #modelchecking #проверкамоделей #tlc #tla
Дополнительные материалы, новости и анонсы публикуются в официальной группе в Telegram Kb41CAVPiJZhNjhi
24 views
1315
407
1 month ago 01:21:12 25
Верификация консенсуса IBFT методом Model Checking
7 months ago 01:03:56 134
Создание платформы для автоматического реверс-инжиниринга (Конференция 167)
10 months ago 01:10:50 1
БОЛЬШОЙ разбор MANTLE, KASPA, DYDX, AAVE, MANTA
1 year ago 00:27:48 5
Биткоин, Банки, Децентрализация и Lightning Network | Ответ каналу HODL