Ethereum

Decentralized smart contract software service using ETHEREUM blockchain non-fungible tokens

The decentralized technologies of the Ethereum blockchain were analyzed, based on the principles of which a decentralized software service solution was proposed using a smart contract implemented in the specialized Solidity programming language. This contract acts as one of the elements of the server-client application and is the server part for processing methods of interaction with the Ethereum blockchain. The methods include a set of various functions, including for interacting with a collection of non-fungible tokens.

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.