BSC チェーン クロスチェーン ブリッジのハッキング分析

https://medium.com/@numencyberlabs/bsc-chain-cross-chain-bridge-hacking-analysis-24338f9a80

攻撃の簡単な説明

ハッカー (アドレス: 0x489a8756c18c0b8b24ec2a2b9ff3d4d447f79bec) は、クロスチェーン ブリッジ メッセージ検証メカニズムのベース ライブラリ コードである IAVL TREE の脆弱性を悪用して、悪意のある撤回メッセージを偽造し、クロスチェーン ブリッジが 2 つの別々のトランザクションをそれぞれ 100 万 BNB の価値があり、合計で約 6 億ドルのハッカーです。

CoinSec がタイムリーに攻撃を抑制したことで、資産のほとんどを節約でき、結果として約 1 億ドルの損失しかありませんでした。それにもかかわらず、これは一般の人々とBNBChainの両方の目から見て、依然としてかなりの額と見なされています。

取引先住所:

https://bscscan.com/tx/0xebf83628ba893d35b496121fb8201666b8e09f3cbadf0e269162baa72efe3b8b

脆弱性エクスプロイト手法の分析

攻撃は、Binance Bridge が BSC に流動性価値を提供する BSC チェーンで発生しました。私たちの分析から、攻撃の背後にある重要なコンポーネントは、IAVL ツリー COMOSによって実装され、BSCチェーンによって使用されたBSC L1上。この種のエクスプロイトは、クロスチェーン攻撃として知られています。

IAVL ツリーは、Binance クロスチェーン ブリッジに送信されるメッセージの正当性を検証するために使用されます。

通常、IAVL ツリーは、ハッカーによって偽造されたメッセージを自動的に拒否します。しかし今回、攻撃者は IAVL 検証プロセスに脆弱性を発見し、IAVL ツリーをだまして任意のメッセージを受け入れさせました。これにより、ハッカーはメッセージを慎重に構築して偽造することで、クロスチェーン ブリッジから 2M BNB を抽出することができました。

IAVL ツリーは、その名前が示すように、発明者である Georgy Adelson-Velsky と Evgenii Landis にちなんで名付けられた自己平衡二分探索ツリーです。そのデータ構造の目的は、キーと値のペアに永続的なストレージを提供することでした (口座残高の保存など)。これにより、決定論的なマークル ルート ハッシュをコンピューターで作成できます。

ハッカーは、BSC クロスチェーン ブリッジ コントラクトの handlePackage 関数を呼び出し、続いてプリコンパイル済みコントラクトを呼び出して、MerkleProof の正当性を検証しました。

プリコンパイルとは？

プリコンパイルは、オペレーティング システムの syscall と似たような役割を果たします。オペレーティング システムが syscall 番号 (番号は 0x65 に似ています) を受け入れると、対応するシステム コールが実行されます。通常、コントラクトが展開されるとコントラクト アドレスが生成され、その後すぐにデッド 0x65 が書き込まれます。 BSC L1 がこのアドレスを見つけると、直接 MerkleProof プロセス、つまり IAVLTree を呼び出します。

一言で言えば攻撃

コントラクトをデプロイすることで、ハッカーは BSC クロスチェーン ブリッジ コントラクトの handlePackage 関数を呼び出しました

(https://bscscan.com/address/0x000000000000000000000000000000000002000#code#L1082 )

IAVL ツリーのチェックサムを通過した証明データを偽造し、クロスチェーン ブリッジに 2M BNB をハッカーに転送させました。

最後に、

Samczsun はこの脆弱性の性質について推測を行っていますが、すべての詳細が正確かどうかは確認されていません。現在、攻撃についても解析を進めており、今後も詳細が明らかになり次第、情報を公開していきます。この攻撃のフォローアップ分析については、引き続きご注目いただき、フォローしていただくことをお勧めします。