Ethereum

Децентралізований програмний сервіс смарт-контракту з використанням невзаємозамінних токенів блокчейну 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.