Перейти к содержимому
nonce.

Бутиковый аудит.ИИ помогает, человек проверяет.

Наша модель первой читает каждую строку. Старшие исследователи доказывают и подписывают каждую находку. Фиксированная цена менее чем за 12 часов, отчёт за 3 дня.

Узнать цену

Пять настоящих эксплойтов воспроизводятся по очереди: каждый контракт сам себя набирает, сканирование отмечает уязвимость, а заметка говорит, во что она обошлась и как её исправить.

  • The DAO, 2016-06-17: Выведено 3,6 млн ETH. splitDAO выплачивал награду внешним вызовом до того, как обнулял баланс, поэтому атакующий входил снова и делил одни и те же токены раз за разом. Обнулять баланс до любого внешнего вызова.
  • Parity Multisig, 2017-11-06: Заморожено 513 774 ETH. Общую библиотеку так и не инициализировали, поэтому любой мог вызвать initWallet, стать владельцем и уничтожить её через kill. Все кошельки, делегировавшие ей, замёрзли. Инициализировать библиотеку при деплое и не давать ей самоуничтожения.
  • Wormhole, 2022-02-02: 120 000 wETH, ~$325 млн. verify_signatures читал проверку подписей из аккаунта, выбранного вызывающим, и не проверял, что это sysvar инструкций. Подделка прошла как полное одобрение гардианов. Использовать load_instruction_at_checked, который проверяет адрес sysvar.
  • Nomad Bridge, 2022-08-01: Выведено ~$190 млн. Обновление сделало доверенным корень 0x00. Недоказанное сообщение даёт 0x00, поэтому process принимал любое сообщение, и сотни подражателей повторили первое. Никогда не подтверждать нулевой корень и отклонять недоказанные сообщения.
  • Euler Finance, 2023-03-13: Выведено ~$197 млн. donateToReserves сжигал eToken, не проверяя, остаётся ли донор платёжеспособным. Атакующий пожертвованием загнал себя в плохой долг, а затем ликвидировал себя со скидкой. Проверять ликвидность после пожертвования, как при других выводах.
аудитов
180
критических находок
63
до оценки
12 часов
до отчёта
3 дня

Сети, которые мы проверяем

EVM9

  • EthereumSolidity, Vyper
  • ArbitrumSolidity, Vyper
  • OptimismSolidity, Vyper
  • BaseSolidity, Vyper
  • PolygonSolidity, Vyper
  • BNB ChainSolidity, Vyper
  • AvalancheSolidity, Vyper
  • LineaSolidity, Vyper
  • ScrollSolidity, Vyper

Solana1

  • SolanaRust, Anchor

Move2

  • SuiMove
  • AptosMove

ZK3

  • zkSyncSolidity, Vyper
  • StarknetCairo
  • Polygon zkEVMSolidity, Vyper
  • СхемыCircom, Noir

Другие сети3

  • CosmosCosmWasm, Rust
  • StellarSoroban, Rust
  • TONTact, FunC, Tolk

Что мы проверяем

  • 19 // Burn DAO Tokens
    20 Transfer(msg.sender, 0, balances[msg.sender]);
    21 withdrawRewardFor(msg.sender); // be nice, and get his rewards
    22 totalSupply -= balances[msg.sender];
    23 balances[msg.sender] = 0;
    24 paidOut[msg.sender] = 0;
    25 return true;
    ВысокаяH-01Баланс записан после внешнего вызова
  • EVM1-3 дня
  • Solana2-3 дня
  • Move1-3 дня
  • Реагирование на инцидентыРеакция за 2 часа

Наша собственная модель

nonce-sc-1

Мы дообучили DeepSeek-V4.1 на 2 140 реальных эксплойтах и 380 собственных пентестах. Модель читает каждую строку раньше исследователя; каждую её находку исследователь доказывает и подписывает.

Базовая модель
DeepSeek-V4.1
Обучена на
2 140 эксплойтов и 380 пентестов
В аудите
Первый проход, затем человек

Два вида аудита

Тот же метод, те же исследователи. Расширенный доказывает баги на реальном состоянии.

  • Исходный код

    Каждую строку читают 2 исследователя.

    от 1 000 $

    • 2 старших исследователя
    • ИИ-пентест моделью nonce-sc-1 по каждой строке
    • 404 пункта чек-листа в 10 сетях
    • Статический анализ и фаззинг в песочнице
    • Каждая находка подтверждена 3 проверками
    • Офлайн-доказательство для каждой критической и высокой
    • Проверка исправлений включена
    • PDF, markdown для агентов, портал
    Узнать цену

  • Расширенный

    Для развёрнутых протоколов

    Эксплойты, доказанные на состоянии мейннета.

    от 2 000 $

    • Всё из «Исходного кода»
    • 3 старших исследователя
    • nonce-sc-1 пентестит развёрнутые контракты
    • Эксплойты EVM доказаны на форке мейннета
    • Атаки на оракулы и ликвидность смоделированы
    • Фаззинг инвариантов на состоянии мейннета
    • Скрипты деплоя и админ-ключи проверены
    • Развёрнутый код сверяется и перечитывается ежедневно
    Узнать цену

Итоговая цена зависит от строк кода, сетей и срока и приходит не позже чем через 12 часов.

Три шага

  1. 1

    Отправьте репозиторий

    Почта и ссылка.

  2. 2

    Получите фиксированную цену

    Менее чем за 12 часов.

  3. 3

    Исправляйте в портале

    Мы проверяем каждое исправление.

Ваш аудит в портале

Находки появляются, как только мы их найдём.
Исправления видны, как только вы их выпустите.

Войти

Фиксированная цена менее чем за 12 часов

Узнать цену