Семинар «Метод верификации смарт-контрактов»

Selfmade

25 сентября и 2 октября (пятницы) в аудитории 428 второго учебного корпуса МГУ и онлайн в 18:30 пройдет семинар в двух частях. Мероприятие открытое, но для очного посещения нужен пропуск в здание. Ссылка на трансляцию будет вывешена здесь незадолго до старта.

Тема: «Метод верификации смарт-контрактов»

Докладчики: Андрей Михайлович Миронов, к.ф.-м.н., доцент мехмата МГУ, и Кирилл Зиборов, инженер по формальной верификации в Positive Technologies.

Аннотация: В докладе будет изложен язык формального описания смарт-контрактов в виде процессных диаграмм. Сначала будут рассмотрены простые примеры формального описания смарт-контрактов, и показан метод их верификации. Затем будет описан расширенный язык описания смарт-контрактов, с возможностью повторного вхождения в смарт-контракт. Моделирование повторных вхождений будет представлено на основе понятия потока управления. Верификация смарт-контрактов с параллельными потоками будет иллюстрирована примером верификации смарт-контракта аукциона. Также в качества примера применения метода будет представлена формальная верификация смарт-контракта ликвидации протокола Comet (Compound v3).

🗓 Дата: 25 сентября и 02 октября 2026 (повтор)

⏰ Время: 18:30

📍 Место: онлайн + аудитория 428 второго учебного корпуса МГУ