Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

Form verification method based on blockchain evidence storage smart contract

A smart contract and formal verification technology, which is applied in data processing applications, finance, instruments, etc., can solve the problems of lack of security regulations and easy security loopholes in smart contracts that store certificates, so as to improve security and reliability and reduce testing costs , the effect of wide coverage of logic

Active Publication Date: 2019-12-10
HANGZHOU QULIAN TECH CO LTD
View PDF3 Cites 4 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

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

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Form verification method based on blockchain evidence storage smart contract

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0019] The following is a further description of the method of formal verification based on the blockchain deposit smart contract of the present invention with reference to the accompanying drawings.

[0020] Such as figure 1 As shown, the process of the formal verification of the smart contract based on the blockchain storage certificate of the present invention is as follows:

[0021] (1) Compile a smart contract for evidence storage: according to specific production environment and permissions to grant evidence, obtain evidence, and access evidence permissions, it is necessary to regulate the access permissions of the contract method, and the method access can be limited by adding a modifier to the method header Permissions. Limiting the identity of the function caller can improve the overall security and reliability of the system. The deposit certificate function is for users with deposit certificate authority. The user can select the corresponding deposit function according ...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

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...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Applications(China)
IPC IPC(8): G06F21/64G06Q40/04
CPCG06F21/64G06Q40/04G06Q2220/00G06Q50/18G06Q50/26H04L63/0823
Inventor 邱炜伟李伟李启雷梁秀波尹可挺周健
Owner HANGZHOU QULIAN TECH CO LTD
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products