本文へスキップ
nonce.

ブティック型監査.AIが支え、人が検証.

自社モデルがまず全行を読みます。シニアリサーチャーがすべての指摘を実証し、署名します。12 時間以内に固定料金、3 日でレポート。

見積もりを依頼

実際に悪用された5つのコントラクトを順に再生します。コードが打ち込まれ、スキャンが欠陥を示し、損失と修正方法を注記が伝えます。

  • The DAO, 2016-06-17: 360万 ETH 流出. splitDAO は残高をゼロにする前に外部呼び出しで報酬を支払っていたため、攻撃者は再入して同じトークンを何度も分割しました。 外部呼び出しの前に残高をゼロにする。
  • Parity Multisig, 2017-11-06: 513,774 ETH 凍結. 共有ライブラリが未初期化だったため、誰でも initWallet を呼んで所有者になり、kill で破棄できました。委譲していたウォレットはすべて凍結しました。 デプロイ時にライブラリを初期化し、自己破壊を持たせない。
  • Wormhole, 2022-02-02: 120,000 wETH、約3.25億ドル. verify_signatures は呼び出し側が選んだアカウントから署名検証を読み、それが命令 sysvar かを確かめませんでした。偽のアカウントがガーディアン全員の承認として通りました。 sysvar のアドレスを検証する load_instruction_at_checked を使う。
  • Nomad Bridge, 2022-08-01: 約1.9億ドル 流出. アップグレードで信頼済みルートが 0x00 になりました。未証明のメッセージは 0x00 になるため process はどんなメッセージも受け入れ、数百人の模倣者が最初の攻撃を再現しました。 ゼロのルートを決して承認せず、未証明のメッセージを拒否する。
  • Euler Finance, 2023-03-13: 約1.97億ドル 流出. 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つの監査プラン

同じ手法、同じリサーチャー。アドバンストはライブの状態でバグを実証します。

  • ソースコード

    すべての行を2人のリサーチャーが読みます。

    $1,000から

    • シニアリサーチャー2人
    • nonce-sc-1 による全行の AI ペンテスト
    • 10ネットワークでチェック項目404件
    • サンドボックスでの静的解析とファジング
    • すべての指摘を3回のレビューで確認
    • クリティカルとハイはすべてオフラインで実証
    • 修正レビュー込み
    • PDF、エージェント向けMarkdown、ポータル
    見積もりを依頼

  • アドバンスト

    デプロイ済みのプロトコル向け

    メインネットの状態でエクスプロイトを実証。

    $2,000から

    • ソースコードの内容すべて
    • シニアリサーチャー3人
    • nonce-sc-1 がデプロイ済みコントラクトをペンテスト
    • EVMのエクスプロイトをメインネットのフォークで実証
    • オラクルと流動性への攻撃をシミュレーション
    • メインネットの状態で不変条件ファジング
    • デプロイスクリプトと管理者鍵をレビュー
    • デプロイ済みコードを照合し、毎日再確認
    見積もりを依頼

最終価格はコード行数、チェーン、期限で決まり、12 時間以内にお送りします。

3ステップ

  1. 1

    リポジトリを送る

    メールとリンクだけ。

  2. 2

    固定料金を受け取る

    12 時間以内。

  3. 3

    ポータルで修正

    すべての修正を検証します。

ポータルで監査を確認

発見したら、すぐ共有。
修正したら、すぐ確認。

ログイン

12 時間以内に固定料金をご提示

見積もりを依頼