Тестирование и верификация смарт-контрактов (проект) — различия между версиями
(Новая страница, с помощью формы Новый_проект) |
|||
Строка 2: | Строка 2: | ||
|name=Тестирование и верификация смарт-контрактов | |name=Тестирование и верификация смарт-контрактов | ||
|mentor=Ростислав Яворский, Александр Москвичев, Александр Андрюхин | |mentor=Ростислав Яворский, Александр Москвичев, Александр Андрюхин | ||
− | |mentor_login={{URLENCODE: | + | |mentor_login={{URLENCODE:Ryavorsky|WIKI}} |
|semester=Осень 2017 | |semester=Осень 2017 | ||
|course=2 | |course=2 |
Текущая версия на 12:45, 29 сентября 2017
Ментор | Ростислав Яворский, Александр Москвичев, Александр Андрюхин |
Учебный семестр | Осень 2017 |
Учебный курс | 2-й курс |
Максимальное количество студентов, выбравших проект: TBA | |
Что это за проект?
Тема уязвимости и надёжности для смарт-контрактов является критичной. Существуют разные подходы к анализу распределенных приложений. Нужно будет разобраться с каким-нибудь одним методом и реализовать инструмент для автоматизированной проверки свойств смарт-контрактов.
Чему вы научитесь?
- Разбираться в логике и форматах блокчейн систем
- Реализовывать смарт-контракты
- Использовать методы и инструменты анализа смарт-контрактов на предмет устойчивости и уязвимости
Какие начальные требования?
Мотивированность, прилежание, готовность самостоятельно осваивать стандартные инструменты. Проактивность в общении с ментором.
Какие будут использоваться технологии?
- Ethereum
- AnyLogic
- Coq, HOL, Z3
Темы вводных занятий
- Блокчейн, децентрализованные автономные организации
- Смарт-контракты
- Имитационное (агентное) моделирование
- Формальные методы анализа программ
Направления развития
- Научно-исследовательская работа
- Участие в стартапах по этой тематике
- Участие в проектах по заказу государственных организаций и коммерческих компаний
Критерии оценки
4-5: минимально работающий прототип и обзор используемых технологий
6-8: отлаженная система с содержательным функционалом и сопроводительной документацией
9-10: презентация проекта на внешнем мероприятии (конкурс, хакатон, конференция) или интеграция в проект с внешним заказчиком
Ориентировочное расписание занятий
TBA