2026才開局10日、最初の重大なセキュリティインシデントが発生しました。Truebit Protocolが攻撃を受け、盗まれた資金は高達2600万ドルにのぼります。この「偶然の財」の背後に隠されているものは何でしょうか？

この脆弱性の原因を深掘りすると、価格計算ロジックの数学的オーバーフローのバグに起因しています。スマートコントラクトが価格計算を処理する際に、整数オーバーフローに対する適切な防護がされていませんでした。攻撃者はこの点を巧みに突いています。コントラクトが具体的な数値のやり取りを計算しようとしたときに、オーバーフローバグが発動し、資金が異常に移転されました。

この種のバグは一見小さな問題に見えますが、実はDeFi監査においてよくある落とし穴です。数学的演算の境界処理が不十分だと、ハッカーの突破口となることが多いです。プロジェクト側にとっては、コントラクトのデプロイ前に厳格な形式的検証と複数回の監査を行う必要性を再認識させるものです。ユーザーにとっては、安全性の高いプラットフォームを選ぶことがより一層重要になっています。