A Tool for Moving Blockchain Computations Off-Chain

Proceedings of the 3rd ACM International Symposium on Blockchain and Secure Critical Infrastructure Pub Date : 2021-05-24 DOI:10.1145/3457337.3457848

Christian G. Liu, P. Bodorik, D. Jutla

{"title":"A Tool for Moving Blockchain Computations Off-Chain","authors":"Christian G. Liu, P. Bodorik, D. Jutla","doi":"10.1145/3457337.3457848","DOIUrl":null,"url":null,"abstract":"This paper proposes a new approach and tool for blockchain software developers and architects to use for determining which computations of a smart contract can be effectively done off-chain without loss of trust and how they can be moved off-chain automatically. Our approach uses Finite State Machines (FSMs) and Hierarchical State Machines (HSMs) modeling in order to create smart contract patterns using graphs and then use pattern properties to identify which parts of the smart contracts should be considered for moving off-chain. Once software execution transits into the pattern's entry state, off-chain execution continues until the execution transits into the pattern's exit state, when execution continues on-chain. This paper further describes a tool for (1) FSM input and visualization, its analysis, and automatic transformation into a smart contract, and (2) an interface to support the developers' decision to optimally off-chain computations and to (3) define the communications between on-chain and off-chain computations.","PeriodicalId":270073,"journal":{"name":"Proceedings of the 3rd ACM International Symposium on Blockchain and Secure Critical Infrastructure","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2021-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 3rd ACM International Symposium on Blockchain and Secure Critical Infrastructure","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3457337.3457848","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 6

Abstract

This paper proposes a new approach and tool for blockchain software developers and architects to use for determining which computations of a smart contract can be effectively done off-chain without loss of trust and how they can be moved off-chain automatically. Our approach uses Finite State Machines (FSMs) and Hierarchical State Machines (HSMs) modeling in order to create smart contract patterns using graphs and then use pattern properties to identify which parts of the smart contracts should be considered for moving off-chain. Once software execution transits into the pattern's entry state, off-chain execution continues until the execution transits into the pattern's exit state, when execution continues on-chain. This paper further describes a tool for (1) FSM input and visualization, its analysis, and automatic transformation into a smart contract, and (2) an interface to support the developers' decision to optimally off-chain computations and to (3) define the communications between on-chain and off-chain computations.

查看原文本刊更多论文

将区块链计算移出链的工具

本文为区块链软件开发人员和架构师提出了一种新的方法和工具，用于确定智能合约的哪些计算可以在不失去信任的情况下有效地完成，以及如何将它们自动移出链下。我们的方法使用有限状态机(fsm)和分层状态机(hsm)建模，以便使用图创建智能合约模式，然后使用模式属性来确定应该考虑将智能合约的哪些部分移出链。一旦软件执行转移到模式的进入状态，链下执行将继续，直到执行转移到模式的退出状态，此时继续链上执行。本文进一步描述了一个工具，用于(1)FSM的输入和可视化，其分析，并自动转换为智能合约;(2)支持开发人员决定最优的脱链计算的接口;(3)定义链上和脱链计算之间的通信。

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

求助全文

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

来源期刊

Proceedings of the 3rd ACM International Symposium on Blockchain and Secure Critical Infrastructure

自引率

0.00%

发文量