Intelligent contract implementation method based on block chain

A technology of smart contract and implementation method, which is applied in the direction of instruments, data processing applications, program control devices, etc., and can solve problems such as the contract is not realized, and it is not a smart contract system

Inactive Publication Date: 2016-08-24
BEIHANG UNIV
View PDF3 Cites 140 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, Ethereum only provides the underlying facilities for implementing smart contracts, and is not a complete smart contract system. There is no relevant implementation from the establishment of the contract to the execution of the contract to the audit of the contract.

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
  • Intelligent contract implementation method based on block chain
  • Intelligent contract implementation method based on block chain
  • Intelligent contract implementation method based on block chain

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0033] Establishment, negotiation and submission of smart contracts

[0034] The process of establishing, negotiating and submitting smart contracts: lawyers from all parties first establish smart contracts, and generate formalized and executable contracts through natural language processing; lawyers from all parties verify the generated smart contracts one by one, including verification with formal tools contract, and use consistency tools to verify the contract; through a cryptographic protocol, all parties to the contract digitally sign the contract; finally, the signed contract is uploaded to the blockchain, and the contract itself and all states of the contract execution (including the contract state machine, contract party execution state machine) are stored on the blockchain.

[0035] Contract C is a triplet: contract party information I(I i Indicates the i-th contracting party P i information, i=1...m, a total of m individuals participate in the contract), the contra...

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 provides an intelligent contract implementation method. The intelligent contract implementation method includes the steps that an intelligent contract is established, the contract C is a triad group, C= (I, M<*>, {M1, M2, ..., Mm}), the contract comprises contract party information I and a set of contract state machines M* and contract state execution machines {M1, M2, ..., Mm}, wherein Ii represents information of the i contract party Pi, i=1 ...m, and m contract parties participate in the contract; states and events of all contract parties are input and stored in a database which is high in safety; the intelligent contract is executed, and the execution result of the contract is obtained. The invention further provides an intelligent contract system based on a block chain, and the system comprises a user interface, an intelligent contract device and a block chain management module.

Description

technical field [0001] The invention relates to the technical field of smart contracts, in particular to the design of smart contract execution models. The present invention not only solves the design problem of the smart contract execution model, but also provides a block chain-based smart contract system, so that the storage and execution of the smart contract has credibility and higher security. Background technique [0002] A contract refers to the clauses that two or more parties enter into to determine their respective rights and obligations when handling something. Traditional contracts are first recorded on paper after being discussed in a "desktop meeting" to reach an agreement. After so many years of development, "Contract" has formed its own concepts and principles. [0003] In a traditional contract, people first formulate a contract and reach an agreement through interviews, record the contract on paper, and both parties to the contract sign on the paper; the ...

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): G06F9/44G06Q50/18
CPCG06F9/44G06Q50/18
Inventor 胡凯黄洁华蔡维德白晓敏陈志东
Owner BEIHANG UNIV
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