セキュリティ監査
あなたの契約書 プロトコル Run On
Gizmolab では、スマートコントラクト をすべての EVM チェーンにわたって監査し、Solana は、Fuzzing と自動化された分析と、Audit.new で自己サービスのファーストパスによってサポートされた、上級監査官による手動レビューです。
Audited across the chains you deploy on あなたが展開するチェーンを通じて
何を乗せても、そこで調べてみます。 完全なEVMカバーと深いSolana専門知識、すべてのターゲットに同じ基準が適用されます。
Native Rust および Anchor プログラムは、アカウントのセキュリティ、CPI リスク、および PDA 正確性についてレビューされました - EVM 監査員が欠けている失敗モード。
私たちが監査する言語
高いレベルの Solidity からインラインアセンブリまで、Rust から Solana まで、コードを書かれた言語でレビューします。
ソリューション
EVM DeFi について 私たちは、ストレージのレイアウト、外部通話、アクセス制御、およびラインごとにパスアップグレードをレビューします。
ワイパー
ピトニックは自分の銃で契約する。 デコレータ、再入力ロック、コンパイラバージョンの落とし穴をチェックします。
YUL&INLINE ASSEMBLY
最も微妙なバグが隠れている低レベルの最適化。 メモリセキュリティ、コールデータ処理、および手動ABIデコード。
Rust
ネイティブSolanaプログラム アカウント検証、署名者/所有者チェック、CPIセキュリティ、およびランプポート上の算数。
アンカー
アンカー制限、PDA誘導、アカウント差別化、アンカーがあなたのためにカバーしない空白。
カイロ & Move
EVM および SVM メインストリーム以外で出荷しているチームは、Starknet (カイロ) および Aptos / Sui (Move) のレビューを利用できます。
プロトコルを排出するバグ
我々は、実世界のエクスプレットの背後にある脆弱性クラスと、プロトコルの設計に特有の不変数をテストします。
リエントランシー
外部通話、コールバック、およびトークンハックを介してクロス機能および読み取りのみの再入力。
アクセス制御
欠落または破損した権限、特権の役割の誤用、および初期化者/所有権のギャップ。
オラクルと価格操作
スポット価格への依存、TWAP ゲーム、フラッシュローンによる操作、および古いフィード。
算術と丸め
オーバーフロー、精度の損失、丸め方向、およびボールトに対するシェアインフレ攻撃。
署名とリプレイ
EIP-712 / 処理、ノンス再利用、チェーン ID バインディング、およびクロスドメイン リプレイを許可します。
MEV とフロントランニング
Sandwichable flows, unprotected slippage, and ordering-dependent state transitions. サンドイッチ可能な流れ、保護されていない滑走、および順序依存状態の移行。
アップグレード可能性とプロキシ
Storage collisions, uninitialized implementations, and unsafe delegatecall patterns. ストレージの衝突、初期化されていない実装、および不安全な delegatecall パターン。
Solana アカウントの安全性
アカウント混乱、欠落した所有者/署名者チェック、PDAの偽造、および未確認のCPI。
監査がどのように行われるか
脅威モデルから、コミュニティが信頼できる公開レポートに至るまで、明確で繰り返される関与。
範囲と脅威モデル
私たちはあなたのアーキテクチャ、信頼の境界線、そして決して破るべき不変数をマップします - たった一行を読む前に。
手動レビュー
高級監査官はコードの行を一行ずつ読みます。 ほとんどの重要な発見は、意図を理解する人々から来ており、道具だけではない。
自動分析
Static analysis, fuzzing, and symbolic execution stress invariants and surface edge cases the eye misses. 静的な分析、混乱、および象徴的な実行ストレス不変と表面エッジケースは、目が欠けています。
重症度別の所見
それぞれの問題には明確な深刻さ、影響、再現、そして具体的な修正が与えられ、曖昧な旗ではない。
修復サポート
私たちはあなたのエンジニアと共に修正、質問に答え、あなたが発送するパッチを再確認します。
再監査と報告
修正の最終的なパス、そしてあなたのコミュニティやパートナーに公開できるクリーンレポート。
What You Walk Away with あなたが歩くこと
バグのリストだけでなく、チームが問題を修正し、コードが安全であることを証明するために必要なすべてです。
完全な監査レポート
発見、重症度、再生段階、および修復ガイドラインを含む構造化されたレポート。
重症度の評価
Critical → High → Medium → Low → Information, scored by real-world impact and probability. 批判的 →高 →中間 →低 →情報的、実世界の影響と確率で得られた。
是正指導
コンクリートの修正とパターン、そしてチームが実装する間の直接サポート。
再監査と公開報告書
修正の検証と、信頼を構築するために共有できるオプションの公開レポート。
Audit.new — インスタントファーストパス
Audit.new は Gizmolab の自己サービス監査ツールです。 契約書にサインアップしたり、レポに接続したり、数分でAIが支援するファーストパスレビューを取得し、一般的な脆弱性クラス、リスクのあるパターン、まずどこを見つけるべきかを分類してください。
それは完全な関わりをする前にコードを衛生的にチェックするための迅速な方法です。 現実の価値を賭けているメインネットに向かうすべての場合、それは上級指導のマニュアル監査に清潔に手がかります。