スローフォグがCetusから盗まれた2億3000万ドルの分析結果を発表：ハッカーはごく少額のトークンを莫大な流動資産と交換した

Odaily PlanetがCetusの2.3億ドル盗難事件の分析を発表し、その中で、事件の核心は、攻撃者が注意深くパラメータを構成することでオーバーフローの検出を回避し、最終的に莫大な流動性資産と引き換えにごく少額のTokenマネーを使用したことであり、その核心的な理由は、get_delta_a関数のchecked_shlwにオーバーフロー検出回避の脆弱性があったことにあると指摘した。核心的な理由は、get_delta_a関数のchecked_shlwにオーバーフロー検出バイパスの脆弱性があることだ。攻撃者はこれを利用し、haSUIの実数の計算でシステムが深刻な偏差を追加する必要があるようにした。オーバーフローが検出されなかったため、システムは必要な haSUI の数を見誤り、攻撃者は大量の流動資産をごく少量のトークンと交換することになり、攻撃が可能になった。 この攻撃は、数学的オーバーフロー脆弱性の威力を示している。正確な計算によって特定のパラメー タを選択することで、攻撃者は checked_shlw 関数の欠陥を悪用し、1 トークンのコストで数十億ドル相当の流動性を得ることができた。これは極めて高度な数学的攻撃であり、開発者はスマート・コントラクトの開発において、すべての数学関数の境界条件を厳密に検証することが推奨される。