Automatic construction and verification algorithm for smart contracts based on formal verification

【Author】 Xie, Rui; Zhong, Xuejiao; Chen, Xin; Xu, Shaohui; Yu, Haiyang; Guo, Xinyuan

【Source】AIP ADVANCES

【影响因子】1.697

【Abstract】As an emerging technology, blockchain demonstrates strong potential for applications in digital finance. As a core component of blockchain, the security and reliability of smart contracts is crucial. To ensure the high reliability of smart contracts, this study employs formal construction and verification techniques based on game theory. Initially, the profit function is defined using distortion techniques, and a game model for supply chain participation is designed. However, the equilibrium solution of the two-party game does not represent the optimal solution for the supply chain system. Therefore, the study introduces third-party participation to optimize the equilibrium solution. Finally, a probability model detection method is used to verify the constructed smart contract model. The results show that the supply chain model, analyzed through formal methods, has attributes consistent with theoretical analysis. Consequently, the research on automatic construction and verification algorithms for smart contracts based on formal verification proves to be effective and feasible in practical applications.

【Keywords】

【发表时间】2024 NOV 1

【收录时间】2024-11-16

【文献类型】案例研究

【主题类别】

区块链技术-核心技术-智能合约