Deep EVM #20：スマートコントラクトのCI/CD — テスト、ガス回帰、安全性

スマートコントラクトに独自のCI/CDが必要な理由

スマートコントラクトは通常のソフトウェアとは異なります。一度デプロイされると不変です。Webアプリのバグはホットフィックスと再デプロイ。スマートコントラクトのバグは資金損失、永久的な状態破損です。

パイプラインはビルド、テスト（ユニット、ファズ、不変量）、ガス回帰追跡、静的解析、デプロイメントシミュレーション、自動検証を含む必要があります。

ガス回帰追跡

forge snapshotでベースラインを生成し、CIで比較。ホットパスには0%の許容値を設定。

静的解析：SlitherとAderyn

Slitherが脆弱性パターンを検出、Aderynがガス最適化機会と集中化リスクを補完。

デプロイメントチェックリスト

メインネットフォークに対してデプロイ全体をシミュレーション。--slowフラグで1つずつトランザクション送信。

まとめ

プロダクショングレードのCI/CDパイプラインは不可逆的デプロイメント前のすべてのセーフティゲートです。バグをデプロイするより捕捉する方を簡単にするのがパイプラインの仕事です。