Ethereum virtual machine defect detection method and system

Abstract

The embodiment of the invention provides an Ethereum virtual machine defect detection method and system. The method comprises the following steps: acquiring a test data set constructed by a real smart contract comprising a plurality of Ethereum, sorting each smart contract in the test data set according to a priority condition, and selecting the smart contract with the highest priority as a target contract; based on the target contract, constructing an abstract syntax tree of an identification key position corresponding to the target contract, and according to a preset rule, modifying key attributes in the abstract syntax tree of the identification key position to obtain a variant intelligent contract; and taking the varied smart contract as input data, performing simulation transaction on a plurality of Ethereum virtual machine platforms, and obtaining an execution result. According to the method and the system provided by the embodiment of the invention, the vulnerability of the Ethereum virtual machine can be retrieved and mined quickly and accurately, so that the safety of the Ethereum ecological environment is ensured.

Description

technical field [0001] The invention relates to the field of computer technology, in particular to a defect detection method and system for an Ethereum virtual machine. Background technique [0002] Blockchain technology originated from Bitcoin. Its original design purpose was to solve the problem of over-reliance on trusted third parties in electronic payment. It comprehensively uses technological innovations such as cryptography technology, distributed accounting technology, and consensus mechanism to encapsulate transaction data into specific The data units in the format are combined into a linear linked list in chronological order, and encryption algorithms are used to realize the transparency, traceability, security, credibility and uniqueness of transaction data. The transaction participants of blockchain technology independently keep a complete copy of data to ensure reliable storage of transaction data. All parties establish coordination, communication and incentive...

AI Technical Summary

Problems solved by technology

[0006] As the only platform and standard for Ethereum to execute smart contracts, if the Ethereum Virtual Machine has security risks in code implementation, once it is exploited by malicious hackers, the consequences will be disastrous and may affect users of the entire Ethereum ecosystem. The consequences of loopholes in the logic layer are more serious

[0007] At present, there are at least 10 different languages ​​of the Ethereum virtual machine in the world that are widely used in Ethereum transactions. However, the security of the Ethereum platform is still generally committed to the security protection at the level of smart contracts. The security of the Ethereum virtual machine is concerned. little

Images