资料下载
×
区块链智能合约的缺陷检测相关研究
消耗积分:0 |
格式:pdf |
大小:1.37 MB |
2021-03-17
分享资料个
本文研究区块链智能合约的缺陷检测问题，即检测合约中是否存在部分合约方无论选择什么动作，均无法避免损失的状态。将智能合约问题转换成合约状态迁移图上的博弈策略选择冋题，提岀了基于纳什均衡理论的合约缺陷自动检测方法，以及为了提高检测效率，提出了针对合约状态变迁图和博弈策略形式的一系列化简方法最后，实现了一个智能合约建模、分析和部署工具。针对一组真实合同的实验表明，该工具能自动发现部分合同缺陷，化简方法提升缺陷检测效率的效果明显。
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
