カルダノが14時間のチェーン分裂を経験：技術的欠陥、論争と回復の示唆

ソース: イエロー オリジナルタイトル：カルダノのネットワークは、2017年のローンチ以来の最初の重大なインシデントで14時間にわたり2つのチェーンに分割されました。

元のリンク:

チェーン分裂事件の概要

Cardanoは2017年の導入以来、最も深刻な技術的中断を経験しました。11月21日に発生したフォーマットエラーの取引が、14時間にわたるチェーン分裂を引き起こし、140億ドルの価値を持つブロックチェーンを2つの競合するフォークに分割し、これは故意の攻撃なのか、それとも失敗したテストなのかについて激しい議論を引き起こしました。

このイベントは開発者によって《Poison Piggy》と呼ばれ、Cardanoノードソフトウェアに存在する3年間の脆弱性が明らかになりました。この脆弱性により、ブロックチェーンは2つの互換性のないビューを生成しました。

カルダノの創設者チャールズ・ホスキンソンは、これは計画的な攻撃であり、FBIの介入が必要だと主張しています。しかし、「Homer J」という名前の開発者が責任を公に認め、これは個人的な挑戦の中でテストネットの異常を再現しようとした際の不注意な行為であると述べています。

フォークはどのように発生するか

Intersectのイベントレポートによると、チェーン分裂はシリアライズの脆弱性に起因しており、この脆弱性はCardanoのプレビューテストネットで最初に発生しました。誰かがフォーマットが間違った委任証明書を送信し、そのハッシュ値が大きすぎました。実質的に《RATSRATS》に委任したのではなく、《RATS》（Hoskinsonのステーキングプール）に委任したことになります。

古いノードは無効なハッシュを正しく拒否しましたが、2024年11月の更新コードを実行しているノードはそれを切り捨てて有効と見なします。

このバージョンの違いにより、互換性のない2つのチェーンが作成されました：より厳格な検証コードを実行する《chicken chain》と、フォーマットエラーの取引を受け入れる《pig chain》です。11月21日アメリカ東部時間午前3時02分頃、ほぼ同じフォーマットエラーの委託がメインネットに送信され、ネットワークが分裂しました。

サービスのダウングレードと影響

分析表明損害は深刻であるが制御可能である。14時間の時間枠内で、pig chainは846個のブロックを生成し、chicken chainは約13,900個のブロックを生成した。堅牢なインフラストラクチャによる取引の包含速度は大幅に低下し、遅延は約400秒に達し、最悪の場合はブロック時間が約16分に延びた。

観察された14,383件の取引の中で、約479件（3.3%）は捨てられたpig chainにのみ現れ、最終的な規範履歴には入っていません。その大多数は再送信時に検証間隔が期限切れになるか、入力の競合により無効になりました。ブロックエクスプローラーは分裂したネットワークを説明するのが困難であり、場合によってはデータが凍結されたり、矛盾するデータが表示されたりします。

サービスの質は影響を受けましたが、資金は安全に保たれ、ネットワークは危機の間ずっと進行し続けました。

攻撃それとも事故？

この事件は意図に関する激しい議論を引き起こしました。ホスキンソンは、ネットワークに損害を与える方法を数ヶ月にわたって探していた不満を抱くステーキングプールの運営者によって計画された攻撃と位置付けました。彼はこれは計画的な悪意のある行為であり、FBIに連絡したと述べました。

しかし、取引を開始した人は、ソーシャルメディアで《Homer J》として異なるストーリーを公開しました：これは、フォーマットエラーの取引を再現しようとする個人的な挑戦から始まりましたが、彼はそれをメインネットにデプロイするという十分に愚かなことをしました。

時間的な偶然が疑念を引き起こした：同じ異常が24時間前にテストネットで発生したことが示しており、この脆弱性の悪用はメインネットで実行される前にテストされていた。

コンセンサスによるネットワーク復旧

事件が深刻であるにもかかわらず、Cardanoの対応はその分散型ガバナンス構造を示しています。テストネットのイベントのため、修正されたノードが利用可能になりました。Input Output Global、Cardano財団、Emurgo、Intersect、取引所およびステーキングプールオペレーターは、一晩中緊急電話を通じて調整し、修正バージョンにアップデートし、より厳格なchicken chainに従いました。

合意レベルのロールバックや集中型の《リスタート》はありません。権益が更新されたノードに移行するにつれて、pig chain上のブロック生成速度は遅くなり、chicken chainは加速します。健全なフォークが汚染されたフォークを超えると、Ouroborosの確率的最終性属性により、ノードは自動的に最長かつ最も密なチェーンに切り替わります。

これは、ナカモト合意が期待通りに機能し、ネットワークを単一の規範的歴史に導くことを証明しています。

教訓と未来への強化

ホスキンソンとアナリストたちは、この事件が深刻な弱点を暴露したことを認めている。脆弱性の出現自体が厳密性の失敗を示している。cardano-db-syncへの依存は、このコンポーネントが形式エラー取引によってクラッシュした際にエコシステムが「目隠しして飛行する」ことを意味する。多くのステーキングプールの運営者は、フォーク選択を独自に推論することなく、基盤となる実体の提案に依存してアップグレードを行った。

事後のロードマップでは、より強力なファジー テストと仕様に基づくテストを提案し、ウォレットと取引所が実際のコンセンサスの健康状態に基づいてブレーカーを実現するためのより豊富なノード-クライアント プロトコル、監視インフラストラクチャのより多様性、Ouroborosが圧力下でどのように機能するかについてのより良いオペレーター教育を行うことを許可します。

ADAの価格はイベント期間中に約6%下落し、全体的な暗号通貨市場の回復を下回っています。現在の取引価格は約0.41ドルです。イベントの深刻さに対する穏やかな下落は、市場がこのイベントを根本的な故障ではなくネットワークのレジリエンスの証拠として見なしていることを示しています。Cardanoは最終的にこの試練を乗り越えましたが、緊急改善が必要な分野が明らかになりました。