一种基于区块链存证智能合约的形式验证方法

摘要

本发明公开了一种基于区块链存证智能合约的形式验证方法，该方法包括编写存证智能合约、添加合约形式规范并进行合约模型验证。该方法为区块链智能合约开发者提供了编写存证智能合约的流程和形式验证方法，为区块链搭载智能合约开发存证项目提供了安全方面的参考。本方法通过形式验证的方法，在存证智能合约方法体前部定义形式规范，转化为定理证明器能够识别的数学模型，利用数学推演得出形式验证结果，提高了存证智能合约的安全性和可靠性，降低了传统合约测试的测试成本，逻辑覆盖面广。本方法具有编写存证智能合约的通用性，提供了最基本的存证合约模型及其形式验证方法，为存证合约的扩展和优化提供了相关参考，具有很好的适用性。