Аналіз мов написання смарт контрактів існуючих криптовалют

Abstract

Розглянуто існуючі мови написання смарт-контрактів. Розглянуто їх переваги та надоліки. Проведено аналіз існуючих вразливостей. Проведено аналіз середовища виконання (runtime) смарт-контрактів.

Considered existing smart-contract languages. Considered their benefits and drawbacks. Analyzed existing vulnerabilities. Analyzed runtime of smart-contracts.