Form verification method based on blockchain evidence storage smart contract

Abstract

The invention discloses a form verification method based on a blockchain evidence storage smart contract. The method comprises the steps of writing the evidence storage smart contract, adding a contract form specification and performing contract model verification. According to the method, a process and form verification method for writing the evidence storage smart contract is provided for a blockchain smart contract developer, and a security reference is provided for developing an evidence storage project by carrying the smart contract on the blockchain. Through a form verification method, aform specification is defined in front of an evidence storage intelligent contract method body and converted into a mathematical model which can be recognized by a theorem prover, a form verificationresult is obtained through mathematical deduction, the safety and reliability of an evidence storage intelligent contract are improved, the test cost of a traditional contract test is reduced, and the logic coverage is wide. The method has universality of compiling the evidence storage intelligent contract, provides the most basic evidence storage contract model and the form verification method thereof, provides related reference for expansion and optimization of the evidence storage contract, and has good applicability.

Description

Technical field [0001] The invention relates to the technical field of formal verification and smart contract security, and in particular to a formal verification method based on a blockchain storage smart contract. Background technique [0002] Blockchain is a distributed data management technology based on data encryption, time stamping, and distributed consensus mechanism to achieve decentralization. It has the characteristics of traceability, non-tampering, and high availability. As a set of commitments defined in digital form, smart contracts promise to control digital assets and include the rights and obligations agreed by contract participants, which are automatically executed by a computer system. The emergence of blockchain technology provides a set of programmable digital systems for smart contracts. Formal verification is an effective method in the current smart contract security audit scheme. It compares the function description with the actual code through mathemati...

AI Technical Summary

Problems solved by technology

However, at present, the smart contract development community does not have a corresponding security specification for the depository business, which makes the development of the depository smart contract prone to security vulnerabilities. A set of development process specifications for the depository smart contract and a formal verification-based certificate depository smart contract template are required , to provide an important reference in security for the design and development of smart contracts

Images