[发明专利]智能合约的验证方法和装置有效
| 申请号： | 202011435380.3 | 申请日： | 2020-12-11 |
| 公开（公告）号： | CN112215618B | 公开（公告）日： | 2021-02-26 |
| 发明（设计）人： | 邬萌;王海军 | 申请（专利权）人： | 支付宝（杭州）信息技术有限公司 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36;G06Q20/40;G06Q40/04 |
| 代理公司： | 济南信达专利事务所有限公司 37100 | 代理人： | 李世喆 |
| 地址： | 310000 浙江省杭州市*** | 国省代码： | 浙江;33 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本说明书实施例提供了一种智能合约的验证方法和装置。根据该实施例的方法，首先，分别对智能合约的每一个接口进行目标安全属性的形式化验证；然后对智能合约的不同接口的形式化验证产生的程序状态进行约减处理；之后，若约减处理得到的程序状态不满足所述目标安全属性，则获取不满足所述目标安全属性的程序状态实例；验证不满足所述目标安全属性的程序状态实例是否均无效，如果否，则所述目标安全属性验证失败。 | ||
| 搜索关键词： | 智能 合约 验证 方法 装置 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于支付宝（杭州）信息技术有限公司，未经支付宝（杭州）信息技术有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202011435380.3/，转载请声明来源钻瓜专利网。
