Automated method for verifying the correctness of the execution of smart contracts in the blockchain network.

Hashko, Andrii та Bondarchuk, Andrii (2025) Automated method for verifying the correctness of the execution of smart contracts in the blockchain network. Сучасний захист інформації (4). с. 37-43. ISSN 2409-7292

Текст document_2025.pdf Download (331kB)

Анотація

The article examines an automated method for verifying the correctness of smart contracts in the Solana blockchain network. The relevance of the research is driven by the growing popularity of Web3 applications and the need to ensure their security, as even minor errors in smart contract code can lead to significant financial losses. The primary goal is to develop an automated verification methodology for smart contracts that can detect vulnerabilities such as the absence of founder rights verification, arithmetic operation errors, and missing transaction check signatures. Using static analysis techniques in the Rust programming language, the authors propose an approach that enables rapid analysis-taking less than three minutes per contract-and automatic generation of reports on identified vulnerabilities. The methodology is based on analyzing external data flows through smart contracts, allowing for the early detection of potential threats. To automate the process, Python and Bash scripts are employed, integrating with cloud services such as Amazon Web Services to scale the analysis. Testing results on real Web3 applications demonstrate the effectiveness of the methodology, particularly in reducing analysis time and improving the accuracy of error detection. An important aspect of the research is the continuous updating of knowledge bases and analysis tools, enabling the consideration of new types of attacks and vulnerabilities. The article also highlights the importance of interoperability between different blockchain networks, which remains a challenging task but is a key element for the future development of Web3. The research results show that the proposed methodology is promising for scaling and adapting to new challenges in blockchain ecosystems such as Solana. Thus, the developed approach to automated smart contract verification not only enhances the security of Web3 applications but also contributes to their further development, ensuring stability and reliability in the dynamic evolution of blockchain technologies.

Тип елементу :	Стаття
Ключові слова:	blockchain; smart contract; Solana; information system; Rust; automated verification; optimization; security; decentralization
Типологія:	Статті у періодичних виданнях > Фахові (входять до переліку фахових, затверджений МОН)
Підрозділи:	Факультет інформаційних технологій та математики > Кафедра комп'ютерних наук
Користувач, що депонує:	професор Андрій Бондарчук
Дата внесення:	07 Січ 2026 09:24
Останні зміни:	07 Січ 2026 09:24
URI:	https://elibrary.kubg.edu.ua/id/eprint/56072

Actions (login required)

Перегляд елементу