Шишкин Евгений Сергеевич
Шишкин Евгений Сергеевич — ведущий исследователь, научный отдел компании ИнфоТеКС. Научные интересы: формальная верификация моделей реагирующих систем, методы формальной спецификации, SAT/SMT решатели и их применение в задачах верификации программ.
Системы на базе технологии блокчейн обещают, по мимо прочего, избавить
пользователей от необходимости полагаться на доверенных посредников
(банки, удостоверяющие центры, нотариальные, аудиторские
сервисы и т.д.) и тем самым добиться значительного снижения
транзакционных издержек.
Роль доверенного посредника в контексте блокчейнов выполняют
специальные программы — смарт-контракты.
Смарт-контракты определяют бизнес-логику взаимодействия множества
участников и управляют их ценными активами: криптовалютой, токенами,
правами на объекты и т.д.
Ошибки в смарт-контрактах приводили ранее к многомиллионным потерям,
при этом количество относительно громких инцидентов растет с каждым
месяцем.
Доклад посвящен задаче повышения надёжности смарт-контрактов
при помощи символьной верификации моделей программ, в первую
очередь интерес представляют программы на языке Solidity.
Затрагиваются такие темы:
- Актуальность решаемой задачи с научной и экономической точек зрения;
- Новейшие подходы к формальной верификации смарт-контрактов
вообще, и, символьной верификации моделей в частности; - Элементы технологии верификации смарт-контрактов, используемой авторами доклада
в практических проектах по верификации смарт-контрактов; - Научно-техническая новизна некоторых подходов, используемых авторами доклада.
Доклад состоялся 17 декабря 2020 года в 17:00 в Институте системного программирования РАН имени В.П. Иванникова. Институт располагается в здании по адресу: улица Александра Солженицына, дом 25. Аудитория 111.
Слайды доклада для скачивания.
Запись Zoom-конференции:
sdat-seminar