Designing and Evaluating Dl-Model for Vulnerability Detection in Smart Contracts

Abstract

Task features. Smart-contracts are programs that are stored in a distributed registry and execute code written in them in response to transactions addressed to them. Such smart- contracts are written in the Solidity programming language, which has a specific structure and syntax. The language was developed for the Ethereum platform. Having a specific structure, such languages are prone to certain vulnerabilities, the use of which can lead to large financial losses. Task statement. In this paper, a Deep Learning (DL) model is used to detect the vulnerabilities. Using the chosen approach and a properly specified input data structure, it is possible to detect complex dependencies between various program variables that contain vulnerabilities and bugs. Research results. Using well-defined experiments, this approach was investigated to better understand the model and improve its performance. The developed model classified vulnerabilities at the string level, using the Solidity corpus of smart-contracts as input data. The application of the DL model allows vulnerabilities of varying complexity to be identified in smart-contracts. Conclusions. Thus, the pipeline developed by us can capture more internal code information than other models. Information from software tokens, although semantically incapable of capturing vulnerabilities, increases the accuracy of models. The interpretability of the model has been added through the use of the attention mechanism. Operator accounting has shown significant performance improvements.

Implementation and evaluation of a decentralized medical data exchange system based on the IOTA Tangle and approximate algorithms for optimal data placement

“…Approximate algorithms for optimal data placement and mathematical models for optimizing the structure of a distributed database of a cloud system are proposed, taking into account the limitations on the amount of node memory, the available costs of renting cloud resources, the number of replicas of distributed database fragments, which differ from the existing ones in that they take into account the features of cloud computing technology [14][15][16][17][18][19][20]:…”

Fpga-Based Implementation of a Gaussian Smoothing Filter With Powers-of-Two Coefficients

“…Many automated algorithms for procedural landscape generation [4,5] synthesize landscapes in a combined manner, using existing height maps of real landscapes as a foundation, which allows for obtaining a realistic model [6,7]. However, existing sets of landscape height maps (Digital Elevation Models, DEM), such as SRTM and ASTER, have insufficient resolution in the horizontal plane and exhibit a significant level of noise.…”