⚙️ Приглашаем вас поучаствовать в хакатоне, который пройдет 18–21 октября во время воркшопа PSSV-2024 Этот международный семинар по семантике, спецификации и верификации программ проводится уже в течение 14 лет. На нем с докладом о применении подходов к формальной верификации смарт-контрактов в Ethereum выступит наш коллега Кирилл Зиборов, инженер отдела безопасности распределенных систем. Он же предложил задачу для контеста, проходящего на семинаре в онлайн-режиме. Она касается построения и проверки модели протокола консенсуса IBFT. Условия откроются с началом соревнований. Регистрируйтесь для участия в хакатоне и попробуйте решить наше задание (оно последнее в списке, как раз перед формой регистрации).