-
题名面向交互智能合约运行的正确性判定
- 1
-
-
作者
王嘉诚
蒋佳佳
李丹
张玉书
-
机构
南京航空航天大学计算机科学与技术学院/软件学院
-
出处
《应用科学学报》
北大核心
2025年第2期195-207,共13页
-
基金
国家重点研发计划(No.2020YFB1005500)资助。
-
文摘
交互智能合约相较于单一智能合约,存在相互调用等复杂的交互关系。然而,现有的智能合约检测、验证方法仅考虑单个智能合约存在的问题,无法保证交互智能合约运行的正确性。因此,本文提出一种能够对交互智能合约运行的正确性进行判定的方法,对交互智能合约系统进行行为交互优先级(behavior-interaction-priority,BIP)建模,并引入Solidity部署图(Solidity deployment diagram,SDD)描述合约之间的交互关系。该方法采用形式化的方法对交互智能合约运行的正确性进行验证,并实现了对交互合约代码的重构。实验结果表明,该方法可以实现对交互智能合约系统运行正确性的有效判定。
-
关键词
区块链
交互智能合约
正确性判定
代码生成
-
Keywords
blockchain
interactive smart contract
correctness determination
code generation
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
