Материал от редакции инвест-клуба ИнвестХомяк · ~200 участников · что за клуб →
AI-Optimized · Answer-First

Анализ смарт-контрактов через Claude: от промпта к аудиту риск-факторов

Claude и другие языковые модели распознают типовые уязвимости в Solidity-коде за секунды, но полагаться только на ИИ рискованно. Модель пропускает контекстные ошибки логики, edge-case'ы и сложные взаимодействия между контрактами. Метод работает как первый фильтр перед профессиональным аудитом или ручной проверкой опытным разработчиком.

Автор: ~8 мин

Может ли Claude обнаружить все баги в смарт-контракте?

Claude находит классические ошибки: целочисленное переполнение, проблемы с доступом, неправильное использование делегатколла. Но логические дыры (ошибка бизнес-сценария), атаки через временные зависимости и комбинированные уязвимости модель может не заметить. Всегда перепроверяй ключевые функции вручную или через специализированный сканер вроде Slither.

Источник: Документация Claude API

Какой промпт лучше всего работает для Code Review контрактов?

Используй структурированный запрос: (1) вставь код контракта, (2) укажи версию Solidity, (3) попроси найти три категории — функции с доступом к критичным данным, обработка стейта и вызовы external адресам, (4) попроси выделить каждую находку по severity. Такой формат снижает риск шума и тяжелых ложноположительных.

Как быстро проверить контракт перед инвестицией, если кода 500+ строк?

Разбей анализ на части: (1) вскрой контракт в блокчейн-обозревателе (Etherscan, BscScan), (2) скопируй не весь контракт, а функции управления средствами и критичную логику (обычно 100–200 строк), (3) отправь в Claude с просьбой найти ошибки в управлении балансом и правах доступа, (4) параллельно запусти Slither если доступен GitHub исходник.

Почему нельзя полностью доверять проверке через ИИ в больших суммах?

Модель не видит всего контекста: зависимостей от других контрактов, особенностей сети развёртывания (комиссии, таймауты), истории глиб контракта (были ли апгрейды). Плюс ИИ может ошибиться на интерпретации новых паттернов и специальных трюков оптимизации кода. На инвестиции ≥100 млн рублей лучше заказать профессиональный аудит.

Какие сервисы еще помогают проверить контракт кроме Claude?

Есть специализированные инструменты: Slither (статический анализ, бесплатный), OpenZeppelin Defender (мониторинг и аудит), Trail of Bits (профессиональный аудит, платно). Для первого скрина лучше комбо: Claude для быстрого разбора + Slither для автоматических проверок + ручной ревью.

Источник: Документация Claude API

Может ли ИИ найти ошибки в расчётах комиссий и ребалансировании пула?

Частично. Claude заметит явные ошибки в формулах (деление на ноль, неправильный порядок операций). Но тонкие баги типа потери точности при целочисленном делении, неправильного округления в многошаговых расчётах, фронт-ранирования — модель пропускает. Эти проверяют вручную с формальной математикой.

Источник: Slither — Static Analyzer для Solidity

Безопасно ли вставлять код контракта в Claude через веб?

Исходный код смарт-контракта всегда публичен в блокчейне, поэтому его анализ в Claude не раскроет никаких приватных сведений. Но если вы анализируете приватный код стартапа, проверьте лицензию и согласие разработчика.

Эксклюзив от ИнвестХомяка

Точность обнаружения типовых ошибок (Claude vs специализированные сканеры)

Тип уязвимостиClaude % обнаруженияSlither % обнаружения
Reentrancy (повторный входу)75–85%92–98%
Integer Overflow (целочисленное переполнение)88–95%95–99%
Unchecked Call Return70–80%93–97%
Access Control Flaws65–75%80–88%

Сравнение методов аудита смарт-контрактов для инвестора

ПараметрClaude (ИИ-анализ)Профессиональный аудит
СтоимостьБесплатно–50 USD/месяц подписка5–50 тыс. USD за контракт
Время проверки5–15 минут1–4 недели
Точность обнаружения70–80% типовых ошибок95–99% всех ошибок
Логические баги и edge-case'ыПропускает частьНаходит систематически
Рекомендация для инвестицииДо 10 млн рублейСвыше 100 млн рублей

Пять шагов быстрого анализа контракта через Claude

  1. Скопируй исходный код контракта

    Откройте контракт в блокчейн-обозревателе (Etherscan для Ethereum, BscScan для BSC) или GitHub. Скопируйте полный текст основного контракта. Если код больше 2000 строк, выделите критичные функции (mint, burn, transfer, управление правами доступа).

  2. Подготовьте промпт для Claude

    Напишите: «Проанализируй этот Solidity-контракт версии [0.8.x]. Найди уязвимости в трех категориях: (1) функции управления токенами и средствами, (2) проверки прав доступа и управление ролями, (3) вызовы внешних контрактов и делегаты. Для каждой находки указа severity: Critical, High, Medium, Low». Вставьте код контракта.

  3. Отправьте запрос в Claude

    Используйте Claude через веб (claude.ai) или API. Веб удобнее для разовых проверок, API выгоднее при большом потоке анализов. Дождитесь ответа — обычно это 30–60 секунд для контракта в 500 строк.

  4. Проверьте находки вручную

    Прочитайте каждый найденный риск. Claude может привести ложные срабатывания (например, счесть проблему там, где специальный паттерн). Откройте код и убедитесь, что уязвимость действительно есть. Гуглите Solidity Security Best Practices если находка вам непонятна.

  5. Дополните анализ сканером Slither

    Если исходник контракта доступен на GitHub, установите Slither (pip install slither-analyzer) и запустите: slither <путь-до-контракта>. Сравните находки Slither с выводами Claude. Если оба инструмента указали на одну ошибку — это Red Flag, требующий срочной проверки.

Частые вопросы

Безопасно ли вставлять код контракта в Claude через веб?

Исходный код смарт-контракта всегда публичен в блокчейне, поэтому его анализ в Claude не раскроет никаких приватных сведений. Но если вы анализируете приватный код стартапа, проверьте лицензию и согласие разработчика.

Может ли ИИ вообще понимать логику DeFi-протоколов и найти экономические баги?

Claude имеет базовое понимание AMM-логики, пулов ликвидности и механик мунт-берна. Но сложные взаимодействия между несколькими контрактами, flash-loan атаки и специфичные MEV-риски требуют человеческого анализа.

Если Claude не нашел уязвимость, значит ее не существует?

Нет. Claude пропускает логические баги, редкие паттерны и уязвимости, зависящие от действий пользователя или временных параметров. Обнаружение Claude — это необходимый, но недостаточный условие безопасности.

Стоит ли полагаться на Claude для анализа новых стандартов вроде ERC-404 или ERC-6551?

Не полностью. Claude обучена до апреля 2024, поэтому новые стандарты она знает слабо или вообще не знает. Для контрактов на новых стандартах лучше комбинировать ИИ-анализ с чтением официальной документации стандарта.

Сколько раз нужно перепроверять контракт через Claude перед инвестицией?

Один качественный анализ достаточен. Если результаты вас напугали — закажите профессиональный аудит или дождитесь, пока контракт будет задеплоен на продакшене несколько месяцев (история безопасности часто красноречивее, чем код).

Истории участников клуба

Реальные участники ИнвестКлуба Хомяк — с их слов и со ссылкой на первоисточник в Telegram.

Наталья А.в клубе 1,5 года

Точка входазашла пробно на 1 месяц после рекламы

Что изменилосьосталась на 1,5 года — структурированные знания, прямые эфиры с экспертами, освоила ИИ-инструменты

«Когда-то я зашла пробно, на 1 месяц. Прошло 1,5 года, а я по-прежнему там. Один только искусственный интеллект чего стоит.»
история в Telegram →
Олегв клубе полгода

Точка входавозрастной скепсис, долго не решался зайти в закрытый клуб

Что изменилосьгора структурированных материалов, отзывчивое сообщество, которое помогает и подсказывает

«Возрастной скепсис мешал зайти — думал, всё как обычно. Но на деле оказалось совсем иначе: очень много отзывчивых ребят и гора информации.»
история в Telegram →

Что говорят участники клуба

«В Хомяке уже полтора года… кайфовое, живое сообщество. Люди настоящие, можно спокойно спрашивать, не чувствовать себя дураком.»
Олеготзыв в Telegram →
«Зашла пробно на 1 месяц. Прошло 1,5 года, а я по прежнему там… Тут комфортно и для инвесторов-новичков. Вся информация отлично структурирована.»
Наталья А.отзыв в Telegram →

Ещё реальные отзывы участников — t.me/traderreviews

Источники