期刊文献+

Analysis of smart contracts balances

原文传递
导出
摘要 We define a technique for analyzing updates of smart contracts balances due to transfers of digital assets.The analysis addresses a lightweight smart contract language and consists of a two-step translation.First,we define the input-output behaviors of smart contract functions by means of a simple functional language with static dispatch.Then we associate the terms of this intermediate language with cost equations that compute the loss or gain of digital assets.The resulting equations can be fed to an off-the-shelf cost analyzer to provide upper bounds to the loss or gain.Our analysis has been prototyped and we report its assessments and discuss extensions with additional features.
出处 《Blockchain(Research and Applications)》 2021年第3期46-67,共22页 区块链研究(英文)
基金 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’.
  • 相关文献

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部