Analysis of smart contracts balances

作     者：Cosimo Laneve Claudio Sacerdoti Coen Cosimo Laneve;Claudio Sacerdoti Coen

作者机构：Department of Computer Science and EngineeringUniversity of BolognaINRIA FocusBologna40126Italy 

出 版 物：《Blockchain(Research and Applications)》 (区块链研究（英文）)

年 卷 期：2021年第2卷第3期

页      面：46-67页

核心收录：

学科分类：07[理学] 0701[理学-数学] 070101[理学-基础数学] 

基　　金：partly supported by the H2020-MSCA-RISE project ID 778233‘Behavioural Application Progrvdam Interfaces(BEHAPI)’ partially supported by MIUR-PRIN project‘Analysis of Program Analyses’(ASPRA,ID 201784YSZ5_004) the Italian INdAM—GNCS project 2020‘Reversible Concurrent Systems:from Models to Languages’ 

主　　题：Smart contracts Blockchain Static analysis Cost analysis Cryptocurrency Movements 

摘      要：We define a technique for analyzing updates of smart contracts balances due to transfers of digital *** analysis addresses a lightweight smart contract language and consists of a two-step ***,we define the input-output behaviors of smart contract functions by means of a simple functional language with static *** we associate the terms of this intermediate language with cost equations that compute the loss or gain of digital *** resulting equations can be fed to an off-the-shelf cost analyzer to provide upper bounds to the loss or *** analysis has been prototyped and we report its assessments and discuss extensions with additional features.