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

2021 IEEE Conference of Russian Young Researchers in Electrical and Electronic Engineering (ElConRus) Pub Date : 2021-01-26 DOI:10.1109/ElConRus51938.2021.9396512

Zaw Hein, A. Vysochkin, Thet Paing Htoo, A. I. Kvach, E. Portnov

{"title":"Research and Development of a Smart Contract Algorithm for the Implementation of Block-chain Technology on Mobile Devices","authors":"Zaw Hein, A. Vysochkin, Thet Paing Htoo, A. I. Kvach, E. Portnov","doi":"10.1109/ElConRus51938.2021.9396512","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":447345,"journal":{"name":"2021 IEEE Conference of Russian Young Researchers in Electrical and Electronic Engineering (ElConRus)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2021-01-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2021 IEEE Conference of Russian Young Researchers in Electrical and Electronic Engineering (ElConRus)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ElConRus51938.2021.9396512","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

Abstract

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.

查看原文本刊更多论文

移动设备上实现区块链技术的智能合约算法研究与开发

提出了一种形式化的表示，并开发了智能合约算法，用于在移动设备上实现区块链技术，该算法满足以下要求:区块形成时间短，能耗低，不需要大量设备RAM支出的计算。建立了模型，用线性时间逻辑语言对模型状态进行了约束，反映了资源缺乏条件下注册过程的特点。模型的充分性检验结果表明，模型工作正确，系统的行为保持在规定的约束范围内。通过参数化研究可以得出结论，完成用户注册过程的概率很大程度上取决于获取过程的执行时间，在0到100 ms的范围内。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

2021 IEEE Conference of Russian Young Researchers in Electrical and Electronic Engineering (ElConRus)

自引率

0.00%

发文量