Находка — это строка. Атака — это сочетание таких строк, и ищем мы именно её. Каждый из пяти слоёв видит то, чего не видит слой над ним, и каждый определяется своей слепой зоной не меньше, чем тем, что он ловит. Эти слепые зоны написаны здесь так же, как и в отчёте: нельзя настроить инструмент, который скрывает границы своего охвата.
Порядок здесь не ради подачи. Каждый слой потребляет то, что произвёл предыдущий; поэтому четвёртый нельзя запустить без третьего.
201 детектор по исходному коду Solidity: непроверенные возвраты, формы reentrancy, пути эмиссии и вывода, полномочия владельца, прокси и пути обновления и симулированная покупка-продажа, ловящая honeypot без попадания в него. Движок работает на вашей машине. ⛔ Слепая зона: достижим ли путь при тех значениях, которые контракт реально увидит, — ничего не запускалось.
Исходный код — это утверждение; развёрнутый байткод — факт. Этот слой читает диспетчер и извлекает селекторы, которые контракт действительно открывает, называет сырую calldata по корпусу сигнатур, вычитает библиотечный код, оставляя написанные вручную строки, и сообщает, откуда пришли деньги адреса, вместе с источником. ⛔ Слепая зона: намерение и любой список, который никто не загрузил.
21 цепочка атаки, построенная из доказательств выше. У каждой цепочки есть вопрос, список предусловий и вес каждого предусловия. Цепочка выпускается, только если сканирование действительно доказало необходимые предусловия. ⛔ Слепая зона: живое состояние — балансы, глубина ликвидности, у кого ключи. Уверенность здесь — это доля доказанных предусловий, а не вероятность успеха атаки.
Работа модели начинается только после того, как слой 03 построил цепочку: рассказать эту цепочку на языке читателя так, чтобы защищающийся смог её закрыть. Сценариев у неё не просят, и добавить их она не может — уверенный и неопровержимый выдуманный список атак похоронит под собой единственную настоящую находку. ⛔ Слепая зона: намерение.
Каждая находка с критичностью, доказательством и исправлением в PDF; открытый архив переданных отчётов; бейдж, который держит прочитанное ЖИВЬЁМ из сети отдельно от просто ЗАЯВЛЕННОГО и датирует второе; и сторож, продолжающий наблюдать за адресом после того, как отчёт подписан. ⛔ Исключено: само утверждение «безопасно».
Отчёт говорит, что было проверено и что подтвердилось. Отчёт, обещающий безопасность, — это отчёт, которому не следует доверять, и на этой фразе настроен весь продукт.
Сами инструменты (сканер, панели, рабочее пространство SAFI) пока работают на английском языке. Эти страницы объясняют всё по-русски — до того, как вы туда перейдёте.
Масштаб, глубина и сдержанность — три разных утверждения. Каждое число ниже можно пересчитать, и ни одно не является округлённой маркетинговой цифрой. Третье — граница, которую мы выбрали сами.
Каждая цепочка строится в коде из вывода детекторов и несёт доказательство каждого предусловия, которое заявляет. Искусственный интеллект объясняет уже существующую цепочку. Добавить хотя бы одну ему до сих пор не удавалось — потому что двери, через которую он мог бы это сделать, нет.
Открытая запись, охватывающая 2021–2025 годы в BNB Chain, Ethereum, Base, Polygon, Arbitrum, Optimism и Avalanche.
Каждая запись ведёт на PDF, опубликованный САМИМ аудитором, — не на копию, размещённую здесь, и уж точно не на пересказ. Число можно пересчитать самостоятельно.
Детекторы — это словарь; цепочки — предложения, которые из этих слов складываются.
Двенадцать из них ссылаются на задокументированный инцидент, прошедший по той же форме. Остальные девять прямо говорят, что сопоставимого инцидента не нашлось, вместо того чтобы придумать правдоподобное название.
Две слабости, ни одна из которых по отдельности не критична, — и пустой пул. Здесь видно, почему именно список находок, отсортированный по критичности, это скрывает:
Схема не гипотетическая: Euler Finance потеряла 197 миллионов долларов на бухгалтерии, которую можно было раскачать этим же путём.
Инструмент, перечисляющий только свои сильные стороны, предлагает вам находить пробелы в бою. То, чего не видит каждый слой, написано и в отчёте, и на этой странице.
Самое важное: ни один санкционный список не вкомпилирован в этот продукт. Если список меток не загружен, отчёт говорит об этом именно этими словами — а не возвращает чистый результат, который можно прочитать как «проверено».
Вставьте адрес контракта и посмотрите полномочия владельца, ликвидность и результат симуляции продажи — прежде чем рисковать. Небольшая плата за разовую проверку показывается до подписи, а в любой подписке проверки безлимитны.
