DEFI HACK LOGDeFi・暗号資産ハッキング事件の分析と対策

execTransaction(
  to        = 0x9622…7242,                // 攻撃者のコントラクト
  value     = 0,
  data      = transfer(0xbDd0…9516, 0),   // 新しい実装のアドレス
  operation = 1,                          // delegatecall
  ...
)

// 攻撃者のコントラクトの transfer() は Safe のストレージ上で実行され、
// slot 0（masterCopy）を 0xbDd0…9516 に書き換える。
// 以後、Safe のプロキシは攻撃者の実装を呼ぶ。

function donateToReserves(uint subAccountId, uint amount) external nonReentrant {
    address account = getSubAccount(msg.sender, subAccountId);
    // 担保（eToken）だけを減らし、準備金に移す
    users[account].balance -= amount;
    reserveBalance += amount;
    // ここで checkLiquidity(account) を呼んでいない
}

function withdraw(uint subAccountId, uint amount) external nonReentrant {
    address account = getSubAccount(msg.sender, subAccountId);
    users[account].balance -= amount;
    ...
    checkLiquidity(account);   // 他の関数は最後に健全性を確かめる
}

public fun checked_shlw(n: u256): (u256, bool) {
    let mask = 0xffffffffffffffff << 192;
    if (n > mask) {          // 本来は n >= 1 << 192 を拒否すべき
        (0, true)            // オーバーフロー
    } else {
        ((n << 64), false)   // 2^192 以上の値もここに来て、上位ビットが失われる
    }
}