Cetusプロトコルが2.3億ドルの攻撃を受け、攻撃手法と資金の流れを詳解

5月22日、SUIエコシステムの流動性提供者Cetusが攻撃を受けた疑いがあり、複数の取引ペアが大幅に下落し、損失は2.3億ドルを超えると予想されます。Cetusはその後、スマートコントラクトを一時停止し、この事件を調査中であると発表しました。

Slow Fogのセキュリティチームが迅速に介入し分析を行い、安全警告を発表しました。以下は攻撃手法および資金移動状況に関する詳細な解析です。

攻撃分析

攻撃者は巧妙に構築されたパラメータを使用して、オーバーフローの脆弱性を利用し、検出を回避してごく少量のトークンで巨額の流動性資産を獲得します。具体的な手順は以下の通りです。

1. 攻撃者はフラッシュローンを通じて10,024,321.28個のhaSUIを借り出し、プールの価格が99.90%暴落しました。

2. 攻撃者は非常に狭い価格帯で流動性ポジションを開設し、帯域幅はわずか1.00496621%です。

3. 攻撃の核心：攻撃者は巨大な流動性を追加すると宣言したが、システムは脆弱性のために1つのトークンAしか受け取らなかった。

4. 攻撃者が流動性を除去し、巨額のトークン利益を得る：

   • 最初の除去:10,024,321.28 haSUI
   • 2回目の削除:1 haSUI
   • 3回目の除去:10,024,321.28 haSUI

5. 攻撃者はフラッシュローンを返済し、約10,024,321.28個のhaSUIと5,765,124.79個のSUIを純利益として得ました。

! スローミスト:2億3000万ドルを盗まれたCetus、攻撃方法と資金移動の分析

脆弱性の原因

攻撃成功の鍵はget_delta_a関数内のchecked_shlwに存在するオーバーフロー検出バイパスの脆弱性です。特定の値未満の入力はオーバーフロー検出をバイパスしますが、64ビット左シフトした結果はu256の範囲を超え、高位データが切り捨てられ、システムが必要なhaSUIの数を過小評価します。

! スローミスト:2億3000万ドルを盗まれたCetus、攻撃方法と資金移動の分析

プロジェクト側修正

Cetusは修正パッチをリリースしました。主にchecked_shlw関数を修正しました：

• 誤ったマスク値を修正しました
• 判断条件を調整しました
• オーバーフローフラグを正しく検出して返すことを確認する

! スローミスト:2億3000万ドルを盗まれたCetus、攻撃方法と資金移動の分析

資本フローの分析

攻撃者は約2.3億ドルの利益を上げ、SUI、vSUI、USDCなどの多様な資産を含んでいます。一部の資金はクロスチェーンブリッジを通じてEVMアドレスに移転されました。攻撃者はまた、約1000万ドルをSuilendに預け、新しいアドレスに24,022,896 SUIを転送しました。

! スローミスト:2億3000万ドルを盗まれたCetus、攻撃方法と資金移動の分析

Cetusによると、SUI財団などの機関の協力を得て、SUI上で約1.62億ドルの盗まれた資金が成功裏に凍結されました。

EVM上で受け取ったクロスチェーン資金のアドレスはBSC上で5.2319 BNBを受け取り、Ethereum上で大量のUSDT、USDC、SOL、ETHを受け取りました。これらの資産の大部分はETHに交換され、そのうち20,000 ETHが別のアドレスに移されました。

! スローミスト:2億3000万ドルを盗まれたCetus、攻撃方法と資金移動の分析

! スローミスト:2億3000万ドルを盗まれたCetus、攻撃方法と資金移動の分析

! スローミスト:2億3000万ドルを盗まれたCetus、攻撃方法と資金移動の分析

! スローミスト:Cetusから盗まれた2億3000万ドル、攻撃方法と資金移動の分析

! スローミスト:2億3000万ドルを盗まれたCetus、攻撃方法と資金移動の分析

! スローミスト:2億3000万ドルを盗まれたCetus、攻撃方法と資金移動の分析

! スローミスト:2億3000万ドルを盗まれたCetus、攻撃方法と資金移動の分析

! スローミスト:Cetusから盗まれた2億3000万ドル、攻撃方法と資金移動の分析

! スローミスト:2億3000万ドルを盗まれたCetus、攻撃方法と資金移動の分析

! スローミスト:2億3000万ドルを盗まれたCetus、攻撃方法と資金移動の分析

! スローミスト:2億3000万ドルを盗まれたCetus、攻撃方法と資金移動の分析

! スローミスト:2億3000万ドルを盗まれたCetus、攻撃方法と資金移動の分析

! スローミスト:2億3000万ドルを盗まれたCetus、攻撃方法と資金移動の分析

! スローミスト:2億3000万ドルを盗まれたCetus、攻撃方法と資金移動の分析

! スローミスト:2億3000万ドルを盗まれたCetus、攻撃方法と資金移動の分析

! スローミスト:2億3000万ドルを盗まれたCetus、攻撃方法と資金移動の分析

! スローミスト:2億3000万ドルを盗まれたCetus、攻撃方法と資金移動の分析

###概要

今回の攻撃は、数学的オーバーフローの脆弱性の危険性を示しています。攻撃者は正確な計算を通じて、checked_shlw関数の欠陥を利用し、非常に低コストで巨額の流動性を得ました。開発者は、スマートコントラクト内ですべての数学関数の境界条件を厳密に検証する必要があります。