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

{{Карточка_проекта
|name=Тестирование и верификация смарт-контрактов
|mentor=Ростислав Яворский, Александр Москвичев, Александр Андрюхин
|mentor_login={{URLENCODE:Ryavorsky|WIKI}}
|semester=Осень 2017
|course=2
|summer=
|number_of_students=TBA
|categorize=yes
}}

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

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

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

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

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

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

* AnyLogic

* Coq, HOL, Z3

=== Темы вводных занятий ===
* Блокчейн, децентрализованные автономные организации

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

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

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

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

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

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

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

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

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

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