Bytecode check-based Java intelligent contract safety detection method

A smart contract and security detection technology, applied in the field of smart contract technology and Java virtual machine, can solve problems that affect the execution performance of smart contracts, security issues, etc., and achieve the effects of improving usability and completeness, ensuring safety, and improving performance

Active Publication Date: 2017-12-29
HANGZHOU QULIAN TECH CO LTD
View PDF7 Cites 14 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Since the smart contract execution engine supports functions such as network, concurrency, and terminal commands, if these operations exist in the written smart contract, security problems may occur or affect the execution performance of the smart 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
  • Bytecode check-based Java intelligent contract safety detection method
  • Bytecode check-based Java intelligent contract safety detection method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0020] The purpose and effect of the present invention will become more obvious by describing the present invention in detail according to the accompanying drawings and specific embodiments.

[0021] Such as figure 1 As shown, the Java smart contract safety detection method based on bytecode inspection of the present invention comprises the following steps:

[0022] (1) Write security detection rules: system security rules include four modules: interface, parent class, member variable and member method. Users can delete or modify the modules in the system security rules according to their own business or company security requirements. Modify the rules in the smart contract to obtain customized smart contract security detection rules;

[0023] (2) Send the bytecode file generated by the compiled Java smart contract and the smart contract security detection rules customized in step (1) to the smart contract execution engine;

[0024] (3) The smart contract execution engine loa...

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 bytecode check-based Java intelligent contract safety detection method. The method comprises the following steps of: firstly compiling an intelligent contract safety detection rule by a user, and sending a bytecode file generated by a compiled Java intelligent contract and a customized intelligent contract safety detection rule to an intelligent contract execution engine; after a file is received by the intelligent contract execution engine, dynamically loading a system rule and a user-defined rule by the intelligent contract execution engine; and operating a safety detection program, if the detection fails, returning a result, and if the detection succeeds, entering the execution process and returning an execution result. According to the method, the problem that traditional intelligent contract safety detection is insufficient is solved, the safety of virtual machines and data is ensured, the condition of improperly compiling codes of intelligent contracts can be avoided and the intelligent contract operation performance is improved.

Description

technical field [0001] The invention relates to smart contract technology and Java virtual machine (hereinafter referred to as JVM) technology, in particular to a Java smart contract security detection method based on bytecode inspection. Background technique [0002] Smart contracts are an idea proposed by Nick Szabo in the 1990s, almost at the same age as the Internet. Due to the lack of a trusted execution environment, smart contracts have not been applied to the actual industry. Since the birth of Bitcoin, people have realized that the underlying technology of Bitcoin, the blockchain, can inherently provide a trusted execution environment for smart contracts. Smart contracts are assembly language programmed on the blockchain. Usually people don't write the bytecode themselves, but compile it from a higher level language. [0003] The execution of the code of the smart contract is automatic: either it succeeds, or all state changes are undone (including information alre...

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/455
CPCG06F9/45558G06F2009/45587
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