Оценка стоимости исполнения программы (gas costs) на языке Solidity в среде Ethereum — различия между версиями
| Строка 21: | Строка 21: | ||
Оценка сложности выполнения операций должна выполняться на уровне EVM. | Оценка сложности выполнения операций должна выполняться на уровне EVM. | ||
===Требования к студентам=== | ===Требования к студентам=== | ||
| − | + | Знание C++, основные представления о теории | |
формальных языков. | формальных языков. | ||
===Контакты=== | ===Контакты=== | ||
Alexander Chernov blackav@gmail.com | Alexander Chernov blackav@gmail.com | ||
Текущая версия на 12:51, 16 октября 2018
| Компания | SmartDec |
| Учебный семестр | Осень 2018 |
| Учебный курс | 3-4-й курс |
| Максимальное количество студентов, выбравших проект: ? | |
Содержание | |
Описание проекта
При разработке smart contract важно понимать, что исполняющийся контракт потребляет gas, который по некоторой цене конвертируется в криптовалюту, то есть выполнение программы в буквальном смысле стоит денег. Поэтому еще до выкладывания контракта в сеть важно оценить затраты на запуск кода smart contract. Кроме того, полезно провести предварительное профилирование контракта и отметить точки в программе с наибольшим потреблением ресурсов, Требуется разработать небольшой статический анализатор, который получает на вход программу на языке Solidity, на выход выдает оценку сверху по затратам программы на газ при ее выполнении на Block Chain. Оценка сложности выполнения операций должна выполняться на уровне EVM.
Требования к студентам
Знание C++, основные представления о теории формальных языков.
Контакты
Alexander Chernov blackav@gmail.com
