【摘 要】
：
本文研究区块链智能合约的缺陷检测问题,即检测合约中是否存在部分合约方无论选择什么动作,均无法避免损失的状态.将智能合约问题转换成合约状态迁移图上的博弈策略选择问题,
【机 构】
：
中国人民大学信息学院,数据工程与知识工程教育部重点实验室（中国人民大学）
【基金项目】
：
国家自然科学基金项目“政府治理大数据共享与融合技术研究”(U1911203),贵州财经大学与商务部国际贸易经济合作研究院联合基金(2017SWBZD08)资助.
论文部分内容阅读
本文研究区块链智能合约的缺陷检测问题,即检测合约中是否存在部分合约方无论选择什么动作,均无法避免损失的状态.将智能合约问题转换成合约状态迁移图上的博弈策略选择问题,提出了基于纳什均衡理论的合约缺陷自动检测方法,以及为了提高检测效率,提出了针对合约状态变迁图和博弈策略形式的一系列化简方法.最后,实现了一个智能合约建模、分析和部署工具.针对一组真实合同的实验表明,该工具能自动发现部分合同缺陷,化简方法提升缺陷检测效率的效果明显.
其他文献
<正>支气管结核主要侵犯主支气管,由于结核的增殖结节病变以及病变修复中的瘢痕组织增生导致了气道重度狭窄,患者主要表现有高调喘鸣、吸气性呼吸困难常伴有狭窄段远端的肺部
据英国广播公司（BBC）新闻网站7月22日报道,将由俄罗斯和欧洲合作研制的一种新型载人飞船的设想图已面世。这种飞船称为＂机组空间运输系统＂（CSTS）,可重复使用,将取代俄现役联盟号飞
准备把一辆漫游车发往阿波罗11号登月地点以争取2000万美元奖金的美国宾州宇宙机器人技术有限公司10月30日宣布了一项大胆的计划，将再发射5个探测器，对月球极区进行探测。由卡
我是贵刊的忠实老读者，最近从中央电视台的新闻里看到河南省平舆县辛店乡有40多亩成熟待割的小麦被烧毁。乡里找来旋耕机连夜犁掉着火麦地，并给被烧毁麦田的十几家农户“承诺”
目的探讨基于网络平台的延伸护理对痛风患者自我管理及生活质量的影响。方法选取2016年1月至2019年1月本院收治的痛风患者300例,按照组间基本特征具有可比性的原则等分为对照
黄疸是由于体内胆红素增高而引起皮肤巩膜等黄染的现象.新生儿黄疸最常见,引起的原因多而复杂且可导致胆红素脑病(核黄疸),常引起死亡或严重后遗症.光照治疗是一种通过荧光灯
有些果农在果树落叶后，将落叶直接覆盖在果树树盘上，让落叶自然腐烂分解，这种果树落叶直接还园的方法是不可取的。因为果树的落叶中有不少病虫潜藏在里面，这样直接还园就给病虫害