https://wikicshse.ru/index.php?action=history&feed=atom&title=%D0%A2%D0%B5%D1%81%D1%82%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5_%D0%B8_%D0%B2%D0%B5%D1%80%D0%B8%D1%84%D0%B8%D0%BA%D0%B0%D1%86%D0%B8%D1%8F_%D1%81%D0%BC%D0%B0%D1%80%D1%82-%D0%BA%D0%BE%D0%BD%D1%82%D1%80%D0%B0%D0%BA%D1%82%D0%BE%D0%B2_%28%D0%BF%D1%80%D0%BE%D0%B5%D0%BA%D1%82%29 2026-06-06T19:21:38Z История изменений этой страницы в вики MediaWiki 1.45.3 https://wikicshse.ru/index.php?title=%D0%A2%D0%B5%D1%81%D1%82%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5_%D0%B8_%D0%B2%D0%B5%D1%80%D0%B8%D1%84%D0%B8%D0%BA%D0%B0%D1%86%D0%B8%D1%8F_%D1%81%D0%BC%D0%B0%D1%80%D1%82-%D0%BA%D0%BE%D0%BD%D1%82%D1%80%D0%B0%D0%BA%D1%82%D0%BE%D0%B2_(%D0%BF%D1%80%D0%BE%D0%B5%D0%BA%D1%82)&diff=1796&oldid=prev 2017-09-29T09:45:46Z

<p>Migrated current public revision from wiki.cs.hse.ru</p> <p><b>Новая страница</b></p><div>{{Карточка_проекта<br /> |name=Тестирование и верификация смарт-контрактов<br /> |mentor=Ростислав Яворский, Александр Москвичев, Александр Андрюхин<br /> |mentor_login={{URLENCODE:Ryavorsky|WIKI}}<br /> |semester=Осень 2017<br /> |course=2<br /> |summer=<br /> |number_of_students=TBA<br /> |categorize=yes<br /> }}<br /> <br /> === Что это за проект? ===<br /> Тема уязвимости и надёжности для смарт-контрактов является критичной. Существуют разные подходы к анализу распределенных приложений. Нужно будет разобраться с каким-нибудь одним методом и реализовать инструмент для автоматизированной проверки свойств смарт-контрактов.<br /> <br /> === Чему вы научитесь? ===<br /> - Разбираться в логике и форматах блокчейн систем<br /> <br /> - Реализовывать смарт-контракты<br /> <br /> - Использовать методы и инструменты анализа смарт-контрактов на предмет устойчивости и уязвимости<br /> <br /> === Какие начальные требования? ===<br /> Мотивированность, прилежание, готовность самостоятельно осваивать стандартные инструменты. Проактивность в общении с ментором.<br /> <br /> === Какие будут использоваться технологии? ===<br /> * Ethereum<br /> <br /> * AnyLogic<br /> <br /> * Coq, HOL, Z3<br /> <br /> === Темы вводных занятий ===<br /> * Блокчейн, децентрализованные автономные организации<br /> <br /> * Смарт-контракты<br /> <br /> * Имитационное (агентное) моделирование<br /> <br /> * Формальные методы анализа программ<br /> <br /> === Направления развития ===<br /> - Научно-исследовательская работа<br /> <br /> - Участие в стартапах по этой тематике<br /> <br /> - Участие в проектах по заказу государственных организаций и коммерческих компаний<br /> <br /> === Критерии оценки ===<br /> 4-5: минимально работающий прототип и обзор используемых технологий <br /> <br /> 6-8: отлаженная система с содержательным функционалом и сопроводительной документацией<br /> <br /> 9-10: презентация проекта на внешнем мероприятии (конкурс, хакатон, конференция) или интеграция в проект с внешним заказчиком<br /> <br /> === Ориентировочное расписание занятий ===<br /> TBA</div>

imported>GalinaKaleeva