首页/ 江苏通付盾区块链科技有限公司/ 专利详情

一种基于形式化验证的智能合约功能验证方法及装置

基本信息

申请号 CN202111067016.0 申请日 -
公开（公告）号 CN113778880A 公开（公告）日 2021-12-10
申请公布号 CN113778880A 申请公布日 2021-12-10
分类号 G06F11/36（2006.01）I;G06F8/41（2018.01）I 分类 计算；推算；计数;
发明人 汪德嘉;刘春鸣;宋超 申请（专利权）人 江苏通付盾区块链科技有限公司
代理机构 北京弘权知识产权代理有限公司 代理人 逯长明;许伟群
地址 210018江苏省南京市江北新区江淼路88号腾飞大厦B座23楼
法律状态 -

摘要

摘要 本申请提供了一种基于形式化验证的智能合约功能验证方法及装置，所述方法包括以下步骤：获取待验证的智能合约数据，对所述智能合约数据进行编译，判断编译是否通过，若编译通过，将所述智能合约数据转化为中间语言，根据所述中间语言，通过规则库生成测试用例，根据所述测试用例验证智能合约数据，得到验证结果。本申请通过依据solidity的行为将其抽象为模型可识别的中间验证语言，方便模型生成测试用例。根据测试用例对智能合约内的功能进行快速验证，解决了现有智能合约验证方法审计时间长、审计效率低的问题。