Оценка стоимости исполнения программы (gas costs) на языке Solidity в среде Ethereum

Компания	SmartDec
Учебный семестр	Осень 2018
Учебный курс	3-4-й курс
Максимальное количество студентов, выбравших проект: ?

Описание проекта

При разработке smart contract важно понимать, что исполняющийся контракт потребляет gas, который по некоторой цене конвертируется в криптовалюту, то есть выполнение программы в буквальном смысле стоит денег. Поэтому еще до выкладывания контракта в сеть важно оценить затраты на запуск кода smart contract. Кроме того, полезно провести предварительное профилирование контракта и отметить точки в программе с наибольшим потреблением ресурсов, Требуется разработать небольшой статический анализатор, который получает на вход программу на языке Solidity, на выход выдает оценку сверху по затратам программы на газ при ее выполнении на Block Chain. Оценка сложности выполнения операций должна выполняться на уровне EVM.

Требования к студентам

Знание C++, основные представления о теории формальных языков.

Контакты

Alexander Chernov blackav@gmail.com