[发明专利]一种智能合约验证方法、计算机存储介质有效
| 申请号： | 202011572924.0 | 申请日： | 2020-12-24 |
| 公开（公告）号： | CN112581140B | 公开（公告）日： | 2022-07-29 |
| 发明（设计）人： | 不公告发明人 | 申请（专利权）人： | 西安深信科创信息技术有限公司 |
| 主分类号： | G06Q20/40 | 分类号： | G06Q20/40;G06Q40/04 |
| 代理公司： | 西安嘉思特知识产权代理事务所(普通合伙) 61230 | 代理人： | 王海栋 |
| 地址： | 710000 陕西省西安市高新区鱼*** | 国省代码： | 陕西;61 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种智能合约验证方法、计算机存储介质，该智能合约验证方法包括：步骤1、根据智能合约得到控制流图，所述控制流图包括标记有初始标记的节点和若干所述节点之间的边，且所述节点为含有断言的节点时，所述节点还标记有断言，其中，所述节点包括非循环节点和循环节点；步骤2、基于预设顺序，根据所述节点的类型得到每个所述节点的不变量；步骤3、根据所述节点的不变量的断言隐含结果得到验证结果。本发明的验证方法可以验证智能合约的正确性。另外，本发明的验证方法对智能合约，适用面更广。 | ||
| 搜索关键词： | 一种 智能 合约 验证 方法 计算机 存储 介质 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于西安深信科创信息技术有限公司，未经西安深信科创信息技术有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202011572924.0/，转载请声明来源钻瓜专利网。
