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

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



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

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

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

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

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

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

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

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

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

  • Ethereum
  • AnyLogic
  • Coq, HOL, Z3

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

  • Блокчейн, децентрализованные автономные организации
  • Смарт-контракты
  • Имитационное (агентное) моделирование
  • Формальные методы анализа программ

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

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

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

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

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

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

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

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

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

TBA