Smart Contracts Vulnerability Detection Using Transformers

Smart Contracts Vulnerability Detection Using Transformers

연구 분야: Infrastructure

학회: International Conference on Web Information Systems Engineering

Smart contracts play a crucial role in the digital transformation of exchanges and transactions. They are self-executing programs, based on blockchain technology, where the terms of the agreement are directly coded. Service Level Agreements (SLAs) is used as contract to define non-functional service terms between providers and customers. Therefore, several works in the literature have proposed transforming SLAs into SCs on the block-chain to ensure decentralization, transparency, and traceability. However, none of the aforementioned works considered how to ensure the security of smart contracts which is crucial as they are immutable and can be revisited or modified after their deployment. To address this issue, in a previous work, we suggested to use formal verification as an effective solution to check SLAs security before they are deployed. Despite its effectiveness, formal verification presents significant time delays and considerable computation resources and can be impractical in some cases where time is a critical factor. To overcome this drawback, in this paper, we propose to employ Transformers with Tree Positional Encoding Layer as an approach to detect smart contracts vulnerabilities in a limited time. By adding this layer, we are taking into consideration the tree form of a code as an input to the Transformer model. The suggested technique is used to shortlist susceptible and to reduce the properties to be checked by the formal verification technique. The proposed approach allows to evaluate the largest possible number of contracts within a constrained time-frame.