仮想キャッシュの欠陥が、Liquidネットワークからの3億2000万ドルの損失を説明する可能性

研究者たちは、Liquidのトランザクション検証キャッシュに想定される不具合を特定し、それが約3億2000万ドル分のBitcoinがネットワークから流出した理由を説明する可能性があると示唆した。LiquidのL-BTCトークンは、そのフェデレーションが保有するBTCと1対1で裏付けられるよう設計されている。SideSwapは、9月6日に顧客がpeg-outサービスを通じて4,000 L-BTCを提出したと述べた。このサービスは約3,996 BTCを解放した。Liquidは、SideSwapのpeg-out承認キーまたはその他のフェデレーションキーが侵害されていないと述べた。Calleは、レンジ証明に関する欠陥を説明した。レンジ証明は、ノードが隠されたトランザクション数量が許容範囲内であることを検証できるようにする。隠された負の出力がより大きな正の出力を相殺する可能性がある。ノードは検証が計算的に高コストであるため、成功したレンジ証明チェックをキャッシュする。Calleによると、攻撃者は無効な出力と、有効なチェックからのキャッシュキーと一致する証明を作成できる。そのキャッシュされた結果を使用するノードは、出力を拒否すべき検証をスキップする。Charles Guillemetはこの説明を支持した。Guillemetは、無効な機密トランザクションがレンジチェックを回避できるようにする意図的なキャッシュキー衝突を説明した。Calleは、自身の説明がメカニズムを簡略化しており、誤りを含む可能性があると注意した。Stuによる別個のトランザクション再構成では、Liquidブロック4,050,336における疑わしいトランザクションの前にセットアップトランザクションが特定された。Stuは、そのトランザクションがSideSwapを通じた引き出しの前に約3,996.0183 L-BTCを生成したと述べた。Mononautは、悪用されたバグが先週Elementsのマスターデベロップメントブランチに導入されたと述べた。Mononautは、そのバグがタグ付きリリースには現れていないと述べた。Mononautは、Liquidのフェデレーション機能者がこのコードを実行していた可能性があると述べた。他のノードは無効なトランザクションを拒否した。Mononautは、フェデレーション機能者がこの攻撃トランザクションを受け入れたと述べた。Mononautは、機能者が引き出しを承認し、ブロックの構築を継続したと述べた。Liquidのmempoolエクスプローラーを動かす他のノードを含め、他のノードは影響を受けたブロックを拒否した。このノードの分岐は、そのエクスプローラーが他の場所で確認可能なトランザクションを省略した理由を説明する可能性がある。Blockstreamは、利用可能な声明の中でデプロイアカウントを確認していない。もし確立されれば、そのアカウントはソフトウェアの展開をこの事件の中心に置くことになる。引き出されたBitcoinを制御するアクターたちは自らをホワイトハットと称した。彼らは、影響を受けたノード全体でバグを修正することを条件に、大部分の資金の返還を約束した。利用可能な報告では、返還またはパッチ展開が完了したことは確認されていない。