A Framework for Formal Transformation and Analysis of Smart Contract Code.
International Conferences on Dependable Systems and Their Applications (DSA)(2022)
摘要
The smart contract technology has drawn extensive attention in recent years. However, attributing to the immutability of blockchain, a smart contract cannot be altered once deployed on chain. Even a simple flaw in a smart contract can cause huge economic loss. Formal method can provide a reliable guarantee for the security of smart contracts. In this paper, we present a framework for formal transformation and analysis of smart contract code, aiming to facilitate the task of analyzing security issues of smart contracts. In addition, the transformation efficiency is tested and evaluated with different scales of code, which proves the practicality and effectiveness of the transformation framework.
更多查看译文
关键词
blockchain,smart contract,formal method,transformation efficiency
AI 理解论文
溯源树
样例
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要