Intelligent contract information flow integrity verification method and system based on type detection

An integrity verification and smart contract technology, applied in digital data protection and other directions, can solve the problems of inability to handle large-scale smart contracts, error-prone, no automatic type inference, etc., to reduce the probability of credible information being tampered with.

Pending Publication Date: 2021-06-29
NANJING UNIV OF AERONAUTICS & ASTRONAUTICS
View PDF0 Cites 2 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Second, many type systems only perform solidity proofs on the hands-off property, without tools for automatic type

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 information flow integrity verification method and system based on type detection
  • Intelligent contract information flow integrity verification method and system based on type detection
  • Intelligent contract information flow integrity verification method and system based on type detection

Examples

Experimental program
Comparison scheme
Effect test

Example Embodiment

[0107] In order to make the purpose, technical solutions and advantages of the present application, the present application will be described in further detail below with reference to the accompanying drawings and examples. It should be understood that the specific embodiments described herein are intended to explain the present application and is not intended to limit the present application.

[0108] It should be noted that if a description of "first", "second", "," first "," second ", etc., as described in the embodiment of the present invention, is only used to describe the purpose, and cannot be understood as Indicates or implies its relative importance or implicit the number of technical features indicated. Thus, features with "first", "second" may be indicated or implicitly including at least one of this feature. In addition, the technical solution between the various embodiments can be combined with each other, but it must be based on those of ordinary skill in the art. Wh...

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 an intelligent contract information flow integrity verification method and system based on type detection, and belongs to the field of block chains and information security. The method can be used for solving the problem of potential information tampering of the smart contract in an Ethereum block chain environment. The method comprises the following steps: constructing formalized grammar and semantics for a smart contract programming language; constructing a security type system STC of the smart contract, wherein the STC is used for detecting the integrity of information flow of the smart contract; and constructing a type verifier STV based on an intelligent contract type system STC, and searching optimal security type allocation automatically for state variables of the intelligent contract. According to the method, formalized grammar and semantics of the smart contract are given, meanwhile, the advantages of type detection in security information flow check are combined, the information flow integrity of source codes of the smart contract can be effectively analyzed and verified, and the probability that credible information is tampered in the running process of the smart contract is reduced.

Description

technical field [0001] The invention belongs to the field of block chain and program verification, in particular to a method and system for verifying the integrity of smart contract information flow based on type detection. Background technique [0002] Smart contracts are computer programs that run on a blockchain (e.g., Ethereum) and do not require an external trusted authority. They have proven useful in many domains, including auctions, elections, commerce, and games. The data shows that smart contracts have recently become ubiquitous, with numbers increasing dramatically. However, how to ensure the security of smart contracts is a challenge. First, they are often developed under time-to-market pressure, can be riddled with security holes, or can be exploited by cybercriminals to steal cryptocurrencies and other digital assets. Second, they are programs that can interact with complex environments (e.g., users and other smart contracts). The nature of the blockchain l...

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
IPC IPC(8): G06F21/64
CPCG06F21/64
Inventor 胡镡文庄毅林尚威章甫源阚双龙曹子宁
Owner NANJING UNIV OF AERONAUTICS & ASTRONAUTICS
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

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

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap