【以太坊】聊聊智能合约的时间戳依赖攻击

【以太坊】聊聊智能合约的时间戳依赖攻击 · Xinmin's Blog

说在前面

生活中，我们习惯了依赖时间来安排一切。闹钟提醒我们起床，高铁准点发车，考试到点交卷，股票交易精确到毫秒撮合……

在 Web2 世界里，软件系统同样靠精准的时间戳来自动执行任务，比如定时扣款、会员到期、订单结算，这一切都建立在可信的时间基础上。但到了 Web3 世界里，时间居然能被“调表”！

今天我们聊聊时间戳依赖攻击，看看黑客怎么利用这个漏洞搞乱规则、赚大钱。

时间戳依赖攻击是什么？

简单说，时间戳依赖攻击（Timestamp Dependence Attack） 就是黑客利用区块链时间戳（block.timestamp）能被矿工微调的特性，操控智能合约的逻辑。

想象一下，你周末在超市抢10点截止的优惠券，9:59冲到柜台，却发现收银员把钟调快1分钟，硬说你超时了，超级不爽吧。

在区块链上，矿工就像这个收银员，时间戳通常接近现实（以太坊误差一般15秒左右），但他们有微调空间。

如果合约靠时间戳判断关键操作——比如锁仓解锁或交易截止，黑客就能“调表”，提前或延迟触发，轻松套利。

接下来，我们看个真实案例：黑客怎么靠这招卷走几百万美元？

Fomo3D：一个疯狂的资金盘游戏

Fomo3D是2018年以太坊上风靡一时的博彩游戏，吸引投机者们个个都想中个链上版的“6合采”。

简单地来说就是，你花ETH购买Key（Fomo3D游戏代币），每买一次，游戏倒计时都会延长30秒。如果24小时内没人再买Key，最后一个买的人就能赢走奖池的48%，成为游戏的最大受益者。

具体游戏规则

1. 买Key参与游戏
- 玩家用ETH购买Key，并选择加入Snek、Whale、Bull或Bear四个队伍之一。
- 每次买Key都会把倒计时延长30秒，游戏初始倒计时是24小时。
2. 赢大奖的条件
- 如果24小时内没人再买Key，倒计时结束，最后一个买Key的玩家赢得奖池的48%。
- 在24小时内只要有人继续买，倒计时就重置，游戏继续。
3. 资金分配方式
- 玩家投入的ETH，86%进入奖池和分红，14%另作他用。
- 赢家拿走奖池的48%，剩下的52%这样分配：
  - 开发者拿2%
  - 推荐人或所有Key持有者分10%
  - 下一轮奖池留10%
  - 本轮玩家和Key持有者分30%（具体比例依队伍而定，比如Snek队可能是20%给本轮玩家，10%给Key持有者）

是不是有点传Xiao的味道了？

游戏上线后，奖池迅速飙升到 21,701 ETH。

这么大一笔资金，全靠区块时间来决定谁赢谁输，能不能耍点手段大概率地拿到这个“6合采”呢？大聪明黑客就出现了。

规则被黑客完美利用

黑客看准时间戳依赖，精心布局：

2018年8月，倒计时剩3分钟左右，黑客买下最后一个Key。
随后，黑客用提前部署的合约发起大量高Gas费的垃圾交易，阻塞以太坊网络，挤占Mempool。
在接下来的几分钟内，黑客不断检查自己是否仍是最后一个买家，因网络拥堵无人能插队。
最终倒计时结束，黑客锁定胜利，拿走 10,469 eth（价值约308万美元，当时ETH价格为$295）。

虽然24小时交易量只有24.114 ETH（环比下降14.46%），但黑客依靠规则翻盘，奖池被清空。

攻击现场

被攻击合约:

0xa62142888aba8370742be823c1782d17a0389da1

攻击发生的交易哈希:

0xe08a519c03cb0aed0e04b33104112d65fa1d3a48cd3aeab65f047b2abce9d508

配合攻击的合约:

0x18e1b664c6a2e88b93c1b71f61cbf76a726b7801

黑客收益地址:

0xa169df5ed3363cfc4c92ac96c6c5f2a42fccbf85

还原攻击

想知道黑客是如何“玩弄时间”的？我们来看看Fomo3D的真实代码，了解攻击的技术细节。

攻击代码示例

以下是FoMo3Dlong.sol的简化代码示例，保留了完整逻辑：

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;

contract Fomo3D {
    struct Round {
        address plyr;      // 最后一个买家
        uint256 end;       // 倒计时截止时间
        bool ended;        // 轮次是否结束
        uint256 pot;       // 奖池金额
    }
    Round public round;
    address public com;    // 社区地址
    uint256 public nextRoundPot; // 下一轮奖池

    constructor(address _com) {
        com = _com;
        round.end = block.timestamp + 24 hours; // 初始24小时倒计时 见https://github.com/vsiryxm/fomo3d_clone/blob/master/contracts/FoMo3Dlong.sol#L99
    }

    // 参考：https://github.com/vsiryxm/fomo3d_clone/blob/master/contracts/FoMo3Dlong.sol中的buyCore()
    function buyKey() external payable {
        require(msg.value > 0, "Need ETH");
        require(block.timestamp < round.end, "Round over");
        round.plyr = msg.sender; // 更新最后一个买家
        round.pot += msg.value;
        round.end = block.timestamp + 30 seconds; // 每次买KEY延长30秒，见https://github.com/vsiryxm/fomo3d_clone/blob/master/contracts/FoMo3Dlong.sol#L98
    }

    // 参考：https://github.com/vsiryxm/fomo3d_clone/blob/master/contracts/FoMo3Dlong.sol#L1190
    function endRound() public {
        if (block.timestamp > round.end) { // 时间戳决定结束
            if (round.pot > 0) {
                uint256 winAmount = round.pot;
                payable(round.plyr).transfer(winAmount * 48 / 100); // 48%给最后买家
                uint256 comAmount = winAmount / 50; // 2%给社区
                uint256 nextRound = winAmount * 10 / 100; // 10%给下一轮
                payable(com).transfer(comAmount);
                nextRoundPot = nextRound;
                round.pot = 0; // 清空奖池
            }
            round.ended = true;
        }
    }
}

攻击流程

1. 倒计时剩3分钟黑客监控最后一局的结束时间round.end，发现剩余时间仅3分钟，准备出手。
2. 购买最后一个Key通过buyKey()购买Key，更新游戏最后的玩家round.plyr为自己。
3. 高Gas阻塞网络通过提前部署的合约发起大量高Gas垃圾交易，挤占Mempool，让其他玩家的交易挤不进来。
4. 确认自己为最后买家接下来的几分钟，黑客不断确认自己还是最后买家，因为网络被堵死，没人能插队。
5. 锁定大奖倒计时结束，endRound()触发，黑客拿走48%的奖池，即 10,469 eth（价值约308万美元，当时ETH价格为$295）。

核心漏洞

block.timestamp > round.end：依赖时间戳判断结束，黑客可以通过交易策略利用这一点。
30秒窗口：动态延长的时间过短，黑客可以用高Gas阻塞网络，轻松锁定胜局。

如何防止时间戳依赖攻击？

我觉得，本质上这是一个产品设计层面的缺陷，业务逻辑不要去依赖区块时间戳就可以完全规避掉。

但如果非得要用区块时间来设计业务逻辑，有以下防范建议：

1. 使用区块号代替时间戳

block.number比block.timestamp更难被操控。以太坊平均每12秒生成一个区块，可以利用block.number来估算时间。

uint256 public endBlock;
constructor() {
    endBlock = block.number + 7200; // 约24小时 = 7200 * 12 / 60 / 60
}
require(block.number < endBlock, "Round over");

2. 设计宽松的时间窗口

避免“最后一秒定胜负”，比如把时间窗口拉到几分钟甚至更长。这样就算黑客想堵网络，也没那么容易抢到最后一击。

3. 使用可信预言机

可以考虑使用 Chainlink 预言机 提供外部时间源，确保时间准确性。

参考：

https://docs.chain.link/data-feeds/using-data-feeds

4. 避免过度依赖时间戳

尽量避免使用block.timestamp作为关键判断条件。如果必须使用，可以加上一个时间缓冲区（如15秒），以免微调对逻辑产生影响。

require(block.timestamp < round.end + 15, "Round over");

总结

Fomo3D这案例告诉我们，智能合约要是太信赖区块时间戳block.timestamp，黑客就能靠‘调表’和网络拥堵（以太坊EIP1559之前gas定价权在矿工手里而导致），稳稳拿到大奖——就像硬生生抢走了几百万美元的‘6合采’。

所以说，产品设计上最好别把区块时间戳当救命稻草，尤其是在这种分秒必争的游戏里。要是非得用时间逻辑，换成不好作弊的区块号block.number，或者把窗口拉宽一点，别让黑客逮着机会一击致命。