https://wiki.cs.hse.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-09-24T22:14:45Z История изменений этой страницы в вики MediaWiki 1.43.9 https://wiki.cs.hse.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=24679&oldid=prev 2017-09-29T09:45:46Z

<p></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="ru"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Предыдущая версия</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Версия от 09:45, 29 сентября 2017</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l2">Строка 2:</td> <td colspan="2" class="diff-lineno">Строка 2:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|name=Тестирование и верификация смарт-контрактов</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|name=Тестирование и верификация смарт-контрактов</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|mentor=Ростислав Яворский, Александр Москвичев, Александр Андрюхин</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|mentor=Ростислав Яворский, Александр Москвичев, Александр Андрюхин</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>|mentor_login={{URLENCODE:<del style="font-weight: bold; text-decoration: none;">GalinaKaleeva</del>|WIKI}}</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>|mentor_login={{URLENCODE:<ins style="font-weight: bold; text-decoration: none;">Ryavorsky</ins>|WIKI}}</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|semester=Осень 2017</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|semester=Осень 2017</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|course=2</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|course=2</div></td></tr> </table>

GalinaKaleeva https://wiki.cs.hse.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=24529&oldid=prev 2017-09-26T19:30:01Z

<p>Новая страница, с помощью <a href="/%D0%A1%D0%BB%D1%83%D0%B6%D0%B5%D0%B1%D0%BD%D0%B0%D1%8F:Form/%D0%9D%D0%BE%D0%B2%D1%8B%D0%B9_%D0%BF%D1%80%D0%BE%D0%B5%D0%BA%D1%82" class="new" title="Служебная:Form/Новый проект (страница не существует)">формы Новый_проект</a></p> <p><b>Новая страница</b></p><div>{{Карточка_проекта<br /> |name=Тестирование и верификация смарт-контрактов<br /> |mentor=Ростислав Яворский, Александр Москвичев, Александр Андрюхин<br /> |mentor_login={{URLENCODE:GalinaKaleeva|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>

GalinaKaleeva