スマートコントラクトセキュリティ.

オンチェーンプログラムを設計・レビュー・運用し、資金の盗難、ロジックの停止、想定外のルール違反に悪用されないようにする実践。 サイバーセキュリティの Web3 とブロックチェーン カテゴリに属します。

オンチェーンプログラムを設計・レビュー・運用し、資金の盗難、ロジックの停止、想定外のルール違反に悪用されないようにする実践。

スマートコントラクトは Ethereum、BNB Chain、Solana などのブロックチェーン上で価値を保管する不変のプログラムです。スマートコントラクトセキュリティは Solidity、Vyper、Rust、Move などのコードと経済的インセンティブを対象に、リエントランシー、整数オーバーフロー、アクセス制御不備、危険な delegatecall、オラクル依存、MEV などの脆弱性を分析します。デプロイ済み契約は通常パッチできないため、OpenZeppelin などの安全なライブラリ、脅威モデリング、形式検証、ファジング、手動監査、マルチシグ運営、タイムロック付き更新、サーキットブレーカー、オンチェーン監視によって防御を構築します。

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

一般的な別名: DeFi セキュリティ。