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

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 inference
Performing type inference manually is error-prone and may not be able to handle large-scale smart contracts

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

Embodiment Construction

[0107] In order to make the purpose, technical solution and advantages of the present application clearer, the present application 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 application, and are not intended to limit the present application.

[0108] It should be noted that if there are descriptions involving "first", "second", etc. in the embodiments of the present invention, the descriptions of "first", "second", etc. are only for description purposes, and should not be interpreted as indicate or imply their relative importance or implicitly indicate the number of technical features indicated. Thus, the features defined as "first" and "second" may explicitly or implicitly include at least one of these features. In addition, the technical solutions of the various embodiments can be combined with each other, bu...

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 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