Ethereum

Удосконалення логістичних інформаційних систем Iнтернету речей шляхом впровадження смарт-контрактів блокчейн-технологій

Сучасні інформаційні логістичні системи моніторингу дедалі частіше інтегрують IoT- пристрої для збору даних у режимі реального часу, відстеження відправлень, моніторингу вантажів та транспортних засобів, а також для прийняття обґрунтованих рішень. Проте такі інформаційні системи стикаються з низкою суттєвих викликів, зокрема із складністю управління даними, обмеженою взаємодією між зацікавленими сторонами та неефективністю, яка виникає через централізовані механізми контролю.

Децентралізований програмний сервіс смарт-контракту з використанням невзаємозамінних токенів блокчейну ETHEREUM

У роботі проаналізовано децентралізовані технології блокчейну Ethereum, за принципами яких запропоновано рішення децентралізованого програмного сервісу з використанням смарт- контракту, реалізованого на спеціалізованій мові програмування Solidity. Цей контракт виступає у якості одного з елементів сервер-клієнтського додатку і є серверною частиною для обробки методів взаємодії із блокчейном Ethereum. Методи містять набір різноманітних функцій, зокрема й для взаємодії із колекцією невзаємозамінних токенів.

A Representative Fragment Method of Analyzing Complex Systems of Smart Contracts

The paper presents the use of states of explosionproof method for analyzing the behavior of systems that provide smart contract technology. The selected example system is ShadowEth, whose main task is to ensure sufficient confidentiality of information stored in the Ethereum blockchain currency. The Petri network model for the ShadowEth system has been presented. The system properties according to the specifications have been defined. Properties described in a certain extension of the TCTL logic and verification have been carried out.