Проверка кода одного Solidity-контракта с отчётом о рисках
Проведу ограниченную проверку одного Solidity-контракта: до 500 строк собственного кода без пустых строк/комментариев, одна зафиксированная версия и сеть. Ручное чтение, статический анализ и проверка до 10 согласованных инвариантов. Отчёт с найденными рисками, приоритетами и рекомендациями.
Результат: отчёт и описание выполненных проверок; приёмка по охвату согласованного кода и инвариантов, не по числу найденных ошибок.
Не входят: исправления, повторный аудит, proxy/upgrade, мосты, оракулы, экономический анализ, формальная верификация, аудит библиотек и всего протокола. Клиент даёт исходники и спецификацию. Не сертификация и не гарантия отсутствия уязвимостей.
Фиксированная цена — за этот пакет. До заказа согласуем входные данные и проверяем их пригодность. Срок — после получения задания, материалов и доступов. Один раунд до 10 уточнений в рамках задания; ошибки реализации требований исправляю без доплаты. Новые функции и сопровождение — отдельно. Клиент оплачивает необходимые серверы, API, лицензии и комиссии. Проверку результата проводим по описанным тестам; замечания просим передать в течение 14 дней.
