Unlock instant, AI-driven research and patent intelligence for your innovation.

A smart contract verification method and computer storage medium

A technology of smart contracts and verification methods, applied in computing, protocol authorization, data processing applications, etc., can solve problems such as not supporting implicit loop callbacks, and achieve a wide range of applications

Active Publication Date: 2022-07-29
安徽深信科创信息技术有限公司
View PDF8 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, VerX does not support the implicit loop callback caused by the fallback function, and the loop iteration in the function needs to set a boundary

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
  • A smart contract verification method and computer storage medium
  • A smart contract verification method and computer storage medium
  • A smart contract verification method and computer storage medium

Examples

Experimental program
Comparison scheme
Effect test

Embodiment 1

[0051] For the testing and verification of smart contracts, there are mainly the following methods:

[0052] Fuzzing: Fuzzing is a method of discovering software faults by constructing unexpected input data and monitoring the target software for abnormal results during operation. When fuzzing smart contracts, a random engine is used to generate a large amount of random data to form executable transactions. With reference to the feedback of the test results, the random engine dynamically adjusts the generated data to explore as much smart contract state space as possible. Based on the finite state machine, the state of each transaction is analyzed to detect whether there is an attack threat.

[0053] Symbolic execution technology: The core idea of ​​symbolic execution is to use symbolic values ​​instead of concrete values ​​to execute programs. Variables with any uncertain value during program analysis, including environment variables and inputs, can be replaced by symbolic va...

Embodiment 2

[0132] The present invention also provides a computer-readable storage medium, where a computer program is stored in the computer-readable storage medium, and when the computer program is executed by a processor, the steps of the first embodiment and the second embodiment are implemented.

[0133] Generally, the computer-readable storage medium can be placed in a computer device, see Figure 10 , the computer equipment can include units or modules such as a processor, a communication interface, a computer-readable storage medium, and a communication bus, wherein the processor, the communication interface, and the memory complete mutual communication through the communication bus,

[0134] A computer-readable storage medium for storing computer programs;

[0135] The processor, when executing the program stored on the computer-readable storage medium, implements the following steps:

[0136] Step 1. Obtain a control flow graph according to the smart contract. The control flow ...

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 smart contract verification method and a computer storage medium. The smart contract verification method includes: step 1, obtaining a control flow graph according to the smart contract, the control flow graph including a node marked with an initial mark and a plurality of the nodes When the node is a node containing an assertion, the node is also marked with an assertion, wherein the node includes acyclic nodes and cyclic nodes; Step 2, based on the preset order, according to the The invariant of each node is obtained by the type; Step 3, the verification result is obtained according to the implicit result of the assertion of the invariant of the node. The verification method of the present invention can verify the correctness of the smart contract. In addition, the verification method of the present invention has wider applicability to smart contracts.

Description

technical field [0001] The invention belongs to the technical field of smart contracts, and in particular relates to a smart contract verification method and a computer storage medium. Background technique [0002] Blockchain is a research field that has developed rapidly in recent years. It was first proposed by Satoshi Nakamoto in the Bitcoin blockchain, which is based on a variety of technologies, such as blockchain encryption, peer-to-peer communication, distributed systems, etc. The advent of the Bitcoin network enabled financial transactions between strangers without the involvement of a third-party authority. Later, the Ethereum platform further appeared, which is an open source public blockchain platform with smart contract functions. Since then, smart contracts have gained attention in many areas such as financial institutions and supply chains. [0003] A smart contract is a computerized transaction protocol that executes the terms of the smart contract to meet u...

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 Patents(China)
IPC IPC(8): G06Q20/40G06Q40/04
CPCG06Q20/401G06Q40/04
Inventor 不公告发明人
Owner 安徽深信科创信息技术有限公司