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

ローンチや更新の前に、スマートコントラクトのソースコード・デプロイ構成・経済設計を独立した第三者が点検するセキュリティレビュー。 サイバーセキュリティの Web3 とブロックチェーン カテゴリに属します。

ローンチや更新の前に、スマートコントラクトのソースコード・デプロイ構成・経済設計を独立した第三者が点検するセキュリティレビュー。

スマートコントラクト監査では、経験豊富なエンジニアによる手動レビューに、Slither、Mythril、Echidna、Foundry ベースのファジングなどの自動ツールを組み合わせ、しばしば Certora などによる形式検証も行います。監査者はアクセス制御、算術、リエントランシー、オラクル依存、アップグレードパターン、ガス最適化、想定外の経済挙動を重点的に検証します。成果物は重大度(クリティカル、ハイ、ミディアム、ロー、インフォ)で分類された指摘レポートで、改修ガイドと再監査が含まれます。代表的なファームには Trail of Bits、OpenZeppelin、ConsenSys Diligence、Code4rena、Spearbit があります。監査でリスクは大きく減りますが消えるわけではなく、バグバウンティ・監視・サーキットブレーカーも必要です。

スマートコントラクト監査 に対する防御は通常、上記の定義で述べたとおり、技術的統制と運用上の実践を組み合わせます。

一般的な別名: DeFi 監査, Solidity 監査。