Верификация консенсуса 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+