[发明专利]一种自动化校验的合约形式化验证方法

说明书

本发明公开了一种自动化校验的合约形式化验证方法，所述方法包括：S1构建区块链网络用于执行智能合约合约贡献者上传合约；S2参考编译器，编写一套自动化合约检查程序，包括模型检查、合约解释、元数据检查合约模板平台接收合约和展示合约，做好审核和监管义务；S3通过形式化验证的合约可以部署到区块链上合约使用者选取最适合的模板，通过参数调用模板。本发明有益效果在于，通过区块链智能合约形式化验证，可以有效找出合约存在的问题，提醒开发者及时解决相关的bug，进行高效开发，减少错误合约部署到区块链时的反复验证操作。

技术领域

本发明涉及信息技术领域，具体而言，涉及一种自动化校验的合约形式化验证方法。

背景技术

区块链技术是一种去中心化、集体维护分布式账本的技术方案，其本质是多个节点共同参与的分布式数据库系统，区块链不是一种单一的技术，而是多技术整合的结果，利用区块链维护一个可靠的，难以篡改的账本记录，可以降低信任风险，有效降低众参与方维护成本。

智能合约是区块链技术的一个重要部分，通过智能合约可以在区块链上执行协议的操作。但是至今区块链没有一个完善的合约检测系统，可以自动化检测合约的相关规范问题。比如版本控制，数据越界，死循环等问题。。

发明内容

鉴于现有技术的不足，本发明为一种自动化校验的合约形式化验证方法，其目的是进行合约的自动化校验。从而减少开发者的开发难度，减少区块链网络的测试负担。

为了实现上述目的，本发明采用的技术方案如下：

一种自动化校验的合约形式化验证方法，所述方法包括：

S1构建区块链网络用于执行智能合约合约贡献者上传合约；

S2参考编译器，编写一套自动化合约检查程序，包括模型检查、合约解释、元数据检查合约模板平台接收合约和展示合约，做好审核和监管义务；

S3通过形式化验证的合约可以部署到区块链上合约使用者选取最适合的模板，通过参数调用模板。

本发明有益效果在于，通过区块链智能合约形式化验证，可以有效找出合约存在的问题，提醒开发者及时解决相关的bug，进行高效开发，减少错误合约部署到区块链时的反复验证操作。

附图说明

图1为本发明的流程示意图；

具体实施方式

下将对本发明作进一步的描述，需要说明的是，本实施例以本技术方案为前提，给出了详细的实施方式和具体的操作过程，但本发明的保护范围并不限于本实施例。

如图1所示，本发明为一种自动化校验的合约形式化验证方法，所述方法包括：

S1构建区块链网络用于执行智能合约合约贡献者上传合约；

S2参考编译器，编写一套自动化合约检查程序，包括模型检查、合约解释、元数据检查合约模板平台接收合约和展示合约，做好审核和监管义务；

S3通过形式化验证的合约可以部署到区块链上合约使用者选取最适合的模板，通过参数调用模板。

对于本领域的技术人员来说，可根据以上描述的技术方案以及构思，做出其它各种相应的改变以及变形，而所有的这些改变以及变形都应该属于本发明权利要求的保护范围之内。