Системно-объектное моделирование смарт-контрактов

Авторы

  • Александр Геннадиевич Жихарев Белгородский государственный национальный исследовательский университет
  • Владислав Викторович Киданов Белгородский государственный национальный исследовательский университет
  • Николай Иванович Корсунов Белгородский государственный национальный исследовательский университет

DOI:

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

Ключевые слова:

системно-объектная модель, смарт-контракт, уязвимость смарт-контракта, блокчейн

Аннотация

Научная статья посвящена системно-объектному моделированию смарт-контрактов на платформе Ethereum с использованием языка Solidity и инструмента Remix. В работе представлена имитационная модель создания и управления смарт-контрактом на основе метода системно-объектного моделирования. Модель включает описание ресурсов и иерархию операций и процессов, а также инструментария, связанных с созданием и взаимодействием с контрактами. Особое внимание уделяется использованию языка Solidity для написания смарт-контрактов и инструмента Remix для их разработки и тестирования. Необходимо отметить, что модель сфокусирована на функциональных аспектах, связанных с пользовательским взаимодействием, и не включает подробного рассмотрения блокчейновых функций, таких как работа виртуальной машины Ethereum (EVM) и включение транзакций в новый блок. Разработанная системно-объектная модель максимально унифицирована и послужит основой для дальнейшей разработки методологии проектирования смарт-контрактов с минимальным количеством уязвимостей исходного кода.

Скачивания

Данные скачивания пока недоступны.

Биографии авторов

Александр Геннадиевич Жихарев, Белгородский государственный национальный исследовательский университет

доктор технических наук, доцент, заведующий кафедрой автоматизированных систем и технологий, Белгородский государственный национальный исследовательский университет,
г. Белгород, Россия

Владислав Викторович Киданов, Белгородский государственный национальный исследовательский университет

аспирант кафедры прикладной информатики и информационных технологий, Белгородский государственный национальный исследовательский университет,
г. Белгород, Россия

Николай Иванович Корсунов, Белгородский государственный национальный исследовательский университет

доктор технических наук, профессор, заслуженный деятель науки Российской Федерации, профессор кафедры математического и программного обеспечения информационных систем, Белгородский государственный национальный исследовательский университет,
г. Белгород, Россия

Библиографические ссылки

Айер К. и др. 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.


Просмотров аннотации: 18

Поделиться

Опубликован

2023-12-29

Как цитировать

Жихарев, А. Г., Киданов, В. В., & Корсунов, Н. И. (2023). Системно-объектное моделирование смарт-контрактов. Экономика. Информатика, 50(4), 859-872. https://doi.org/10.52575/2712-746X-2023-50-4-859-872

Выпуск

Раздел

КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ

Наиболее читаемые статьи этого автора (авторов)