Тестирование и верификация смарт-контрактов (проект)

Ментор	Ростислав Яворский, Александр Москвичев, Александр Андрюхин
Учебный семестр	Осень 2017
Учебный курс	2-й курс
Максимальное количество студентов, выбравших проект: TBA

Что это за проект?

Тема уязвимости и надёжности для смарт-контрактов является критичной. Существуют разные подходы к анализу распределенных приложений. Нужно будет разобраться с каким-нибудь одним методом и реализовать инструмент для автоматизированной проверки свойств смарт-контрактов.

Чему вы научитесь?

- Разбираться в логике и форматах блокчейн систем

- Реализовывать смарт-контракты

- Использовать методы и инструменты анализа смарт-контрактов на предмет устойчивости и уязвимости

Какие начальные требования?

Мотивированность, прилежание, готовность самостоятельно осваивать стандартные инструменты. Проактивность в общении с ментором.

Какие будут использоваться технологии?

• Ethereum

• AnyLogic

• Coq, HOL, Z3

Темы вводных занятий

• Блокчейн, децентрализованные автономные организации

• Смарт-контракты

• Имитационное (агентное) моделирование

• Формальные методы анализа программ

Направления развития

- Научно-исследовательская работа

- Участие в стартапах по этой тематике

- Участие в проектах по заказу государственных организаций и коммерческих компаний

Критерии оценки

4-5: минимально работающий прототип и обзор используемых технологий

6-8: отлаженная система с содержательным функционалом и сопроводительной документацией

9-10: презентация проекта на внешнем мероприятии (конкурс, хакатон, конференция) или интеграция в проект с внешним заказчиком

Ориентировочное расписание занятий

TBA