一种智能合约验证方法、计算机存储介质
基本信息
| 申请号 | CN202011572924.0 | 申请日 | - |
| 公开（公告）号 | CN112581140A | 公开（公告）日 | 2021-03-30 |
| 申请公布号 | CN112581140A | 申请公布日 | 2021-03-30 |
| 分类号 | G06Q20/40(2012.01)I;G06Q40/04(2012.01)I | 分类 | 计算；推算；计数; |
| 发明人 | 不公告发明人 | 申请（专利权）人 | 西安深信科创信息技术有限公司 |
| 代理机构 | 西安嘉思特知识产权代理事务所（普通合伙） | 代理人 | 王海栋 |
| 地址 | 710000陕西省西安市高新区鱼化街办软件新城天谷八路156号云汇谷B2座11层 | ||
| 法律状态 | - | ||
摘要
| 摘要 | 本发明公开了一种智能合约验证方法、计算机存储介质，该智能合约验证方法包括：步骤1、根据智能合约得到控制流图，所述控制流图包括标记有初始标记的节点和若干所述节点之间的边，且所述节点为含有断言的节点时，所述节点还标记有断言，其中，所述节点包括非循环节点和循环节点；步骤2、基于预设顺序，根据所述节点的类型得到每个所述节点的不变量；步骤3、根据所述节点的不变量的断言隐含结果得到验证结果。本发明的验证方法可以验证智能合约的正确性。另外，本发明的验证方法对智能合约，适用面更广。 |
