本文へスキップ

サービス

スマートコントラクト監査

固定したコミットを、自社モデルの一次読解のあと、シニアリサーチャーが1行ずつ読みます。固定料金、修正レビュー込み、ご希望なら公開レポートも。

見積もりを依頼

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

    ポータルで修正

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

対応ネットワーク

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

コードを固定する前に

セキュリティレビューは、変更がまだ安いうちに設計、アーキテクチャ、経済設計を確認します。

セキュリティレビュー