Целью выпускной квалификационной работы является реализация подмножества языка Solidity для написания смарт-контрактов в сети блокчейн. В работе был проведен сравнительный анализ языков для написания смарт-контрактов, анализ глобальных уязвимостей, которые используются для написания смарт-контрактов. Также, были выделены методы языка, которые выполняют одни и те же функции, но их использование приводит к возникновению уязвимости. Подмножество языка позволит исключить написание уязвимостей, рассмотренных в данной работе.

The goal of the final qualification paper is to implement a subset of the Solidity language for writing smart contracts in the blockchain network. The paper conducted a comparative analysis of languages for writing smart contracts, an analysis of global vulnerabilities that are used for writing smart contracts. Also, language methods have been singled out that perform the same functions, but their use leads to vulnerability. A subset of the language will eliminate the writing of vulnerabilities discussed in this work.