GMVD: smart contract vulnerability detection based on GAT-Mamba framework

Smart contracts hold billions of dollars worth of digital currencies, and hacking attacks can not only cause users to lose their assets but also destabilize the blockchain ecosystem. Vulnerability detection in smart contracts remains a major challenge in blockchain security. Existing methods typically rely on a fixed expert mode, which leads to low accuracy. Moreover, GNN-based models fail to effectively differentiate the significance of various interaction information, while transformer models suffer from high computational complexity. To solve this problem, we propose the GAT-Mamba framework, named GMVD, to perform the smart contract vulnerability detection task. The approach first extracts expert-defined vulnerability patterns from smart contract functions. Then, the graph features are extracted by GAT. Finally, Mamba is used to model the high-dimensional vector expression of expert mode features to improve the calculation efficiency of the model. Experimental results on three common vulnerabilities, reentrancy, timestamp dependency, and infinite loop, demonstrate that our framework significantly outperforms existing cutting-edge technologies. Specifically, our method achieves 94.29 ± 0.22% accuracy in detecting reentrancy, 93.71 ± 0.24% in timestamp dependency, and 82.49 ± 0.19% in infinite loop detection.