研究区块链智能合约的缺陷检测问题,即检测合约中是否存在部分合约方无论选择什么动作,均无法避免损失的状态。将智能合约问题转换成合约状态迁移图上的博弈策略选择问题,提出了基于纳什均衡理论的合约缺陷自动检测方法。为了提高检测效率,提出了一系列化简方法,针对合约状态变迁图和博弈策略形式进行了优化。最后,实现了一个智能合约建模、分析和部署工具。实验表明,该工具能自动发现部分合同缺陷,化简方法显著提升了缺陷检测效率。
用户评论
推荐下载
-
探索区块链学习区块链源码
探索区块链:学习区块链
31 2021-02-25 -
很棒的智能合约smart很棒的智能合约平台清单源码
很棒的智能合约:smart很棒的智能合约平台清单
14 2021-02-07 -
solidity以太坊区块链Truffle webpack开发入门七合约的测试环境
truffle 的test 测试用例 原文地址 执行: $ truffle test truffle 这样会给你创造一个干净的测试环境,不用担心跟当前的开发环境有冲突,不管是使用Ganache
23 2021-01-31 -
毕马威区块链研究报告
区域块系列专题相关资源,值得使用,珍藏,欢迎对区域块感兴趣人士下载
36 2019-01-12 -
区块链产业研究报告
清华⼤学互联⽹产业研究院&链塔智库(BlockData)双⽅对 2018年前三季度区块链⾏业发展进⾏调查和研究。⾸先,介 绍区块链⾏业整体情况,重点关注第三季度新增项⽬数量, 地域分布,⾏业分类及融资
83 2019-02-10 -
国泰君安区块链研究
国泰君安对区块链如何影响各行各业的研究,主要包括对游戏、版权方面等
35 2018-12-24 -
区块链隐私保护研究综述
区块链隐私保护研究综述
40 2019-07-13 -
区块链数据隐私保护研究
区块链是一种具有去中心化、安全可信、防篡改和可编程等特点的分布式账本技术。区块链系统的公开 透明特性使用户交易隐私受到严重威胁,针对此问题设计了不同应用场景相应的隐私问题解决方案。首先介绍区 块链技术
37 2019-04-07 -
区块链技术应用研究
区块链技术应用研究基于高华证券于11月4日发布的“区块链行业:从理论付诸实践”研究报告,对区块链技术的应用现状和未来发展趋势进行深入探讨。报告指出,区块链技术已不再是停留在概念阶段的新兴技术,而是
5 2024-07-01 -
区块链行业应用研究
本研究报告深入探讨区块链技术在各行业的应用现状、挑战和未来趋势。第一章 绪论区块链技术概述区块链应用发展背景研究目的与意义第二章 区块链应用场景分析金融服务跨境支付供应链金融证
8 2024-07-03
暂无评论