スマート コントラクトにバグがある場合はどうなりますか?資金は回収できるのか？

即時実行の結果

1. スマート コントラクトは、展開されると、人間の介入なしで自律的に動作します。バイトコードに埋め込まれた欠陥はコードどおりに実行され、外部オーバーライドは存在しません。

2. バグにより、意図しない状態変化が引き起こされる可能性があります。警告やトランザクションの取り消し機能なしに、残高が上書きされたり、アクセス制御がバイパスされたり、論理パスが誤ってルーティングされたりする可能性があります。

3. バグによって不正な送金が許可された場合、資金は攻撃者が管理するアドレスに即座に移動します。これらのトランザクションは暗号的に最終的なものであり、オンチェーン上の正規のトランザクションと区別できないように見えます。

4. リエントランシーの脆弱性により、プロトコルの予備資金が繰り返し枯渇します。例としては、DAO ハッキングや、数分以内に 1 億 9,000 万ドルが消失した 2022 年の Nomad Bridge エクスプロイトなどが挙げられます。

5. 整数のオーバーフローやチェックされていない算術演算により、内部会計が破損し、ファントム トークンの鋳造や、従属契約全体に伝播するバランスのインフレにつながる可能性があります。

オンチェーン状態の不可逆性

1. イーサリアムとほとんどの EVM 互換チェーンは、設計により不変性を強制します。すべてのブロックは、以前の暗号化ハッシュに基づいて構築されます。 1 つのブロックを変更すると、後続のすべてのブロックが無効になります。

2. 取引を取り消す権限を有する中央当局は存在しない。ウォレット、取引所、開発者は、たとえ欠陥のあるコードによって開始されたとしても、確認された送金を凍結したり、取り消したり、無効にしたりすることはできません。

3. 「リカバリ」の概念は、ブロックチェーンの中心的な原則である分散化、決定論、最終性と矛盾します。回復されたトランザクションには、有効な状態遷移を破棄するためのコンセンサス全体の合意が必要です。

4. DAO事件後のイーサリアムハードフォークなどの歴史的な回復の試みは、ネットワークを分割してイーサリアムクラシックを生成し、そのような行為が信頼とプロトコルの完全性を破壊することを証明しました。

5. マルチシグウォレットやタイムロックメカニズムでも、実行されたロジックを遡って元に戻すことはできません。それらは将来の行動を制約するだけであり、過去の行動を制約するものではありません。

プロトコルレベルの緩和の試み

1. 一部のプロトコルには緊急一時停止機能が組み込まれていますが、これらは将来の対話を停止するだけで、すでに実行された命令や確定した残高は停止しません。

2. アップグレード可能なプロキシ パターンにより、delegatecall を介してロジックを置き換えることができますが、保存されたデータは変更されません。新しいロジックで明示的に修正しない限り、破損した状態は残ります。

3. オラクルまたは外部署名者は、実行後にオンチェーンの結果を変更することはできません。計算が完了すると、出力ではなく入力に影響します。

4. Certora や KEVM などの正式な検証ツールは、展開前に論理的矛盾を検出しますが、欠陥が検出されなかった場合、実行時の修正はゼロです。

5. バグ報奨金の提出によりパッチの展開が行われる可能性がありますが、パッチ適用された契約では、悪用された状態が遡及的に修正されたり、枯渇した資産が復元されたりすることはありません。

資金回収の現実

1.攻撃者が管理する外部所有アカウント (EOA) に送金された資金は、自発的に返還されない限り事実上回収できません。

2. 盗難された資産が取引所管理のアドレスに到達した場合、法的要請により凍結が促される可能性があります。ただし、これはブロックチェーンの仕組みではなく、管轄区域の協力と KYC コンプライアンスに完全に依存します。

3. クロスチェーンブリッジは回収をさらに複雑にします。あるチェーンにロックされ、別のチェーンに虚偽表示された資産は、双方が状態修正に同意しない限り調整できません。

4. Ethereum、Polygon、Arbitrum、または BSC では、確認されたトランザクションを取り消すための暗号化メカニズムは存在しません。

5. チェーン分析会社はフローを追跡する可能性がありますが、追跡は検索と同等ではありません。ウォレットの所有権は匿名のままであり、強制に抵抗します。

よくある質問と直接の回答

Q: 開発者は新しい契約を展開してバグのある契約を置き換え、資金を移行できますか? A: ユーザーが自発的に新しい契約を操作した場合に限ります。自動移行はありません。バグによって撤回が許可されない限り、古い契約に縛られた資産にはアクセスできないままになります。

Q: イーサリアムの EIP-1559 またはアカウントの抽象化により、資金回収のオプションは変わりますか? A: どちらも反転機能を導入しません。 EIP-1559 は料金市場の仕組みを調整します。アカウントの抽象化により、プログラム可能なウォレットが可能になりますが、コンセンサスレベルのファイナリティはオーバーライドされません。

Q: マルチシグネチャウォレットはスマートコントラクトのバグの影響を受けませんか? A: いいえ。マルチシグ ロジック自体はスマート コントラクトに実装されており、パリティ ウォレットの凍結に見られるように、署名の可鍛性やノンス操作などの悪用を受けてきました。

Q: オンチェーンガバナンスは盗まれた資金を回収するために投票できますか? A: ガバナンス トークンは、個々のトランザクションや残高を制御するものではなく、プロトコル パラメーターに関する投票権を付与します。投票によって不変の台帳エントリを変更することはできません。