Моделирование и анализ функций заданных программами специального вида на языке Solidity

ФИО студента: Полевой Сергей Алексеевич

Руководитель: Яворский Ростислав Эдуардович

Программа: Математика (Бакалавриат)

Год защиты: 2018

В этой работе мы рассмотрели подходы к формальной верификации смарт-контрактов на базе блокчейн-системы Ethereum. Внутри этой системы контракты хранятся в скомпилированном в байт-код виде и записываются в блокчейн. Сами смарт-контракты пишутся на более высокоуровневом языке. Одним из самых популярных языков является язык Solidity. Мы успешно применили разработанный нами ранее статический анализатор кода для С/С++ к языку Solidity для решения нетрудных задач верефикации смарт-контрактов с возможностью дальнейшего развития. А также мы в учебных целях разрабатывали тряслятор из Solidity в why3.

Выпускные квалификационные работы (ВКР) в НИУ ВШЭ выполняют все студенты в соответствии с университетским Положением и Правилами, определенными каждой образовательной программой.

Аннотации всех ВКР в обязательном порядке публикуются в свободном доступе на корпоративном портале НИУ ВШЭ.

Полный текст ВКР размещается в свободном доступе на портале НИУ ВШЭ только при наличии согласия студента – автора (правообладателя) работы либо, в случае выполнения работы коллективом студентов, при наличии согласия всех соавторов (правообладателей) работы. ВКР после размещения на портале НИУ ВШЭ приобретает статус электронной публикации.

ВКР являются объектами авторских прав, на их использование распространяются ограничения, предусмотренные законодательством Российской Федерации об интеллектуальной собственности.

В случае использования ВКР, в том числе путем цитирования, указание имени автора и источника заимствования обязательно.

Реестр дипломов НИУ ВШЭ