МЕТОДЫ АВТОМАТИЗАЦИИ АУДИТА СМАРТ-КОНТРАКТОВ В СЕТИ ETHEREUM

Клеймёнов Антон Дмитриевич

Работа посвящена системному анализу и разработке методов автоматизированного аудита смарт-контрактов в блокчейн сети Ethereum. В рамках исследования проведен анализ ключевых уязвимостей, присущих программному коду смарт-контрактов, и систематизированы ограничения традиционных, ручных методов аудита в условиях экспоненциального роста сложности и количества децентрализованных приложений. Предложена и обоснована многоуровневая классификация автоматизированных методов, включающая статический, динамический анализ и формальную верификацию. Разработанная система аудита, базирующаяся на принципах системного анализа и интегрирующая передовые инструменты, позволяет существенно повысить эффективность, надежность и масштабируемость процесса выявления уязвимостей. Особое внимание уделено практической интеграции данных методов в полный жизненный цикл аудита, что соответствует профессиональным стандартам, применяемым в ведущих аудиторских компаниях при оценке рисков. Результаты исследования имеют практическое значение для повышения безопасности децентрализованных финансовых систем и минимизации рисков, связанных с эксплуатацией смарт-контрактов.

Ключевые слова:смарт-контракты, Solidity, EVM, Ethereum, аудит, автоматизация, статический анализ, динамический анализ, формальная верификация, безопасность, системный анализ