Intelligent contract safety evaluation method based on a rule engine

A technology of smart contracts and evaluation methods, applied in computer security devices, program code conversion, instruments, etc., can solve problems affecting the reliability of blockchain applications, and achieve the effect of security guarantee and loss reduction

Inactive Publication Date: 2019-03-19
HANGZHOU QULIAN TECH CO LTD
View PDF2 Cites 17 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, as the main technology in the development of blockchain applications, smart contracts cannot be modified once they are deployed on the blockchain, resulting in security vulnerabilities caused by smart contracts that greatly affect the reliability of blockchain applications.

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 safety evaluation method based on a rule engine
  • Intelligent contract safety evaluation method based on a rule engine

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0019] The present invention will be described in detail below according to the accompanying drawings and preferred embodiments, and the purpose and effect of the present invention will become 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.

[0020] Such as figure 1 As shown, a rule engine-based smart contract security evaluation method, the method includes the following steps:

[0021] S1: Obtain the target smart contract, generate a grammar analyzer according to the language rules of the target smart contract, and the language rules of the target smart contract do not contain ambiguous sentences;

[0022] S2: Use the syntax analyzer generated by S1 to analyze the target smart contract, generate a contract syntax tree; and customize the r...

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 safety evaluation method based on a rule engine, and the method comprises the following steps: obtaining a target intelligent contract, generating a grammar analyzer according to the language rule of the target intelligent contract, and enabling the language rule of the target intelligent contract not to carry an ambiguity statement; analyzing the target intelligent contract by using the syntax analyzer generated in the step S1, and generating a contract syntax tree; customizing a rule base of the intelligent contract vulnerability rule engine; s2, using an intelligent contract vulnerability rule engine to continuously traverse and scan the contract syntax tree in the step S2 to obtain a scanning result of each rule in the rule base; and S3;performing standard evaluation on the rule scanning result obtained in the step S3 to obtain a final evaluation result. According to the invention, the problem that the security risk of the smart contract is difficult to perceive before the smart contract is deployed to the blockchain is solved, and the detection and protection of the vulnerability hidden danger of the smart contract development to the blockchain application are realized.

Description

technical field [0001] The invention relates to the field of security evaluation of smart contracts, in particular to a rule engine-based smart contract security evaluation method. Background technique [0002] At present, the existing smart contract security evaluation methods mainly include the following: security evaluation methods based on formal verification, security evaluation methods based on symbolic execution and symbol abstraction; security evaluation methods based on machine learning and deep learning; among them, based on The formal verification method is essentially a verification method based on a mathematical model, which converts the program source code of the smart contract into a specific mathematical model, and proves the requirements that the contract code needs to meet as a property, that is, through mathematical language description Contract code, and prove that it satisfies specific properties. In the specific coding implementation process of this met...

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/57G06F8/41
CPCG06F8/42G06F21/577
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

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