Я разработал метод автоматического аудита смарт-контрактов. Он находит 70% уязвимостей за 5 минут

После истории со взломом DeFi-протокола (см. мой предыдущий пост) я понял: ручной аудит не масштабируется. В экосистеме появляются тысячи новых контрактов каждый месяц. Аудиторов — сотни. Я решил обучить модель на всех известных эксплойтах и уязвимостях. Датасет — 50,000 контрактов с разметкой. Результат: модель находит 70% известных уязвимостей за 5 минут. Точность — 94%. Ложных срабатываний — меньше 5%. Конечно, это не заменяет ручной аудит. Сложные бизнес-логические уязвимости модель не видит. Но рутинную работу — reentrancy, integer overflow, unchecked calls — она делает идеально. Мы открыли инструмент как SaaS. За первый месяц — 200 клиентов. Большинство — небольшие DeFi-проекты, которые не могут позволить себе дорогой аудит. Мораль: AI не заменит аудиторов. Но он сделает аудит доступным для всех. И это изменит индустрию.