DeFi AMM セキュリティ
自動マーケットメーカー（AMM）スマートコントラクトのセキュリティパターンと監査チェックリスト。
使用時期
- Uniswap、Curve、BalancerなどのようなAMMコントラクトをレビュー
- スワップ関数、ミント、バーンロジックでセキュリティの問題を検出
- フラッシュローン、価格操作脆弱性を特定
- DeFiプロトコルの経済セキュリティをテスト
一般的な脆弱性
1. フラッシュローン攻撃
ローンが同一ブロック内で返却されたと仮定するコントラクトを攻撃。
2. スリッページ不足
ユーザーが予期しない不利な価格変更を受ける。
3. 再入攻撃
外部呼び出し後の状態チェック。
4. 価格操作
オンチェーン価格参照の信頼不足。
セキュリティチェックリスト
- [ ] すべての価格参照はオラクルから取得
- [ ] フラッシュローンは考慮（価格を信頼しない）
- [ ] スリッページ保護が実装
- [ ] チェック・エフェクト・相互作用パターン使用
- [ ] 再入保護（ミューテックス/チェック付き）
- [ ] 整数オーバーフロー/アンダーフロー処理
- [ ] アクセス制御とロール分離
詳細については、ドキュメントを参照してください。