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

A language-independent measure of consistency between legal contracts and smart contracts

A technology of smart contracts and measurement methods, applied in the field of service computing, can solve the problems of fine-grained code analysis and high time-consuming cost

Active Publication Date: 2021-07-06
武汉力龙信息科技股份有限公司
View PDF10 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, the tool’s analysis of the code is too fine-grained, which consumes a lot of time and cost

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 language-independent measure of consistency between legal contracts and smart contracts
  • A language-independent measure of consistency between legal contracts and smart contracts
  • A language-independent measure of consistency between legal contracts and smart contracts

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0072] In order to make the object, technical solution and advantages of the present invention clearer, the present invention will be further described in detail below in conjunction with the accompanying drawings and embodiments. It should be understood that the specific embodiments described here are only used to explain the present invention, not to limit the present invention. In addition, the technical features involved in the various embodiments of the present invention described below can be combined with each other as long as they do not constitute a conflict with each other.

[0073] The present invention proposes a language-independent method for measuring the consistency of legal contracts and smart contracts, which accurately measures the consistency of legal contracts and smart contracts. Specifically, it is divided into partial consistency and complete consistency. Partial consistency refers to the input and output results of the same test case, and the calculati...

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 language-independent method for measuring the consistency of legal contracts and smart contracts, which accurately measures the consistency of legal contracts and smart contracts. Firstly, the partial consistency and complete consistency definitions and measurement indicators of legal contracts and smart contracts are proposed, and then the rewriting logic and language-independent symbolic execution are combined to propose a language-independent measurement method for the consistency of legal contracts and smart contracts to accurately measure specific Partial and full consistency of computable parts of legal contracts and corresponding smart contract code. The method proposed by the present invention can be used to measure the consistency between legal contracts described in any language and smart contracts developed in any language in the blockchain.

Description

technical field [0001] The invention belongs to the field of service computing, and in particular relates to a method for measuring the consistency of a language-independent legal contract and an intelligent contract. Background technique [0002] The integrated application of blockchain technology plays an important role in new technological innovation and industrial transformation. We must take the blockchain as an important breakthrough for independent innovation of core technologies, clarify the main direction of attack, increase investment, focus on overcoming a number of key core technologies, and accelerate the development of blockchain technology and industrial innovation. Smart contracts are the core components of the blockchain, and the consistency between legal contracts and smart contracts is a key attribute that smart contracts must have first. Smart contracts use computer program codes to express the terms of legal contracts and are a carrier of legal contract...

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): G06F40/253G06F8/41G06Q50/18
CPCG06F8/42G06Q50/18G06F40/253
Inventor 孟博刘琴王德军李子茂
Owner 武汉力龙信息科技股份有限公司
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

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com