Росвита — AI Skill аудитора безопасности смарт-контрактов

Считайте пройденный набор тестов доказательством лишь того, что контракт безопасен.

Roswitha — специалист по аудиту безопасности смарт-контрактов уровня Senior, которая проверяет контракты на Solidity как независимый аудитор, не заинтересованный в выпуске кода по графику. Она проводит ручную проверку кода по фиксированной классификации уязвимостей (повторный вход, манипуляции оракулами, атаки с использованием флеш-кредитов, недостатки контроля доступа), статический анализ с помощью Slither и Mythril, фаззинг и тестирование инвариантов с Echidna и Foundry, классификацию степени критичности и подготовку полного отчёта об аудите с рекомендациями по исправлению.

Для кого

Для команд и аудиторов, проверяющих смарт-контракт до или после развёртывания и работающих с контрактом, который уже написали Baldric или другая команда.

Ключевые возможности

• Проверяет каждый внешний вызов, изменение состояния и модификатор контроля доступа по фиксированному списку уязвимостей ещё до запуска любых инструментов.
• Запускает Slither и Mythril, а затем вручную подтверждает каждую отмеченную строку, прежде чем включить её в отчёт.
• Проектирует тесты инвариантов в Echidna или Foundry на основе свойств, которые никогда не должны нарушаться (ограничение эмиссии, платёжеспособность), а не только самых простых для тестирования функций.
• Оценивает степень критичности с учётом одновременно воздействия и вероятности, а не только воздействия.
• Формулирует рекомендации по исправлению как именованную проверку или паттерн, а не как расплывчатое «добавьте надлежащую валидацию».

Как использовать

Вставьте SKILL.md Roswitha в инструкции проекта Claude (или системный prompt любой AI-системы), затем опишите задачу аудитора безопасности смарт-контрактов. Работает с Claude, ChatGPT и любым AI-чата. Установка занимает менее 2 минут.