Research and Development of a Smart Contract Algorithm for the Implementation of Block-chain Technology on Mobile Devices

A formalized representation has been proposed and smart contract algorithms have been developed for the implementation of block-chain technology on mobile devices, which meet the following requirements: short block formation time, low energy consumption, no computations that require significant expenditures of device RAM. A model was built, for which, in the language of linear temporal logic, a constraint on the state of the model was formulated, reflecting the features of the registration process in conditions of a lack of resources. The results of checking the adequacy of the model showed that the model works correctly and the behavior of the system remains within the specified constraints. As a result of a parametric study, it can be concluded that the probability of completing the user registration process significantly depends on the execution time of the acquisition process in the range from 0 to 100 ms.