System-Object Modeling of Smart Contracts

Authors

  • Alexander G. Zhikharev Belgorod State National Research University
  • Vladislav V. Kidanov Belgorod State National Research University
  • Nikolay I. Korsunov Belgorod State National Research University

DOI:

https://doi.org/10.52575/2712-746X-2023-50-4-859-872

Keywords:

system-object model, smart contract, smart contract vulnerability, blockchain

Abstract

The scientific article is devoted to the system-object modeling of smart contracts on the Ethereum platform using the Solidity language and the Remix tool. The paper presents a simulation model of the creation and management of a smart contract based on the method of system-object modeling. The model includes a description of resources and a hierarchy of operations and processes, as well as tools related to the creation and interaction with contracts. Particular attention is paid to the use of the Solidity language for writing smart contracts and the Remix tool for their development and testing. It should be noted that the model focuses on functional aspects related to user interaction and does not include a detailed consideration of blockchain functions, such as the operation of the Ethereum Virtual Machine (EVM) and the inclusion of transactions in a new block. The developed system-object model is maximally unified and will serve as a basis for further development of the methodology for designing smart contracts with a minimum number of source code vulnerabilities.

Downloads

Download data is not yet available.

Author Biographies

Alexander G. Zhikharev, Belgorod State National Research University

Doctor of Technical Sciences, Associate Professor, Head of the Department of Automated Systems and Technologies, Belgorod State National Research University,
Belgorod, Russia

Vladislav V. Kidanov, Belgorod State National Research University

post-graduate student of the Department of Applied Informatics and Information Technologies, Belgorod State National Research University,
Belgorod, Russia

Nikolay I. Korsunov, Belgorod State National Research University

Doctor of Technical Sciences, Professor, Honored Scientist of the Russian Federation, Professor of the Department of Mathematical and Software Support of Information Systems, Belgorod State National Research University,
Belgorod, Russia

References

Айер К. и др. 2018. Среда разработки ethereum. Создание игр с использованием смарт-контрактов Ethereum: промежуточные проекты для разработчиков Solidity. С. 19-36.

Амир Латиф Р.М. и др. 2020. Remix IDE: платформа на основе смарт-контрактов для сектора здравоохранения с использованием технологии блокчейн. Мультимедийные инструменты и приложения. С. 1-24.

Антонопулос А.М., Вуд Г. 2018.Освоение ethereum: построение смарт-контрактов и dapps. O'reilly Media.

Вуд Г. и др. 2014. Ethereum: безопасная децентрализованная книга обобщенных транзакций. Желтая книга проекта Ethereum. № 151. с. 1-32.

Гао Й. и др. 2019. Измерение и анализ топологии в сети ethereum p2p. Симпозиум IEEE 2019 по компьютерам и коммуникациям (ISCC). IEEE. С. 1-7.

Дингман У. и др. 2019. Дефекты и уязвимости в смарт-контрактах, классификация с использованием платформы NIST bugs framework. Международный журнал сетевых и распределенных вычислений.7(3): 121-132.

Дхулаввагол П.М., Бхаджантри В.Х., Тотад С.Г. 2020. Анализ производительности клиентов ethereum на блокчейне с учетом приложения для электронного голосования. Procedia Computer Science. Т. 167. С. 2506-2515.

Жихарев А.Г., Белов С.П., Рачинский С.А. 2019. Перспективы системно-объектного имитационного моделирования систем передачи информации. Экономика. Информатика. 46(3): 563-572.

Жихарев А.Г., Киданов В.В., Фефелов О.С. 2023. К вопросу о безопасности обработки информации с использованием смарт-контрактов. Научный результат. Информационные технологии. 8(1): 46-55.

Касиредди П. 2017.Как вообще работает Ethereum. Medium.

Накамото С. 2008. Биткоин: одноранговая система электронных платежей. Обзор децентрализованного бизнеса.

Оливейра В.С. и др. 2021. Анализ подтверждения транзакции в ethereum с использованием методов машинного обучения. Обзор оценки производительности ACM SIGMETRICS. 48(4): 12-15.

Семельсбергер Т.А., Боруп Р.Л., Грин Х.Л. 2006. Диметиловый эфир (DME) как альтернативное топливо. Журнал источников энергии. 156(2): 497-511.

Сингх С., Хосен А.С.М.С., Юн Б. 2021. Атаки на безопасность блокчейна, проблемы и решения для будущей распределенной сети интернета вещей. IEEE Access. Т. 9. С. 13938-13959.

Хан М.М.А., Сарвар Х.М.А., Авайс М. 2022. Анализ потребления газа транзакциями блокчейн Ethereum. Параллелизм и вычисления: практика и опыт. 34(4): e6679.

Хао Й. и др. 2018. Анализ производительности алгоритма консенсуса в частном блокчейне. Симпозиум IEEE Intelligent Vehicles Symposium 2018 (IV). IEEE. С. 280-285.

Хегед С.П. 2018. К анализу ландшафта сложности смарт-контрактов ethereum на основе solidity. Материалы 1-го Международного семинара по новым тенденциям в разработке программного обеспечения для блокчейна. С. 35-39.

Чен Дж. и др. 2021. Проверка дефектов: автоматическое обнаружение дефектов смарт-контрактов путем анализа байт-кода evm. IEEE Transactions on Software Engineering. 48(7): 2189-2207.

Conte de Leon D et al. 2017 "Blockchain: properties and misconceptions", Asia Pacific Journal of Innovation and Entrepreneurship, 11(3): 286-300.


Abstract views: 41

Share

Published

2023-12-29

How to Cite

Zhikharev, A. G., Kidanov, V. V., & Korsunov, N. I. (2023). System-Object Modeling of Smart Contracts. Economics. Information Technologies, 50(4), 859-872. https://doi.org/10.52575/2712-746X-2023-50-4-859-872

Issue

Vol. 50 No. 4 (2023)

Section

COMPUTER SIMULATION HISTORY

Copyright (c) 2023 Economics. Information Technologies

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

Most read articles by the same author(s)