METHODS FOR AUTOMATING THE AUDIT OF SMART CONTRACTS ON THE ETHEREUM NETWORK

Kleimenov Anton Dmitrievich

This work is dedicated to the systematic analysis and development of methods for the automated auditing of smart contracts within the Ethereum blockchain network. The study involved an analysis of key vulnerabilities inherent in smart contract code and systematized the limitations of traditional, manual auditing methods in the face of exponential growth in the complexity and number of decentralized applications. A multi-level classification of automated methods, encompassing static analysis, dynamic analysis, and formal verification, is proposed and substantiated. The developed auditing system, based on the principles of systematic analysis and integrating state-of-the-art tools, significantly enhances the efficiency, reliability, and scalability of the vulnerability detection process. Particular attention is paid to the practical integration of these methods into the full audit lifecycle, aligning with the professional standards employed by leading auditing firms for risk assessment. The research findings have practical significance for enhancing the security of decentralized financial systems and mitigating risks associated with the operation of smart contracts.

Keywords:smart contracts, Solidity, EVM, Ethereum, audit, automation, static analysis, dynamic analysis, formal verification, security, system analysis