Complete intelligent contract form specification implementation method

A smart contract and form technology, applied in payment circuits and other directions, to achieve the effect of improving completeness and ensuring reliability

Active Publication Date: 2020-01-17
HANGZHOU QULIAN TECH CO LTD
View PDF9 Cites 5 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

There have been some research and academic achievements on the semantic model of smart contract virtual machines, but for developers, the real difficulty of formal verification lies in how to design and implement a complete formal specification

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
  • Complete intelligent contract form specification implementation method
  • Complete intelligent contract form specification implementation method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0020] The method for realizing the complete smart contract form specification of the present invention will be further described below in conjunction with the accompanying drawings.

[0021] Such as figure 1 As shown, based on the present invention, the framework for realizing a complete smart contract formal specification is as follows:

[0022] (1) Accessibility: Accessibility requires developers to consider the operability of the smart contract function, whether the function can be executed normally according to the expected effect, including the analysis of the three situations of divergence, abnormality and normal return. The judgment of accessibility is mainly realized through post clauses, and the judgment of some divergent situations also needs the help of intermediate clauses.

[0023] (2) Return result: The return result requires the developer to describe the predicate that the return result satisfies when the smart contract function is executed and returned normal...

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 complete intelligent contract form specification implementation method. The method comprises the steps of (1) determining accessibility of a intelligent contract function; (2) determining a return result of the intelligent contract function; (3) determining the state and state transition of the intelligent contract function; the method is used for helping developers to compile complete form specifications of intelligent contracts. Meanwhile, based on the method, a developer can summarize a complete form specification writing process for the form of the intelligent contract in different service scenes. The method has the advantages that by establishing a complete form specification, the safety of an intelligent contract form verification technology is improved, andthe learning cost of a developer for form verification of the intelligent contract is reduced.

Description

technical field [0001] The invention relates to the technical field of smart contracts and formal verification, in particular to a method for realizing the completeness of formal specifications of smart contract formal verification. Background technique [0002] Blockchain technology has become a game changer in many fields, and the distributed technology emerging in Bitcoin has a very broad application prospect outside of digital currency. A smart contract is a program that can be executed autonomously in the blockchain. In a smart contract, the terms of the contract are stipulated by codes, which means that writing programs with computer programs has legal effect in a sense. However, executing contracts written in code and storing information in an immutable public blockchain has certain risks. Numerous historical experiences also show that the security audit of smart contracts is very important. Formal verification is currently an optimistic smart contract security audit...

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): G06Q20/06
CPCG06Q20/06
Inventor 邱炜伟李伟李启雷梁秀波尹可挺张丁文
Owner HANGZHOU QULIAN TECH CO LTD
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products